%0 Journal Article %1 journal/jjucs/Karsai %A Karsai, Gabor %A Agrawal, Aditya %A Shi, Feng %A Sprinkle, Jonathan %D 2014 %K semantics thesis %N 11 %P 1296--1321 %T On the Use of Graph Transformation in the Formal Specification of Model Interpreters %V 9 %X 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.

@article{journal/jjucs/Karsai, 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.}, added-at = {2008-03-25T15:32:46.000+0100}, author = {Karsai, Gabor and Agrawal, Aditya and Shi, Feng and Sprinkle, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/2389dc88df48673cee877880b7a3a3865/markus.scheidgen}, date = {2003-11-28}, interhash = {695be3cb92a481e79b95a0175774f86d}, intrahash = {389dc88df48673cee877880b7a3a3865}, keywords = {semantics thesis}, month = nov, note = {\url|http://www.jukm.org/jucs_9_11/on_the_use_of|}, number = 11, pages = {1296--1321}, timestamp = {2008-03-25T15:32:47.000+0100}, title = {On the Use of Graph Transformation in the Formal Specification of Model Interpreters}, volume = 9, year = 2014 }