Language-independent model transformation verification.

LANO, Kevin, RAHIMI, Shekoufeh Kolahdouz and CLARK, Tony (2014). Language-independent model transformation verification. In: AMRANI, Moussa, SYRIANI, Eugene and WIMMER, Manuel, (eds.) 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), York, Uk, July 21, 2014. CEUR Workshop Proceedings (1325). Tilburg University, 36-45.

[img]
Preview
PDF
paper5.pdf - Published Version
Available under License All rights reserved.

Download (480kB) | Preview
Official URL: http://ceur-ws.org/Vol-1325/paper5.pdf

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 specifications in several different transformation languages, by making use of a common intermediate representation to express the semantics of transformations 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: Book Section
Additional Information: Volume published in CEUR Workshop Proceedings - ISSN: 1613-0073
Research Institute, Centre or Group: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Related URLs:
Depositing User: Tony Clark
Date Deposited: 21 Jun 2016 11:30
Last Modified: 10 Nov 2016 00:47
URI: http://shura.shu.ac.uk/id/eprint/12068

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics