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.

paper5.pdf - Published Version
All rights reserved.

Download (480kB) | Preview
Official URL:
Related URLs:


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 - 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
Page Range: 36-45
Depositing User: Tony Clark
Date Deposited: 21 Jun 2016 11:30
Last Modified: 18 Mar 2021 15:47

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics