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: 04 Feb 2021 09:38
URI: https://eprints.mdx.ac.uk/id/eprint/14663

Actions (login required)

View Item View Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year