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
Available under License All rights reserved.
Download (480kB) | Preview
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|
|Depositing User:||Tony Clark|
|Date Deposited:||21 Jun 2016 11:30|
|Last Modified:||10 Nov 2016 00:47|
Actions (login required)
Downloads per month over past year