Title :
Model Transformation Specification and Verification
Author :
Lano, Kevin ; Clark, David
Author_Institution :
Dept. of Comput. Sci., King´´s Coll. London, London
Abstract :
Model transformations are becoming increasingly important in software development, particularly as part of model-driven development approaches (MDD). This paper defines an approach for specifying transformations as constraints, and for verifying the correctness of these transformations.
Keywords :
formal specification; formal verification; software architecture; formal specification; formal verification; model transformation; model-driven development approach; software development; Computer science; Educational institutions; Java; Packaging; Programming; Reverse engineering; Software quality; Standards development; Unified modeling language; Model transformations; Specification; UML;
Conference_Titel :
Quality Software, 2008. QSIC '08. The Eighth International Conference on
Conference_Location :
Oxford
Print_ISBN :
978-0-7695-3312-4
DOI :
10.1109/QSIC.2008.38
