Implementing QVT-R via semantic interpretation in UML-RSDS

被引：0
作者：
K. Lano
S. Kolahdouz-Rahimi
机构：
[1] King’s College London,
[2] University of Isfahan,undefined
来源：
Software and Systems Modeling | 2021年 / 20卷
关键词：
Model transformations; QVT-Relations; UML-RSDS; Model transformation semantics; Model transformation tools;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The QVT-Relations (QVT-R) model transformation language is an OMG standard notation for model transformation specification. It is highly declarative and supports (in principle) bidirectional (bx) transformation specification. However, there are many unclear or unsatisfactory aspects to its semantics, which is not precisely defined in the standard. UML-RSDS is an executable subset of UML and OCL. It has a precise mathematical semantics and criteria for ensuring correctness of applications (including model transformations) by construction. There is extensive tool support for verification and for production of 3GL code in multiple languages (Java, C#, C++, C, Swift and Python). In this paper, we define a translation from QVT-R into UML-RSDS, which provides a logically oriented semantics for QVT-R, aligned with the RelToCore mapping semantics in the QVT standard. The translation includes variation points to enable specialised semantics to be selected in particular transformation cases. The translation provides a basis for verification and static analysis of QVT-R specifications and also enables the production of efficient code implementations of QVT-R specifications. We evaluate the approach by applying it to solve benchmark examples of bx.
引用
收藏
页码：725 / 766
页数：41
相关论文
共 26 条
  • [1] Giese H(2009)From model transformation to incremental bidirectional model synchronization SoSyM 8 21-43
  • [2] Wagner R(2010)Comparing relational model transformation technologies: implementing QVT with triple graph grammars SoSyM 9 21-46
  • [3] Greenyer J(2014)Colouring: execution, debug and analysis of QVT-R transformations through coloured Petri nets SoSyM 13 1447-1472
  • [4] Kindler E(2015)Model synchronisation based on triple graph grammars SoSyM 14 1-29
  • [5] Guerra E(2008)State of the art of QVT: a model transformation language standard, AGTIVE 2007 LNCS 5088 377-393
  • [6] de Lara J(2013)Constraint-based specification of model transformations J. Syst. Softw. 86 412-436
  • [7] Hermann F(2014)Model-transformation design patterns IEEE Trans. Softw. Eng. 40 1224-1259
  • [8] Kurtev I(2019)Declarative specification of bidirectional transformations using design patterns IEEE Access 7 5222-5249
  • [9] Lano K(2016)Least-change bidirectional model transformation with QVT-R and ATL SoSyM 15 783-810
  • [10] Kolahdouz-Rahimi S(2018)EVL+Strace: a novel bidirectional model transformation approach Inf. Softw. Technol. 100 47-72
123