TY - CHAP
T1 - TL
T2 - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020
AU - Lano, K.
AU - Fang, S.
AU - Kolahdouz-Rahimi, S.
PY - 2020/10/16
Y1 - 2020/10/16
N2 - Model transformation verification has been hindered by the complex language mechanisms and semantics of mainstream transformation languages. In this paper we describe an abstract formalism, TL, for the definition of bidirectional and unidirectional transformations in a purely declarative manner. In contrast to model transformation languages such as ATL or QVT-R, there is no implicit or explicit sequencing of rules in TL specifications. Reasoning about TL specifications is therefore facilitated. We show that semantics-preserving translations can be defined from TL to subsets of the mainstream transformation languages.
AB - Model transformation verification has been hindered by the complex language mechanisms and semantics of mainstream transformation languages. In this paper we describe an abstract formalism, TL, for the definition of bidirectional and unidirectional transformations in a purely declarative manner. In contrast to model transformation languages such as ATL or QVT-R, there is no implicit or explicit sequencing of rules in TL specifications. Reasoning about TL specifications is therefore facilitated. We show that semantics-preserving translations can be defined from TL to subsets of the mainstream transformation languages.
KW - Bidirectional transformations
KW - QVT-R
KW - Transformation correctness
KW - Transformation specification
UR - http://www.scopus.com/inward/record.url?scp=85096797001&partnerID=8YFLogxK
U2 - 10.1145/3417990.3419223
DO - 10.1145/3417990.3419223
M3 - Conference paper
AN - SCOPUS:85096797001
T3 - Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings
SP - 538
EP - 547
BT - Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings
PB - Association for Computing Machinery, Inc
Y2 - 16 October 2020 through 23 October 2020
ER -