Citation
G. Karsai, A. Agrawal, F. Shi, J. Sprinkle. "On the Use of Graph Transformations for the Formal Specification of Model Interpreters". Journal of Universal Computer Science, 9:1296-1321, 2003.

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.

Electronic downloads

• http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.2285

• HTML

  G. Karsai, A. Agrawal, F. Shi, J. Sprinkle. <a
  href="http://chess.eecs.berkeley.edu/pubs/740.html"
  >On the Use of Graph Transformations for the Formal
  Specification of Model Interpreters</a>,
  <i>Journal of Universal Computer Science</i>,
  9:1296-1321,  2003.

• Plain text

  G. Karsai, A. Agrawal, F. Shi, J. Sprinkle. "On the Use
  of Graph Transformations for the Formal Specification of
  Model Interpreters". <i>Journal of Universal
  Computer Science</i>, 9:1296-1321,  2003.

• BibTeX

  @article{KarsaiAgrawalShiSprinkle03_OnUseOfGraphTransformationsForFormalSpecificationOfModel,
      author = {G. Karsai and A. Agrawal and F. Shi and J. Sprinkle},
      title = {On the Use of Graph Transformations for the Formal
                Specification of Model Interpreters},
      journal = {Journal of Universal Computer Science},
      volume = {9},
      pages = {1296-1321},
      year = {2003},
      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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/740.html}
  }
  

Posted by Christopher Brooks on 4 Nov 2010.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.