Geodesic
Challenges and Directions in Formalizing the Semantics of Modeling Languages
Computer Science and Information Systems, Tome 8 (2011) no. 2.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

Developing software from models is a growing practice and there exist many model-based tools (e.g., editors, interpreters, debuggers, and simulators) for supporting model-driven engineering. Even though these tools facilitate the automation of software engineering tasks and activities, such tools are typically engineered manually. However, many of these tools have a common semantic foundation centered around an underlying modeling language, which would make it possible to automate their development if the modeling language specification were formalized. Even though there has been much work in formalizing programming languages, with many successful tools constructed using such formalisms, there has been little work in formalizing modeling languages for the purpose of automation. This paper discusses possible semantics-based approaches for the formalization of modeling languages and describes how this formalism may be used to automate the construction of modeling tools.
Keywords: model-based tools, modeling languages, semantics. 
@article{CSIS_2011_8_2_a1,
     author = {Barrett R. Bryant and Jeff Gray and Marjan Mernik and Peter J. Clarke and Robert B. France and Gabor Karsai},
     title = {Challenges and {Directions} in {Formalizing} the {Semantics} of {Modeling} {Languages}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {8},
     number = {2},
     year = {2011},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a1/}
}
TY  - JOUR
AU  - Barrett R. Bryant
AU  - Jeff Gray
AU  - Marjan Mernik
AU  - Peter J. Clarke
AU  - Robert B. France
AU  - Gabor Karsai
TI  - Challenges and Directions in Formalizing the Semantics of Modeling Languages
JO  - Computer Science and Information Systems
PY  - 2011
VL  - 8
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a1/
ID  - CSIS_2011_8_2_a1
ER  - 
%0 Journal Article
%A Barrett R. Bryant
%A Jeff Gray
%A Marjan Mernik
%A Peter J. Clarke
%A Robert B. France
%A Gabor Karsai
%T Challenges and Directions in Formalizing the Semantics of Modeling Languages
%J Computer Science and Information Systems
%D 2011
%V 8
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a1/
%F CSIS_2011_8_2_a1
Barrett R. Bryant; Jeff Gray; Marjan Mernik; Peter J. Clarke; Robert B. France; Gabor Karsai. Challenges and Directions in Formalizing the Semantics of Modeling Languages. Computer Science and Information Systems, Tome 8 (2011) no. 2. http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a1/