Verification of model transformations

LANO, K, KOLAHDOUZ-RAHIMI, S and CLARK, Tony (2012). Verification of model transformations. Other. Dept. of Informatics, King's College London.

[img]
Preview
PDF
mtverif.pdf

Download (464kB) | Preview
Official URL: http://www.dcs.kcl.ac.uk/staff/kcl/mtverif.pdf
Related URLs:

    Abstract

    Model transformations are a central element of model-driven development (MDD) approaches such as the model-driven architecture (MDA). The correctness of model transformations is critical to their effective use in practical software development, since users must be able to rely upon the transformations correctly preserving the semantics of models. In this paper we define a formal semantics for model transformations, and provide techniques for proving the termination, confluence and correctness of model transformations.

    Item Type: Monograph (Other)
    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
    Depositing User: Tony Clark
    Date Deposited: 25 Apr 2016 12:47
    Last Modified: 12 May 2021 19:03
    URI: http://shura.shu.ac.uk/id/eprint/12047

    Actions (login required)

    View Item View Item

    Downloads

    Downloads per month over past year

    View more statistics