Language-independent model transformation verification

Lano, Kevin and Kolahdouz-Rahimi, Shekoufeh and Clark, Tony (2014) Language-independent model transformation verification. 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.

PDF - Published version (with publisher's formatting)
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 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: 07 Dec 2018 08:33

Actions (login required)

Edit Item Edit 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