{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T06:32:44Z","timestamp":1768977164454,"version":"3.49.0"},"reference-count":86,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T00:00:00Z","timestamp":1637107200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2022,4,30]]},"abstract":"<jats:p>In this article, we address how the production of model transformations (MT) can be accelerated by automation of transformation synthesis from requirements, examples, and metamodels. We introduce a synthesis process based on metamodel matching, correspondence patterns between metamodels, and completeness and consistency analysis of matches. We describe how the limitations of metamodel matching can be addressed by combining matching with automated requirements analysis and model transformation by example (MTBE) techniques.<\/jats:p>\n          <jats:p>We show that in practical examples a large percentage of required transformation functionality can usually be constructed automatically, thus potentially reducing development effort. We also evaluate the efficiency of synthesised transformations.<\/jats:p>\n          <jats:p>\n            Our novel contributions are:\n            <jats:list list-type=\"bullet\">\n              <jats:list-item>\n                <jats:p>The concept of correspondence patterns between metamodels of a transformation.<\/jats:p>\n              <\/jats:list-item>\n              <jats:list-item>\n                <jats:p>Requirements analysis of transformations using natural language processing (NLP) and machine learning (ML).<\/jats:p>\n              <\/jats:list-item>\n              <jats:list-item>\n                <jats:p>Symbolic MTBE using \u201cpredictive specification\u201d to infer transformations from examples.<\/jats:p>\n              <\/jats:list-item>\n              <jats:list-item>\n                <jats:p>Transformation generation in multiple MT languages and in Java, from an abstract intermediate language.<\/jats:p>\n              <\/jats:list-item>\n            <\/jats:list>\n          <\/jats:p>","DOI":"10.1145\/3471907","type":"journal-article","created":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T21:57:08Z","timestamp":1637186228000},"page":"1-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Model Transformation Development Using Automated Requirements Analysis, Metamodel Matching, and Transformation by Example"],"prefix":"10.1145","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9706-1410","authenticated-orcid":false,"given":"K.","family":"Lano","sequence":"first","affiliation":[{"name":"Dept. of Informatics, King\u2019s College London, Strand, London, UK"}]},{"given":"S.","family":"Kolahdouz-Rahimi","sequence":"additional","affiliation":[{"name":"Dept. of Software Engineering, Isfahan, Iran"}]},{"given":"S.","family":"Fang","sequence":"additional","affiliation":[{"name":"Dept. of Informatics, King\u2019s College London, Strand, London, UK"}]}],"member":"320","published-online":{"date-parts":[[2021,11,17]]},"reference":[{"key":"e_1_3_3_2_2","first-page":"40","volume":"1706","author":"Addazi L.","year":"2016","unstructured":"L. Addazi, A. Cicchetti, J. D. Rocco, D. D. Ruscio, L. Iovino, and A. Pierantonio. 2016. Semantic-based model matching with emfcompare, me workshop, models. CEUR-WS 1706, 40\u201349.","journal-title":"CEUR-WS"},{"key":"e_1_3_3_3_2","unstructured":"AgileMDE Ltd. 2021. AgileUML repository . Retrieved from https:\/\/github.com\/eclipse\/agileuml\/."},{"key":"e_1_3_3_4_2","unstructured":"Apache Software Foundation. 2021. Apache OpenNLP Toolkit. Retrieved from opennlp.apache.org."},{"key":"e_1_3_3_6_2","doi-asserted-by":"crossref","unstructured":"T. Aschauer G. Dauenhauer P. Derler W. Pree and C. Steindl. 2008. Could an agile requirements analysis be automated? In Innovations for Requirements Analysis LNCS B. Peach C. Martell (Eds.). vol. 5320 25\u201342.","DOI":"10.1007\/978-3-540-89778-1_6"},{"key":"e_1_3_3_7_2","doi-asserted-by":"crossref","unstructured":"Z. Balogh and D. Varro. 2009. Model transformation by example using inductive logic programming. Softw. Syst. Model . 8 (2009) 347\u2013364.","DOI":"10.1007\/s10270-008-0092-1"},{"key":"e_1_3_3_8_2","doi-asserted-by":"crossref","unstructured":"N. Bonet K. Garces R. Casallas M. Correal and R. Wei. 2018. Influence of programming style in transformation bad smells: Mining of ETL repositories. Computer Science Education Teaching Modeling A Software Perspective 28 1 (2018).","DOI":"10.1080\/08993408.2018.1472950"},{"key":"e_1_3_3_9_2","first-page":"294","volume-title":"MODELS\u201919 Proceedings.","author":"Burgueno L.","year":"2019","unstructured":"L. Burgueno, J. Cabot, and S. Gerard. 2019. An LSTM-based neural network architecture for model transformations. MODELS\u201919 Proceedings.IEEE Press, 294\u2013299."},{"key":"e_1_3_3_10_2","doi-asserted-by":"crossref","unstructured":"L. Burgueno J. Cabot and S. Gerard. 2019. The future of model transformation languages: an open community discussion J. Obj. Technol . 1\u201311. Retrieved from www.jot.fm\/issues\/issue_2019_03\/article7.pdf.","DOI":"10.5381\/jot.2019.18.3.a7"},{"key":"e_1_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.24018\/ejers.2017.2.1.236"},{"key":"e_1_3_3_12_2","doi-asserted-by":"crossref","unstructured":"M. Didonet Del Fabro and P. Valduriez. 2009. Towards the efficient development of model transformations using model weaving and matching transformations Softw. Syst. Model . 8 (2009) 305\u2013324.","DOI":"10.1007\/s10270-008-0094-z"},{"key":"e_1_3_3_13_2","unstructured":"Eclipse Foundation. 2019. Eclipse ATL user guide. Retrieved from www.eclipse.org."},{"key":"e_1_3_3_14_2","unstructured":"Eclipse Foundation. 2021. Eclipse ATL zoo atlTransformations. Retrieved from www.eclipse.org\/atl\/."},{"key":"e_1_3_3_15_2","unstructured":"Eclipse Foundation. 2021. Eclipse Agile UML project . Retrieved from https:\/\/projects.eclipse.org\/projects\/modeling.agileuml."},{"key":"e_1_3_3_16_2","unstructured":"Eclipse Foundation. 2020. Epsilon ETL. Retrieved from https:\/\/www.eclipse.org\/epsilon\/examples."},{"key":"e_1_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_24"},{"key":"e_1_3_3_18_2","volume-title":"STAF 2019","author":"Fang S.","unstructured":"S. Fang and K. Lano. Extracting correspondences from metamodels using metamodel matching. In STAF 2019. Retrieved from CEUR-WS.org\/vol-2405\/02_paper.pdf."},{"key":"e_1_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02674-4_4"},{"key":"e_1_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-015-9280-8"},{"key":"e_1_3_3_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSC.2007.100"},{"key":"e_1_3_3_22_2","unstructured":"T. Goldschmidt and G. Wachsmuth. 2008. Refinement transformation support for QVT relational transformations. In Workshop on Model Driven Software Engineering . Logos Verlag 1\u201314."},{"key":"e_1_3_3_23_2","first-page":"15","volume-title":"Proceedings Modelsward","author":"Greiner S.","year":"2016","unstructured":"S. Greiner, T. Buchmann, and B. Westfechtel. 2016. Bidirectional transformations with QVT-R: A case study in round-trip engineering UML class models and Java source code. Proceedings Modelsward. SCITEPRESS, 15\u201327."},{"key":"e_1_3_3_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0211-2"},{"key":"e_1_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2610424"},{"key":"e_1_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45398-4_2"},{"key":"e_1_3_3_27_2","first-page":"72","volume-title":"Proceedings of the Transformation Tool Contest.","author":"Herrmannsdoerfer M.","unstructured":"M. Herrmannsdoerfer. 2010. Migrating UML activity models with COPE. In Proceedings of the Transformation Tool Contest.72\u201384."},{"key":"e_1_3_3_28_2","doi-asserted-by":"crossref","unstructured":"M. Herrmannsdoerfer. 2011. GMF: A model migration case for the transformation tool contest. In Proceedings TTC 2011 EPTCS vol. 74. 1\u20135.","DOI":"10.4204\/EPTCS.74.1"},{"key":"e_1_3_3_29_2","unstructured":"IKV Technologies. 2019. Medini QVT. Retrieved from projects.ikv.de\/qvt\/downloads."},{"key":"e_1_3_3_30_2","unstructured":"G. Kappel H. Kargl G. Kramler A. Schauerhuber M. Seidl M. Strommer and M. Wimmer. 2007. Matching metamodels with semantic systems\u2014An experience report. In BTW Workshops ."},{"key":"e_1_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.5555\/2317017.2317060"},{"key":"e_1_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.06.040"},{"key":"e_1_3_3_33_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-008-0028-6"},{"key":"e_1_3_3_34_2","first-page":"35","volume-title":"6th Australasian Ontology Workshop","author":"Kless D.","year":"2010","unstructured":"D. Kless and S. Milton. 2010. Comparison of thesauri and ontologies from a semiotic perspective. In 6th Australasian Ontology Workshop (AOW\u201910). 35\u201344."},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69927-9_4"},{"key":"e_1_3_3_36_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.07.013"},{"key":"e_1_3_3_37_2","doi-asserted-by":"crossref","unstructured":"S. Kolahdouz-Rahimi K. Lano M. Sharbaf M. Karimi and H. Alfraihi. 2020. A comparison of quality flaws and technical debt in model transformation specifications. Journal of Software and Systems 169 2020 (2020) 110684.","DOI":"10.1016\/j.jss.2020.110684"},{"key":"e_1_3_3_38_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cola.2020.100971"},{"key":"e_1_3_3_39_2","unstructured":"K. Lano and S. Kolahdouz-Rahimi. 2010. Model Migration Transformation Specification in UML-RSDS TTC 2010 and Model Transformation Tools for Model Migration ."},{"key":"e_1_3_3_40_2","doi-asserted-by":"crossref","unstructured":"K. Lano and S. Kolahdouz-Rahimi. Solving the TTC 2011 model migration case with UML-RSDS. Retrieved from: arXiv:1111.4741.","DOI":"10.4204\/EPTCS.74.6"},{"key":"e_1_3_3_41_2","doi-asserted-by":"crossref","unstructured":"K. Lano and S. K. Rahimi. Case study: Class diagram restructuring. In TTC 2013 Proceedings .","DOI":"10.4204\/EPTCS.135.2"},{"key":"e_1_3_3_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2354344"},{"key":"e_1_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-014-0313-z"},{"key":"e_1_3_3_44_2","doi-asserted-by":"publisher","DOI":"10.5555\/3074376"},{"key":"e_1_3_3_45_2","doi-asserted-by":"crossref","unstructured":"K Lano S. Yassipour-Tehrani H. Alfraihi and S. Kolahdouz-Rahimi. 2017. Translating UML-RSDS OCL to ANSI C . In Proceedings of the OCL 2017 STAF 2017 . 317\u2013330.","DOI":"10.1007\/978-3-319-74730-9_28"},{"key":"e_1_3_3_46_2","doi-asserted-by":"crossref","unstructured":"K. Lano S. Kolahdouz-Rahimi M. Sharbaf and H. Alfraihi. Technical debt in model transformation specifications. In Proceedings of the ICMT 2018 vol. 10888. Springer LNCS 127\u2013141.","DOI":"10.1007\/978-3-319-93317-7_6"},{"key":"e_1_3_3_47_2","doi-asserted-by":"crossref","unstructured":"K. Lano S. Kolahdouz-Rahimi S. Yassipour-Tehrani and M. Sharbaf. 2018. Survey of model transformation design patterns in practice. Journal of Software and Systems 140 2018 (2018) 48\u201373.","DOI":"10.1016\/j.jss.2018.03.001"},{"key":"e_1_3_3_48_2","doi-asserted-by":"crossref","unstructured":"K. Lano and S. Fang. 2020. Automated synthesis of ATL transformations from metamodel correspondences . Modelsward. Retrieved from www.scitepress.org\/Papers\/2020\/88737\/88737.pdf.","DOI":"10.5220\/0008873702630270"},{"key":"e_1_3_3_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/3417990.3419223"},{"key":"e_1_3_3_50_2","unstructured":"K. Lano Q. Xue and S. Kolahdouz-Rahimi. 2020. Agile Specification of Code Generators for Model-Driven Engineering. In Proceedings of ICSEA 2020 . IARIA 9\u201315."},{"key":"e_1_3_3_51_2","doi-asserted-by":"crossref","unstructured":"K. Lano and S. Kolahdouz-Rahimi. 2020. Implementing QVT-R via semantic interpretation in UML-RSDS. Softw. Syst. Model 20 (2021) 725\u2013766. DOI:https:\/\/doi.org\/10.1007\/s10270-020-00824-3.","DOI":"10.1007\/s10270-020-00824-3"},{"key":"e_1_3_3_52_2","unstructured":"K. Lano. 2021. Using the AgileUML metamodel matching and transformation synthesis tools . Retrieved from https:\/\/www.agilemde.co.uk\/mtsynth.pdf."},{"key":"e_1_3_3_53_2","doi-asserted-by":"publisher","DOI":"10.1145\/3417990.3421386"},{"key":"e_1_3_3_54_2","unstructured":"K. Lano. 2021. MTBE tutorial. Retrieved from https:\/\/www.youtube.com\/watch?v=_qxfUmNWLzY."},{"issue":"8","key":"e_1_3_3_55_2","first-page":"707","volume":"10","author":"Levenshtein I.","year":"1966","unstructured":"I. Levenshtein. 1966. Binary codes capable of correcting deletions, insertions and reversals. Cybern. contr. Theor. 10, 8 (1966), 707\u2013710.","journal-title":"Cybern. contr. Theor."},{"key":"e_1_3_3_56_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0429-x"},{"key":"e_1_3_3_57_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0437-x"},{"key":"e_1_3_3_58_2","doi-asserted-by":"publisher","DOI":"10.1109\/SocialCom.2010.35"},{"key":"e_1_3_3_59_2","volume":"408","author":"Maedche A.","unstructured":"A. Maedche and S. Staab. 2001. Comparing Ontologies\u2014Similarity Measures and a Comparison Study.Report 408, Institute AIFB, University of Karlruhe.","journal-title":"Report"},{"key":"e_1_3_3_60_2","doi-asserted-by":"publisher","DOI":"10.5555\/876875.879024"},{"key":"e_1_3_3_61_2","unstructured":"Metamodelrefactoring Org. 2020. Metamodel refactorings catalog . Retrieved from www.metamodelrefactoring.org."},{"key":"e_1_3_3_62_2","doi-asserted-by":"crossref","unstructured":"S. Muggleton and L. D. Raedt. 1994. Inductive logic programming: Theory and methods. Journal of Logic Programming 19\u201320 (1994) 629\u2013679.","DOI":"10.1016\/0743-1066(94)90035-3"},{"key":"e_1_3_3_63_2","doi-asserted-by":"crossref","unstructured":"D. Nelso A. Pereira and R. Deoliveira. 2017. Stock market price movement prediction with LSTM neural networks . In IJCNN . 1419\u20131426.","DOI":"10.1109\/IJCNN.2017.7966019"},{"key":"e_1_3_3_64_2","unstructured":"Object Management Group. 2014. Object Constraint Language 2.4 Specification OMG document formal."},{"key":"e_1_3_3_65_2","unstructured":"Object Management Group. 2016. OMG MOF2 Query\/View\/Transformation Specification v1.3 OMG document formal ."},{"key":"e_1_3_3_66_2","unstructured":"OMG. 2019. MOF Query\/View\/Transformation \u2013 Open issues. Retrieved from https:\/\/issues.omg.org\/issues\/lists\/qvt-rtf."},{"key":"e_1_3_3_67_2","unstructured":"D. Otter et\u00a0al. 2020. A survey of the usages of deep learning in natural language processing. In IEEE Transactions on Neural Networks and Learning Systems . 1\u201321."},{"key":"e_1_3_3_68_2","doi-asserted-by":"crossref","unstructured":"M. Panahandeh M. Hamdaqa B. Zamani and A. Hamou-Lhadj. 2021. MUPPIT: A method for using proper patterns in model transformations. Software and Systems Modeling . to appear. DOI:https:\/\/doi.org\/10.1007\/s10270-020-00853-y.","DOI":"10.1007\/s10270-020-00853-y"},{"key":"e_1_3_3_69_2","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-3-540-89778-1_10","volume":"5320","author":"Popescu D.","year":"2007","unstructured":"D. Popescu et\u00a0al. 2007. Reducing ambiguities in requirements specifications via automatically created object-oriented models, innovations for requirements analysis. Lect. Notes Comput. Sci. 5320 (2007), 103\u2013124.","journal-title":"Lect. Notes Comput. Sci."},{"key":"e_1_3_3_70_2","doi-asserted-by":"publisher","DOI":"10.5555\/152181"},{"key":"e_1_3_3_71_2","unstructured":"Stanford University. 2020. Stanford parts of speech tagger. Retrieved from https:\/\/nlp.stanford.edu\/software\/tagger.shtml."},{"key":"e_1_3_3_72_2","doi-asserted-by":"publisher","DOI":"10.5555\/1926458.1926466"},{"key":"e_1_3_3_73_2","unstructured":"L. Rose D. Kolovos R. Paige and F. Polack. Model migration case for TTC 2010 . In Proceedings of TTC 2010 . 1\u20136."},{"key":"e_1_3_3_74_2","unstructured":"B. Santorini. 1990. Part-of-speech Tagging Guidelines for the Penn Treebank Project . Dept. of Information and Computer Science University of Pennsylvania."},{"key":"e_1_3_3_75_2","doi-asserted-by":"publisher","DOI":"10.1145\/3417990.3421385"},{"key":"e_1_3_3_76_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09195-2_12"},{"key":"e_1_3_3_77_2","unstructured":"NLP Stanford. 2020. Retrieved from https:\/\/nlp.stanford.edu\/software\/."},{"key":"e_1_3_3_78_2","first-page":"30","volume-title":"10th Workshop on Models and Evolution","author":"Strittmatter M.","year":"2016","unstructured":"M. Strittmatter, G. Hinkel, M. Langhammer, R. Jung, and R. Heinrich. 2016. Challenges in the evolution of metamodels. In 10th Workshop on Models and Evolution. Stanford University, 30\u201339."},{"key":"e_1_3_3_79_2","unstructured":"M. Umar. Automated requirements engineering framework for agile development . In ICSEA 2020 Proceedings IARIA . 147\u2013150."},{"key":"e_1_3_3_80_2","unstructured":"K. Voigt and T. Heinze. Metamodel matching based on planar graph edit distance. In Proceedings ENASE vol. 1023."},{"key":"e_1_3_3_81_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0527-z"},{"key":"e_1_3_3_82_2","doi-asserted-by":"publisher","DOI":"10.5220\/0006679700390053"},{"key":"e_1_3_3_83_2","doi-asserted-by":"crossref","unstructured":"B. Westfechtel and T. Buchmann. 2018. Incremental bidirectional transformations: comparing declarative and procedural approaches using the Families to Persons benchmark . In Proceedings ENASE vol 1023. Springer CCIS 98\u2013118.","DOI":"10.1007\/978-3-030-22559-9_5"},{"key":"e_1_3_3_84_2","doi-asserted-by":"publisher","DOI":"10.5555\/1875847.1875867"},{"key":"e_1_3_3_85_2","doi-asserted-by":"publisher","DOI":"10.1145\/1866272.1866278"},{"key":"e_1_3_3_86_2","unstructured":"Wordnet. 2021. wordnet.princeton.edu."},{"key":"e_1_3_3_87_2","doi-asserted-by":"crossref","unstructured":"S. Yassipour-Tehrani S. Zschaler and K. Lano. Requirements engineering in model transformation development: an interview-based study. In Proceedings of the ICMT 2016 LNCS vol. 9765. 123\u2013137.","DOI":"10.1007\/978-3-319-42064-6_9"},{"key":"e_1_3_3_88_2","unstructured":"2021. Zenodo. Retrieved from https:\/\/zenodo.org\/record\/4899769."}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3471907","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3471907","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:49Z","timestamp":1750195489000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3471907"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,17]]},"references-count":86,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,4,30]]}},"alternative-id":["10.1145\/3471907"],"URL":"https:\/\/doi.org\/10.1145\/3471907","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,17]]},"assertion":[{"value":"2020-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-11-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}