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

Corresponding author: Gabor Karsai ( gabor.karsai@vanderbilt.edu )

© Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle.
This article is freely available under the J.UCS Open Content License.
Citation: Karsai G, Agrawal A, Shi F, Sprinkle J (2003) On the Use of Graph Transformation in the Formal Specification of Model Interpreters. JUCS - Journal of Universal Computer Science 9(11): 1296-1321. https://doi.org/10.3217/jucs-009-11-1296
Open Access
Abstract
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.
Keywords
graph grammars, graph transformations, model-integrated computing, domain-specific modeling languages, model-driven architecture, formal specifications