On the Use of Graph Transformation in the Formal Specification of Model Interpreters
Дата
Авторы
Karsai,Gabor
Agrawal,Aditya
Shi,Feng
Sprinkle,Jonathan
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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