Specification and verification of model transformations using UML-RSDS

Authors:
Kevin Lano;Shekoufeh Kolahdouz-Rahimi
Affiliations:
Dept. of Computer Science, King's College London;Dept. of Computer Science, King's College London
Venue:
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Year:
2010

Citing 7
Cited 3

Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools

Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
Amorphous program slicing

Journal of Systems and Software
On the interoperability of model-to-model transformation languages

Science of Computer Programming
Constraint-driven development

Information and Software Technology
The Epsilon Transformation Language

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
UML 2 Semantics and Applications

UML 2 Semantics and Applications
Transforming models with ATL

MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS

Model-driven development of model transformations

ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
A model-based development approach for model transformations

FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Constraint-based specification of model transformations

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to specify model transformations facilitates the integration of model transformations with other software development processes. Extracts from three large case studies of the specification of model transformations are given, to demonstrate the practical application of the approach.