文章基本信息

标题：On the Use of Graph Transformation in the Formal Specification of Model Interpreters
本地全文：下载
作者：G. Karsai ; A. Agrawal ; F. Shi 等
期刊名称：Journal of Universal Computer Science
印刷版ISSN：0948-6968
出版年度：2003
卷号：9
期号：11
DOI：10.3217/jucs-009-11-1296
出版社：Graz University of Technology and Know-Center
摘要：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.
关键词：domain-specific modeling languages, formal specifications, graph grammars, graph transformations, model-driven architecture, model-integrated computing