|
Abstract : |
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. Key Words: Graph grammars, graph transformations, Model-Integrated Computing, domain-specific modeling languages, model-driven architecture, formal specifications., |
