King's College London

Research portal

Constraint-based specification of model transformations

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)412-436
JournalJournal of Systems and Software
Issue number2
Early online date25 Sep 2012
Publication statusPublished - Feb 2013

King's Authors


Model transformations are a central element of model-driven development (MDD) approaches. The correctness, modularity and flexibility of model transformations is critical to their effective use in practical software development. In this paper we describe an approach for the automated derivation of correct-by-construction transformation implementations from high-level specifications. We illustrate this approach on a range of model transformation case studies of different kinds (re-expression, refinement, quality improvement and abstraction transformations) and describe ways in which transformations can be composed and evolved using this approach.

View graph of relations

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