Language-independent model transformation verification

Conference paper


Lano, K., Kolahdouz-Rahimi, S. and Clark, T. 2014. Language-independent model transformation verification. Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, VOLT@STAF 2014. York, UK 21 Jul 2014 CEUR. pp. 36-45
TypeConference paper
TitleLanguage-independent model transformation verification
AuthorsLano, K., Kolahdouz-Rahimi, S. and Clark, T.
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.

ConferenceProceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, VOLT@STAF 2014
Page range36-45
ISSN1613-0073
PublisherCEUR
Publication dates
Print21 Jul 2014
Publication process dates
Deposited22 Apr 2015
Output statusPublished
Publisher's version
Web address (URL)http://ceur-ws.org/Vol-1325/paper5.pdf
LanguageEnglish
Book titleVOLT 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)
Permalink -

https://repository.mdx.ac.uk/item/8508y

Download files


Publisher's version
  • 12
    total views
  • 4
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as