1.1 Towards the Model Driven Architecture
Abstract:
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to implementation allowing the development of highly automated and optimized code generators for UML CASE tools. Model transformation systems provide visual but formal background to specify arbitrary transformations in the Model Driven Architecture (the leading trend in software engineering). In the current paper, we describe a general encoding of model transformation systems as executable Action Semantics expressions to provide a standard way for automatically generating the implementation of formal (and provenly correct) transformations by off-the-shelf MDA tools. In addition, we point out a weakness in the Action Semantics standard that must be improved to achieve a stand-alone and functionally complete action specification language.
Citations
| 70 | Specification of graph translators with triple graph grammars – Schürr - 1994 |
| 41 | Designing the automatic transformation of visual languages – Varró, Varró, et al. |
| 20 | Towards symbolic analysis of visual modelling languages – Varró - 2002 |
| 12 | Transformations and software modeling languages: Automating transformations in UML – Whittle - 2002 |
| 9 | Automatic program generation for and by model transformation systems – Varró - 2002 |
| 8 | Metamodeling mathematics: A precise and visual framework for describing semantics domains of UML models – Varró, Pataricza - 2002 |
| 6 | Defining a Basis for Metamodel Driven Model Migration – Sprinkle, Karsai - 2002 |
