JUCS - Journal of Universal Computer Science 9(11): 1296-1321, doi: 10.3217/jucs-009-11-1296
On the Use of Graph Transformation in the Formal Specification of Model Interpreters
expand article infoGabor Karsai, Aditya Agrawal§, Feng Shi§, Jonathan Sprinkle§
‡ Institute for Software-Integrated Systems, Vanderbilt University, United States of America§ Institute for Software Integrated, Systems ISIS Vanderbilt University, Nashville, TN, United States of America
Open Access
Model-based development necessitates the transformation of models between different stages and tools of the design process. These transformations must be precisely, preferably formally, specified, such that end-to-end semantic interoperability is maintained. The paper introduces a graph-transformation-based technique for specifying these model transformations, gives a formal definition for the semantics of the transformation language, describes an implementation of the language, and illustrates its use through an example.
graph grammars, graph transformations, model-integrated computing, domain-specific modeling languages, model-driven architecture, formal specifications