King's College London

Research portal

Model Transformation Specification and Design

Research output: Chapter in Book/Report/Conference proceedingChapter

Kevin Lano, Shekoufeh Kolahdouz-Rahimi

Original languageEnglish
Title of host publicationADVANCES IN COMPUTERS, VOL 85
Place of PublicationSAN DIEGO
Number of pages41
Publication statusPublished - 2012

King's Authors


Model transformations are a central element of model-driven development (MDD) approaches such as the model-driven architecture (MDA). The correctness, modularity, and flexibility of model transformations is critical to their effective use in practical software development.

In this chapter, we describe techniques for model transformation specification and implementation. We focus particularly on the UML-RSDS approach for the automated derivation of transformation implementations from high-level specifications, which uses specification and implementation patterns to guide the choice of implementation strategy for a particular problem. We illustrate this approach using several model transformation case studies of different kinds (re-expression, refinement, quality improvement, and abstraction transformations).

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454