A framework for model transformation verification

Lano, Kevin and Clark, Tony and Kolahdouz-Rahimi, S. (2015) A framework for model transformation verification. Formal Aspects of Computing, 27 (1). pp. 193-235. ISSN 0934-5043

This is the latest version of this item.

Full text is not in this repository.

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.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 14674
Depositing User: Tony Clark
Date Deposited: 22 Apr 2015 13:04
Last Modified: 07 Dec 2018 08:31
URI: http://eprints.mdx.ac.uk/id/eprint/14674

Available Versions of this Item

Actions (login required)

Edit Item Edit Item