Title :
Specification of UML Model Transformations
Author :
Rahimi, S. Kolahdouz
Author_Institution :
King´´s Coll. London, London, UK
Abstract :
The purpose of our research is to evaluate and compare different approaches for the specification, verification and implementation of model transformations, and to make recommendations for a transformation specification language which is modular, verifiable, and supports reuse and implementation. In this paper we survey existing approaches to model transformations and propose a new specification and implementation approach for transformations. We describe case studies, of state machine slicing, and re-architecting systems for achieving quality of service in service-oriented architectures, which are used to evaluate model transformation specification approaches and languages.
Keywords :
Unified Modeling Language; formal specification; formal verification; UML model transformation specification; Unified Modeling Language; model transformation verification; re-architecting system; service-oriented architectures; state machine slicing; transformation specification language; Computer languages; Educational institutions; Formal specifications; Mathematical model; Quality of service; Service oriented architecture; Software engineering; Software testing; Specification languages; Unified modeling language; Model Transformations; Specification; UML;
Conference_Titel :
Software Testing, Verification and Validation (ICST), 2010 Third International Conference on
Conference_Location :
Paris
Print_ISBN :
978-1-4244-6435-7
DOI :
10.1109/ICST.2010.31