A framework for model transformation verification

LANO, Kevin, CLARK, T. and KOLAHDOUZ-RAHIMI, S. (2015). A framework for model transformation verification. Formal Aspects of Computing, 27 (1), 193-235.

mtsem.pdf - Accepted Version
All rights reserved.

Download (769kB) | Preview
Official URL: http://link.springer.com/article/10.1007%2Fs00165-...
Link to published version:: https://doi.org/10.1007/s00165-014-0313-z
Related URLs:


    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.

    Item Type: Article
    Research Institute, Centre or Group - Does NOT include content added after October 2018: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
    Departments - Does NOT include content added after October 2018: Faculty of Science, Technology and Arts > Department of Computing
    Identification Number: https://doi.org/10.1007/s00165-014-0313-z
    Page Range: 193-235
    Depositing User: Tony Clark
    Date Deposited: 06 Jun 2016 12:02
    Last Modified: 28 Jan 2018 07:24
    URI: http://shura.shu.ac.uk/id/eprint/12046

    Actions (login required)

    View Item View Item


    Downloads per month over past year

    View more statistics