{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,13]],"date-time":"2026-10-13T17:17:33Z","timestamp":1791911853876,"version":"4.3.4"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,9,24]],"date-time":"2020-09-24T00:00:00Z","timestamp":1600905600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,9,24]],"date-time":"2020-09-24T00:00:00Z","timestamp":1600905600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100009360","name":"King\u2019s College London","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100009360","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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.<\/jats:p>","DOI":"10.1007\/s10270-020-00824-3","type":"journal-article","created":{"date-parts":[[2020,9,24]],"date-time":"2020-09-24T06:02:54Z","timestamp":1600927374000},"page":"725-766","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Implementing QVT-R via semantic interpretation in UML-RSDS"],"prefix":"10.1007","volume":"20","author":[{"given":"K.","family":"Lano","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Kolahdouz-Rahimi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,9,24]]},"reference":[{"key":"824_CR1","unstructured":"Anjorin, A., et al. A.: Benchmarx reloaded: a practical benchmark framework for bidirectional transformations, BX (2017)"},{"key":"824_CR2","doi-asserted-by":"crossref","unstructured":"Bradfield, J., Stevens, P.: Enforcing QVT-R with mu-calculus and games. FASE\u201913, LNCS (2013)","DOI":"10.1007\/978-3-642-37057-1_21"},{"key":"824_CR3","unstructured":"bx-community.wikidot.com\/examples:uml2c"},{"key":"824_CR4","doi-asserted-by":"crossref","unstructured":"Chen, Z., Monahan, R., Power, J.: A sound execution semantics for ATL via translation validation, ICMT (2015)","DOI":"10.1007\/978-3-319-21155-8_11"},{"key":"824_CR5","first-page":"21","volume":"8","author":"H Giese","year":"2009","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. SoSyM 8, 21\u201343 (2009)","journal-title":"SoSyM"},{"key":"824_CR6","unstructured":"Goldschmidt, T., Wachsmuth, G.: Refinement transformation support for QVT relational transformations, ENCS (2011)"},{"issue":"1","key":"824_CR7","first-page":"21","volume":"9","author":"J Greenyer","year":"2010","unstructured":"Greenyer, J., Kindler, E.: Comparing relational model transformation technologies: implementing QVT with triple graph grammars. SoSyM 9(1), 21\u201346 (2010)","journal-title":"SoSyM"},{"issue":"4","key":"824_CR8","first-page":"1447","volume":"13","author":"E Guerra","year":"2014","unstructured":"Guerra, E., de Lara, J.: Colouring: execution, debug and analysis of QVT-R transformations through coloured Petri nets. SoSyM 13(4), 1447\u20131472 (2014)","journal-title":"SoSyM"},{"issue":"1","key":"824_CR9","first-page":"1","volume":"14","author":"F Hermann","year":"2015","unstructured":"Hermann, F., et al.: Model synchronisation based on triple graph grammars. SoSyM 14(1), 1\u201329 (2015)","journal-title":"SoSyM"},{"key":"824_CR10","doi-asserted-by":"crossref","unstructured":"Hearnden, D., Lawley, M., Raymond, K.: Incremental model transformation for the evolution of model-driven systems, MODELS (2006)","DOI":"10.1007\/11880240_23"},{"key":"824_CR11","unstructured":"IKV technologies, Medini QVT, projects.ikv.de\/qvt\/downloads. Accessed Dec. 2019"},{"key":"824_CR12","doi-asserted-by":"crossref","unstructured":"Kolahdouz-Rahimi, S., Lano, K., Pillay, S., Troya, J., Van Gorp, P.: Evaluation of MT approaches for model refactoring. Sci. Comput. Prog. 85(Part A), 5\u201340 (2014)","DOI":"10.1016\/j.scico.2013.07.013"},{"key":"824_CR13","doi-asserted-by":"crossref","unstructured":"Kolahdouz-Rahimi, S., Lano, K., et al.: A comparison of quality flaws and technical debt in model transformation specifications. JSS (2020). https:\/\/doi.org\/10.1016\/j.jss.2020.110684","DOI":"10.1016\/j.jss.2020.110684"},{"key":"824_CR14","unstructured":"Kolovos, D., Paige, R., Polack, F.: The Epsilon Transformation Language, ICMT (2008)"},{"key":"824_CR15","first-page":"377","volume":"5088","author":"I Kurtev","year":"2008","unstructured":"Kurtev, I.: State of the art of QVT: a model transformation language standard, AGTIVE 2007. LNCS 5088, 377\u2013393 (2008)","journal-title":"LNCS"},{"key":"824_CR16","unstructured":"Kusel, A., Schwinger, W., Wimmer, M., Retschitzegger, W.: Common pitfalls of using QVT-Relations. ICECCS (2009)"},{"key":"824_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-1494-9","volume-title":"The B Language and Method","author":"K Lano","year":"1996","unstructured":"Lano, K.: The B Language and Method. Springer, Berlin (1996)"},{"key":"824_CR18","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1016\/j.jss.2012.09.006","volume":"86","author":"K Lano","year":"2013","unstructured":"Lano, K., Kolahdouz-Rahimi, S.: Constraint-based specification of model transformations. J. Syst. Softw. 86, 412\u2013436 (2013)","journal-title":"J. Syst. Softw."},{"key":"824_CR19","volume-title":"Agile Model-Based Development Using UML-RSDS","author":"K Lano","year":"2016","unstructured":"Lano, K.: Agile Model-Based Development Using UML-RSDS. CRC Press, Boca Raton (2016)"},{"issue":"12","key":"824_CR20","doi-asserted-by":"publisher","first-page":"1224","DOI":"10.1109\/TSE.2014.2354344","volume":"40","author":"K Lano","year":"2014","unstructured":"Lano, K., Kolahdouz-Rahimi, S.: Model-transformation design patterns. IEEE Trans. Softw. Eng. 40(12), 1224\u20131259 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"824_CR21","unstructured":"Lano, K., et al.: A framework for MT verification. FACS (2014)"},{"key":"824_CR22","doi-asserted-by":"crossref","unstructured":"Lano, K., Yassipour-Tehrani, S., Alfraihi, H., Kolahdouz-Rahimi, S.: Translating from UML-RSDS OCL to ANSI C, OCL (2017)","DOI":"10.1007\/978-3-319-74730-9_28"},{"key":"824_CR23","doi-asserted-by":"crossref","unstructured":"Lano, K., Kolahdouz-Rahimi, S., Sharbaf, M., Alfraihi, H.: Technical debt in Model Transformation specifications. ICMT (2018)","DOI":"10.1007\/978-3-319-93317-7_6"},{"key":"824_CR24","unstructured":"Lano, K.: The UML-RSDS manual. (2020). https:\/\/github.com\/eclipse\/agileuml\/blob\/master\/umlrsds19.pdf"},{"issue":"1","key":"824_CR25","doi-asserted-by":"publisher","first-page":"5222","DOI":"10.1109\/ACCESS.2018.2889399","volume":"7","author":"K Lano","year":"2019","unstructured":"Lano, K., Kolahdouz-Rahimi, S., Yassipour-Tehrani, S.: Declarative specification of bidirectional transformations using design patterns. IEEE Access 7(1), 5222\u20135249 (2019)","journal-title":"IEEE Access"},{"key":"824_CR26","unstructured":"Lano, K.: Using the QVT-R analyser and code generator (2020). https:\/\/github.com\/eclipse\/agileuml\/blob\/master\/qvt2umlrsds.pdf"},{"key":"824_CR27","doi-asserted-by":"publisher","unstructured":"Lano, K.: QVT2UMLRSDS dataset. (2020). https:\/\/doi.org\/10.5281\/zenodo.3951061","DOI":"10.5281\/zenodo.3951061"},{"key":"824_CR28","first-page":"783","volume":"15","author":"N Macedo","year":"2016","unstructured":"Macedo, N., Cunha, A.: Least-change bidirectional model transformation with QVT-R and ATL. SoSyM 15, 783\u2013810 (2016)","journal-title":"SoSyM"},{"key":"824_CR29","unstructured":"OMG. Object Constraint Language 2.4 Specification (2014)"},{"key":"824_CR30","unstructured":"OMG. MOF2 Query\/View\/Transformation v1.3 (2016)"},{"key":"824_CR31","unstructured":"OMG, MOF Query\/View\/Transformation \u2013 Open issues (Dec 2019). https:\/\/issues.omg.org\/issues\/lists\/qvt-rtf"},{"key":"824_CR32","unstructured":"Romeikat, R., Roser, S., Mullender, P., Bauer, B.: Translation of QVT Relations into QVT Operational Mappings, ICMT (2008)"},{"key":"824_CR33","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.infsof.2018.03.011","volume":"100","author":"L Samimi-Dehkordi","year":"2018","unstructured":"Samimi-Dehkordi, L., Zamani, B., Kolahdouz-Rahimi, S.: EVL+Strace: a novel bidirectional model transformation approach. Inf. Softw. Technol. 100, 47\u201372 (2018)","journal-title":"Inf. Softw. Technol."},{"key":"824_CR34","first-page":"7","volume":"9","author":"P Stevens","year":"2010","unstructured":"Stevens, P.: Bidirectional MT in QVT: semantic issues and open questions. Sosym 9, 7\u201320 (2010)","journal-title":"Sosym"},{"issue":"5","key":"824_CR35","first-page":"1","volume":"10","author":"J Troya","year":"2011","unstructured":"Troya, J., Vallecillo, A.: A rewriting logic semantics for ATL. J. Object Technol. 10(5), 1\u201329 (2011)","journal-title":"J. Object Technol."},{"key":"824_CR36","first-page":"989","volume":"17","author":"B Westfechtel","year":"2018","unstructured":"Westfechtel, B.: Case-based exploration of bidirectional transformations in QVT Relations. SoSyM 17, 989\u20131029 (2018)","journal-title":"SoSyM"},{"key":"824_CR37","doi-asserted-by":"crossref","unstructured":"Westfechtel, B.: Incremental bidirectional transformations: applying QVT Relations to the Families to Persons benchmark. ENASE 39\u201353 (2018)","DOI":"10.5220\/0006679700390053"},{"key":"824_CR38","first-page":"98","volume":"1023","author":"B Westfechtel","year":"2019","unstructured":"Westfechtel, B., Buchmann, T.: Incremental bidirectional transformations: comparing declarative and procedural approaches using the Families to Persons benchmark, ENASE 2018. CCIS 1023, 98\u2013118 (2019)","journal-title":"CCIS"},{"key":"824_CR39","unstructured":"Willink, E.: The micromapping model of computation, ICMT (2017)"},{"key":"824_CR40","unstructured":"Willink, E.: MMT\/QVT Declarative (QVTd), https:\/\/wiki.eclipse.org\/MMT\/QVT_Declarative_(QVTd) (2019)"},{"key":"824_CR41","unstructured":"Willink, E.: QVTd In-place and Copy Transformations (2019). https:\/\/wiki.eclipse.org\/QVTd_In-place_and_Copy_Transformations"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00824-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00824-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00824-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,24]],"date-time":"2021-09-24T06:46:00Z","timestamp":1632465960000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-020-00824-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,24]]},"references-count":41,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["824"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00824-3","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9,24]]},"assertion":[{"value":"13 January 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 July 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 August 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 September 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}