LANO, K, KOLAHDOUZ-RAHIMI, S and CLARK, Tony (2012). Verification of model transformations. Other. Dept. of Informatics, King's College London.
Documents
12047:37128
Abstract
Model transformations are a central element of model-driven
development (MDD) approaches such as the model-driven architecture (MDA). The correctness of model transformations is critical to their effective use in practical software development, since users must be able
to rely upon the transformations correctly preserving the semantics of models. In this paper we define a formal semantics for model transformations, and provide techniques for proving the termination, confluence and correctness of model transformations.
More Information
Statistics
Downloads
Downloads per month over past year
Share
Actions (login required)
![]() |
View Item |