Computer Science and Information Systems 2011 Volume 8, Issue 2, Pages: 225-253
https://doi.org/10.2298/CSIS110114012B
Full text ( 520 KB)
Cited by
Challenges and directions in formalizing the semantics of modeling languages
Bryant Barrett R. (Department of Computer and Information Sciences University of Alabama at Birmingham Birmingham, Alabama, USA)
Gray Jeff (Department of Computer Science University of Alabama Tuscaloosa, Alabama, USA)
Mernik Marjan (Faculty of Electrical Engineering and Computer Science University of Maribor, Maribor, Slovenia)
Clarke Peter J. (School of Computing and Information Sciences Florida International University Miami, Florida, USA)
France Robert B. (Computer Science Department Colorado State University Fort Collins, Colorado, USA)
Karsai Gabor (Institute for Software-Integrated Systems Vanderbilt University Nashville, Tennessee, USA)
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