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.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 1296-1321 |
| Number of pages | 26 |
| Journal | Journal of Universal Computer Science |
| Volume | 9 |
| Issue number | 11 |
| State | Published - 2003 |
Keywords
- Domain-specific modeling languages
- Formal specifications
- Graph grammars
- Graph transformations
- Model-Integrated Computing
- Model-driven architecture
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science