King's College London

Research portal

A Framework for Model Transformation Verification

Research output: Contribution to journalArticle

Original languageEnglish
Article number1
Pages (from-to)193
Number of pages235
JournalFORMAL ASPECTS OF COMPUTING
Volume27
Issue number1
Early online date20 Aug 2014
DOIs
Publication statusPublished - Jan 2015

King's Authors

Abstract

A model transformation verification task may involve a number of different transformations, from one or more of a wide range of different model transformation languages, each transformation may have a particular transformation style, and there are a number of different verification properties which can be verified for each language and style of transformation. Transformations may operate upon many different modelling languages. This diversity of languages and properties indicates the need for a suitably generic framework for model transformation verification, independent of particular model transformation languages, and able to provide support for systematic procedures for verification across a range of languages, and for a range of properties. In this paper we describe the elements of such a framework, and apply this framework to some example transformation verification problems. The paper is novel in covering a wide range of different verification techniques for a wide range of MT languages, within an integrated framework.

View graph of relations

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