Language-independent model transformation verification

Lano, Kevin, Kolahdouz-Rahimi, Shekoufeh and Clark, Tony (2014) Language-independent model transformation verification. VOLT 2014, Verification of Model Transformations: Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2014). In: Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, VOLT@STAF 2014, 21 Jul 2014, York, UK. . ISSN 1613-0073 [Conference or Workshop Item]

[img]
Preview
PDF - Published version (with publisher's formatting)
Download (480kB) | Preview

Abstract

One hinderance to model transformation verification is the large number of different MT languages which exist, resulting in a large number of different language-specific analysis tools. As an alternative, we define a single analysis process which can, in principle, analyse speci- fications in several different transformation languages, by making use of a common intermediate representation to express the semantics of trans- formations in any of these languages. Some analyses can be performed directly on the intermediate representation, and further semantic models in specific verification formalisms can be derived from it. We illustrate the approach by applying it to ATL.

Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 14663
Useful Links:
Depositing User: Tony Clark
Date Deposited: 22 Apr 2015 12:48
Last Modified: 10 Jun 2021 10:39
URI: https://eprints.mdx.ac.uk/id/eprint/14663

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
39Downloads
326Hits

Additional statistics are available via IRStats2.