An Algebraic Baseline for Automatic Transformations in MDA |
| |
Authors: | Artur Boronat Jos Carsí Isidro Ramos |
| |
Affiliation: | Information Systems and Computation Department, Polytechnic University of Valencia, Valencia, Spain |
| |
Abstract: | Software evolution can be supported at two levels: models and programs. The model-based software development approach allows the application of a more abstract process of software evolution, in accordance with the OMG's MDA initiative. We describe a framework for model management, called MOMENT, that supports automatic formal model transformations in MDA. Our model transformation approach is based on the algebraic specification of models and benefits from mature term rewriting system technology to perform model transformation using rewriting logic. In this paper, we present how we apply this formal transformation mechanism between platformindependent models, such as UML models and relational schemas. Our approach enhances the integration between formal environments and industrial technologies such as .NET technology, and exploits the best features of both. |
| |
Keywords: | Graph-based models MDA and model transformation consistency and co-evolution term rewriting systems |
本文献已被 ScienceDirect 等数据库收录! |
|