On the use of graph transformation in the formal specification of model interpreters

Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle

Research output: Contribution to journalArticlepeer-review

97 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)1296-1321
Number of pages26
JournalJournal of Universal Computer Science
Issue number11
StatePublished - Dec 1 2003
Externally publishedYes


  • Domain-specific modeling languages
  • Formal specifications
  • Graph grammars
  • Graph transformations
  • Model-Integrated Computing
  • Model-driven architecture

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'On the use of graph transformation in the formal specification of model interpreters'. Together they form a unique fingerprint.

Cite this