{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T04:46:42Z","timestamp":1784004402839,"version":"3.55.0"},"reference-count":179,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2018,3,12]],"date-time":"2018-03-12T00:00:00Z","timestamp":1520812800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1007\/s10270-018-0665-6","type":"journal-article","created":{"date-parts":[[2018,3,12]],"date-time":"2018-03-12T03:19:48Z","timestamp":1520824788000},"page":"2361-2397","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":95,"title":["Survey and classification of model transformation tools"],"prefix":"10.1007","volume":"18","author":[{"given":"Nafiseh","family":"Kahani","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mojtaba","family":"Bagherzadeh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James R.","family":"Cordy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,3,12]]},"reference":[{"key":"665_CR1","unstructured":"Kahani, N., Cordy, J.: Comparison and evaluation of model transformation tools. In: Technical Report 2015-627, Queen\u2019s University, pp. 1\u201342 (2015)"},{"key":"665_CR2","doi-asserted-by":"crossref","unstructured":"Bagherzadeh, M., Hili, N., Dingel, J.: Model-level, platform-independent debugging in the context of the model-driven development of real-time systems. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, pp. 419\u2013430 (2017)","DOI":"10.1145\/3106237.3106278"},{"key":"665_CR3","doi-asserted-by":"crossref","unstructured":"L\u00facio, L., Amrani, M., Dingel, J., Lambers, L., Salay, R., Selim, G., Syriani, E., Wimmer, M.: Model transformation intents and their properties. In: Software and Systems Modeling, pp. 1\u201338 (2014)","DOI":"10.1007\/s10270-014-0429-x"},{"issue":"3","key":"665_CR4","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621\u2013645 (2006)","journal-title":"IBM Syst. J."},{"key":"665_CR5","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T Mens","year":"2006","unstructured":"Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electron. Notes Theor. Comput. Sci. 152, 125\u2013142 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"665_CR6","doi-asserted-by":"crossref","unstructured":"Salem, R.B., Grangel, R., Bourey, J.: A comparison of model transformation tools: Application for transforming GRAI extended Actigrams into UML activity diagrams. In: Computers in Industry, pp. 682\u2013693 (2008)","DOI":"10.1016\/j.compind.2007.12.013"},{"issue":"7","key":"665_CR7","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1109\/TSE.2016.2620145","volume":"43","author":"N Macedo","year":"2017","unstructured":"Macedo, N., Jorge, T., Cunha, A.: A feature-based classification of model repair approaches. IEEE Trans. Softw. Eng. 43(7), 615\u2013640 (2017)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"665_CR8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.scico.2013.10.009","volume":"85","author":"E Jakumeit","year":"2014","unstructured":"Jakumeit, E., Buchwald, S., Wagelaar, D., Dan, L., Heged\u00fcs, \u00c1., Herrmannsd\u00f6rfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L., W\u00e4tzoldt, S., Mazanek, S.: A survey and comparison of transformation tools based on the transformation tool contest. Sci. Comput. Program. 85, 41\u201399 (2014)","journal-title":"Sci. Comput. Program."},{"key":"665_CR9","unstructured":"Taentzer, G., Ehrig, K., Guerra, E., Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Varro, D., Varr\u00f3-Gyapay, S.: Model transformation by graph transformation: A comparative study. In: Proceedings Workshop Model Transformation in Practice, Montego Bay, Jamaica, pp. 1\u201348 (2005)"},{"issue":"3","key":"665_CR10","first-page":"1","volume":"15","author":"S Hidaka","year":"2015","unstructured":"Hidaka, S., Tisi, M., Cabot, J., Hu, Z.: Feature-based classification of bidirectional transformation approaches. Softw. Syst. Model. 15(3), 1\u201322 (2015)","journal-title":"Softw. Syst. Model."},{"key":"665_CR11","doi-asserted-by":"crossref","unstructured":"Gomes, C., Barroca, B., Amaral, V.: Classification of model transformation tools: pattern matching techniques, pp. 619\u2013635 (2014)","DOI":"10.1007\/978-3-319-11653-2_38"},{"key":"665_CR12","unstructured":"Biehl, M.: Literature study on model transformations. In: Royal Institute of Technology, pp. 1\u201324 (2010)"},{"key":"665_CR13","unstructured":"Mesa, J.\u00a0M.\u00a0V.: M2DAT: A technical solution for model-driven development of web information systems.Ph.D. thesis, University of Rey Juan Carlos (2009)"},{"key":"665_CR14","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MS.2008.12","volume":"1","author":"A Uhl","year":"2008","unstructured":"Uhl, A.: Model-driven development in the enterprise. IEEE Softw. 1, 46\u201349 (2008)","journal-title":"IEEE Softw."},{"key":"665_CR15","unstructured":"Huber, P.: The model transformation language jungle: An evaluation and extension of existing approaches. In: Master thesis, University of Vienna (2008)"},{"key":"665_CR16","unstructured":"Rothenberg, J., Widman, L., Loparo, K., Nielsen, N.: The nature of modeling, pp. 1\u201318 (1989)"},{"issue":"1","key":"665_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00441ED1V01Y201208SWE001","volume":"1","author":"M Brambilla","year":"2012","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-driven software engineering in practice. Synth. Lect. Softw. Eng. 1(1), 1\u2013182 (2012)","journal-title":"Synth. Lect. Softw. Eng."},{"key":"665_CR18","unstructured":"Unified Modeling Language (UML) http:\/\/www.uml.org . Accessed 16 Feb 2018"},{"key":"665_CR19","unstructured":"Aers, K.: Graphiti and GMF compared: revisiting the graph editor. In: EclipseCon 2011, Santa Clara, California (2011)"},{"key":"665_CR20","doi-asserted-by":"crossref","unstructured":"Viyovi\u0107, V., Maksimovi\u0107, M., Perisi\u0107, B.: Sirius: A rapid development of DSM graphical editor. In: IEEE 18th International Conference on Intelligent Engineering Systems, pp. 233\u2013238 (2014)","DOI":"10.1109\/INES.2014.6909375"},{"key":"665_CR21","unstructured":"Efftinge, S., V\u00f6lter, M.: oAW xText: A framework for textual DSLs. In: Workshop on Modeling Symposium at Eclipse Summit, pp. 118\u2013121 (2006)"},{"issue":"9","key":"665_CR22","doi-asserted-by":"publisher","first-page":"127","DOI":"10.5381\/jot.2007.6.9.a7","volume":"6","author":"J Henriksson","year":"2007","unstructured":"Henriksson, J., Johannes, J., Zschaler, S., Asmann, U.: Reuseware-adding modularity to your language of choice. J. Object Technol. 6(9), 127\u2013146 (2007)","journal-title":"J. Object Technol."},{"key":"665_CR23","unstructured":"Kleppe, A.: A language description is more than a metamodel. In: Fourth International Workshop on Software Language Engineering, pp. 1\u20139 (2007)"},{"key":"665_CR24","unstructured":"ArcStyler: The leading platform for model driven architecture (MDA) http:\/\/www.omg.org\/mda\/mda_files\/ArcStyler5_Whitepaper_220205.pdf . Accessed 16 Feb 2018"},{"key":"665_CR25","unstructured":"Patrascoiu, O.: YATL: yet another transformation language-reference manual version 1.0. In: Technical Report No. 2-04 (2004)"},{"key":"665_CR26","unstructured":"Codagen Architect http:\/\/www.omg.org\/mda\/mda_files\/codagen_technologies.htm . Accessed 20 Feb 2018"},{"key":"665_CR27","unstructured":"OptimalJ http:\/\/www.compuware.com . Accessed 16 Feb 2018"},{"key":"665_CR28","doi-asserted-by":"crossref","unstructured":"Biermann, E., Ehrig, K., K\u00f6hler, C., Kuhns, G., Taentzer, G., Weiss, E.: Graphical definition of in-place transformations in the eclipse modeling framework. In: Proceeding of the International Conference on Model Driven Engineering Languages and Systems (MoDELS06) 425439 (2006)","DOI":"10.1007\/11880240_30"},{"key":"665_CR29","unstructured":"FUUT-je http:\/\/www.eclipse.org\/gmt\/ . Accessed 01 May 2017"},{"key":"665_CR30","unstructured":"Boronat, A.: MOMENT: a formal framework for MOdel manageMENT, In: Ph.D. thesis in Computer Science, University of Polit\u00e9cnica de Val\u00e9ncia, pp. 1\u2013287 (2007)"},{"key":"665_CR31","unstructured":"S\u00e1nchez-Barbudo, A., S\u00e1nchez, E., Rold\u00e1n, V., Est\u00e9vez, A., Roda, J.: Providing an open virtual-machine-based QVT implementation. In: Proceedings of the V Workshop on Model-Driven Software Development, pp. 42\u201351 (2008)"},{"key":"665_CR32","unstructured":"b+m ArchitectureWare http:\/\/www.omg.org\/mda\/mda_files\/b+m_OMGCommittment.pdf . Accessed 16 Feb 2018"},{"key":"665_CR33","doi-asserted-by":"crossref","unstructured":"Gerber, A., Lawley, M., Raymond, K., Steel, J., Wood, A.: Transformation: the missing link of MDA. In: Graph Transformation, pp. 90\u2013105 (2002)","DOI":"10.1007\/3-540-45832-8_9"},{"key":"665_CR34","unstructured":"QVTd https:\/\/projects.eclipse.org\/projects\/modeling.mmt.qvtd . Accessed 16 Feb 2018"},{"key":"665_CR35","unstructured":"Vlad, A., St\u00f6rrle, H., Str\u00fcber, D.: VMTL: A language for end-user model transformation. In: Software and Systems Modeling, pp. 1\u201329 (2016)"},{"key":"665_CR36","first-page":"501","volume-title":"Webratio 5: An Eclipse-based case tool for engineering web applications","author":"R Acerbis","year":"2007","unstructured":"Acerbis, R., Bongio, A., Brambilla, M., Butti, S.: Webratio 5: An Eclipse-based case tool for engineering web applications, pp. 501\u2013505. In. In Web, Engineering (2007)"},{"key":"665_CR37","unstructured":"UMT http:\/\/umt-qvt.sourceforge.net\/ . Accessed 16 Feb 2018"},{"issue":"7","key":"665_CR38","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1016\/j.scico.2009.02.007","volume":"74","author":"C Roy","year":"2009","unstructured":"Roy, C., Cordy, J., Koschke, R.: Comparison and evaluation of code clone detection techniques and tools: a qualitative approach. Sci. Comput. Program. 74(7), 470\u2013495 (2009)","journal-title":"Sci. Comput. Program."},{"key":"665_CR39","doi-asserted-by":"crossref","unstructured":"Kastenberg, H., Rensink, A.: Model checking dynamic states in GROOVE. In: International SPIN Workshop on Model Checking of Software, McGill University, pp. 299\u2013305 (2006)","DOI":"10.1007\/11691617_19"},{"key":"665_CR40","doi-asserted-by":"crossref","unstructured":"Bruneliere, H., Cabot, J., Jouault, F., Madiot, F.: MoDisco: A generic and extensible framework for model driven reverse engineering. In: Proceedings of the IEEE\/ACM International Conference on Automated software engineering, pp. 173\u2013174 (2010)","DOI":"10.1145\/1858996.1859032"},{"key":"665_CR41","doi-asserted-by":"crossref","unstructured":"Lano, K., Kolahdouz-Rahimi, S.: Specification and verification of model transformations using UML-RSDS, pp. 199\u2013214 (2010)","DOI":"10.1007\/978-3-642-16265-7_15"},{"key":"665_CR42","doi-asserted-by":"crossref","unstructured":"Lawley, M., Steel, J.: Practical declarative model transformation with Tefkat, pp. 139\u2013150 (2006)","DOI":"10.1007\/11663430_15"},{"key":"665_CR43","doi-asserted-by":"crossref","unstructured":"Romina, E., Pierantonio, A., Rosa, G.: Managing uncertainty in bidirectional model transformations, in: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, pp. 49\u201358 (2015)","DOI":"10.1145\/2814251.2814259"},{"key":"665_CR44","unstructured":"Almendros-Jim\u00e9nez, J.\u00a0M., Iribarne, L., L\u00f3pez-Fern\u00e1ndez, J., Mora-Segura, A.: PTL: A model transformation language based on logic programming. In: Journal of Logical and Algebraic Methods in Programming, pp. 89\u2013105 (2015)"},{"key":"665_CR45","doi-asserted-by":"crossref","unstructured":"Bonde, L., Dumoulin, C., Dekeyser, J.: Metamodels and MDA transformations for embedded systems. In: Advances in Design and Specification Languages for SoCs, pp. 89\u2013105 (2005)","DOI":"10.1007\/0-387-26151-6_8"},{"key":"665_CR46","doi-asserted-by":"crossref","unstructured":"Macedo, N., Cunha, A.: Implementing QVT-R bidirectional model transformations using Alloy. In: Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, pp. 297\u2013311 (2013)","DOI":"10.1007\/978-3-642-37057-1_22"},{"key":"665_CR47","doi-asserted-by":"crossref","unstructured":"Li, D., Li, X., Stolz, V.: QVT-based model transformation using XSLT. In: SIGSOFT Software Engineering Notes, pp. 1\u20138 (2011)","DOI":"10.1145\/1921532.1921563"},{"key":"665_CR48","unstructured":"Reddy, S., Venkatesh, R., Ansari, Z.: A relational approach to model transformation using QVT relations. In: TATA Research Development and Design Centre, pp. 1\u201315 (2006)"},{"key":"665_CR49","unstructured":"medini QVT http:\/\/projects.ikv.de\/qvt\/wiki . Accessed 16 Feb 2018"},{"key":"665_CR50","doi-asserted-by":"crossref","unstructured":"Sch\u00e4tz, B.: Formalization and rule-based transformation of EMF Ecore-based models, pp. 227\u2013244 (2009)","DOI":"10.1007\/978-3-642-00434-6_15"},{"key":"665_CR51","unstructured":"Paige, R., Radjenovic, A.: Towards model transformation with TXL. In: Metamodelling for MDA, pp. 162\u2013177 (2003)"},{"key":"665_CR52","unstructured":"ModelAnt http:\/\/mdatools.net\/blog\/modelant . Accessed 16 Feb 2018"},{"key":"665_CR53","unstructured":"Xtend https:\/\/eclipse.org\/xtend\/index.html"},{"key":"665_CR54","first-page":"1","volume":"1080","author":"S Kelly","year":"1996","unstructured":"Kelly, S., Lyytinen, K., Rossi, M.: Metaedit+ a fully configurable multi-user and multi-tool case and came environment. Adv. Inf. Syst. Eng. 1080, 1\u201321 (1996)","journal-title":"Adv. Inf. Syst. Eng."},{"key":"665_CR55","unstructured":"Gerking, C., Heinzemann, C.: Solving the movie database case with QVTo. In: TTC, pp. 98\u2013102 (2014)"},{"key":"665_CR56","unstructured":"Drey, Z., Faucher, C., Fleurey, F., Mah\u00e9, V., Vojtisek, D.: Kermeta language reference manual, pp. 1\u201384 (2010)"},{"key":"665_CR57","unstructured":"Modelio http:\/\/www.modeliosoft.com . Accessed 16 Feb 2018"},{"key":"665_CR58","doi-asserted-by":"crossref","unstructured":"Forward, A., Lethbridge, T., Brestovansky, D.: Improving program comprehension by enhancing program constructs: An analysis of the Umple language. In: ICPC, pp. 311\u2013312 (2009)","DOI":"10.1109\/ICPC.2009.5090073"},{"key":"665_CR59","doi-asserted-by":"crossref","unstructured":"Degueule, T., Combemale, B., Blouin, A., Barais, O., J\u00e9z\u00e9quel, J.: Melange: A meta-language for modular and reusable development of DSLs. In: 8th International Conference on Software Language Engineering (SLE), pp. 65\u201375 (2015)","DOI":"10.1145\/2814251.2814252"},{"key":"665_CR60","unstructured":"MagicDraw http:\/\/www.nomagic.com . Accessed 16 Feb 2018"},{"key":"665_CR61","unstructured":"Jamda http:\/\/jamda.sourceforge.net\/#documentation"},{"key":"665_CR62","unstructured":"SmartQVT https:\/\/sourceforge.net\/projects\/smartqvt . Accessed 16 Feb 2018"},{"key":"665_CR63","unstructured":"SiTra http:\/\/www.cs.bham.ac.uk\/~bxb\/Sitra\/index.html . Accessed 16 Feb 2018"},{"key":"665_CR64","unstructured":"Pilgrim, J.V.: Computerunterst\u00fctzte Modelltransformationen. Ph.D. thesis in Computer Science, Fernuniversit\u00e4t Hagen (2010)"},{"key":"665_CR65","unstructured":"JQVT https:\/\/sourceforge.net\/projects\/jqvt\/ . Accessed 16 Feb 2018"},{"key":"665_CR66","unstructured":"Merlin https:\/\/sourceforge.net\/projects\/merlingenerator\/?source=navbar . Accessed 16 Feb 2018"},{"key":"665_CR67","unstructured":"Together http:\/\/www.borland.com\/Products\/Requirements-Management\/Together . Accessed 16 Feb 2018"},{"key":"665_CR68","unstructured":"MOFScript https:\/\/marketplace.eclipse.org\/content\/mofscript-model-transformation-tool . Accessed 16 Feb 2018"},{"key":"665_CR69","doi-asserted-by":"crossref","unstructured":"Rensink, A.: The GROOVE simulator: a tool for state space generation. In: Applications of Graph Transformations with Industrial Relevance, pp. 479\u2013485 (2004)","DOI":"10.1007\/978-3-540-25959-6_40"},{"key":"665_CR70","unstructured":"Willink, E.\u00a0D.: UMLX: A graphical transformation language for MDA. In: Proceedings of the Workshop on Model Driven Architecture: Foundations and Applications, pp. 13\u201324 (2003)"},{"key":"665_CR71","doi-asserted-by":"crossref","unstructured":"Lara, J., Vangheluwe, H.: AToM3: A tool for multi-formalism and meta-modelling. In: FASE, pp. 174\u2013188 (2002)","DOI":"10.1007\/3-540-45923-5_12"},{"key":"665_CR72","unstructured":"Syriani, E., Vangheluwe, H., Mannadiar, R., Hansen, C., Mierlo, S.\u00a0V., Ergin, H.: AToMPM: A web-based modeling environment. In: Demos\/Posters\/Student Research MoDELS, pp. 21\u201325 (2013)"},{"key":"665_CR73","first-page":"551","volume":"2","author":"C Ermel","year":"1999","unstructured":"Ermel, C., Rudolf, M., Taentzer, G.: The AGG approach: Language and environment. Appl. Lang. Tools. 2, 551\u2013603 (1999)","journal-title":"Appl. Lang. Tools."},{"key":"665_CR74","doi-asserted-by":"crossref","unstructured":"Braun, P., Marschall, F.: Transforming object oriented models with BOTL. In: Electronic Notes in Theoretical Computer Science, pp. 103\u2013117 (2003)","DOI":"10.1016\/S1571-0661(04)80615-7"},{"key":"665_CR75","doi-asserted-by":"crossref","unstructured":"Hidaka, S., Hu, Z., Inaba, K., Kato, H., Nakano, K.: GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. In: 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 480\u2013483 (2011)","DOI":"10.1109\/ASE.2011.6100104"},{"key":"665_CR76","doi-asserted-by":"crossref","unstructured":"Lauder, M., Anjorin, A., Varr\u00f3, G., Sch\u00fcrr, A.: Bidirectional model transformation with precedence triple graph grammars, pp. 287\u2013302 (2012)","DOI":"10.1007\/978-3-642-31491-9_22"},{"issue":"1","key":"665_CR77","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s10270-012-0247-y","volume":"13","author":"H Giese","year":"2014","unstructured":"Giese, H., Hildebrandt, S., Lambers, L.: Bridging the gap between formal semantics and implementation of triple graph grammars. Softw. Syst. Model. 13(1), 273\u2013299 (2014)","journal-title":"Softw. Syst. Model."},{"key":"665_CR78","unstructured":"GReAT http:\/\/www.isis.vanderbilt.edu\/tools\/great . Accessed 16 Feb 2018"},{"key":"665_CR79","doi-asserted-by":"crossref","unstructured":"Greenyer, J., Kindler, E.: Reconciling TGGs with QVT. In: Model Driven Engineering Languages and Systems, pp. 16\u201330 (2007)","DOI":"10.1007\/978-3-540-75209-7_2"},{"key":"665_CR80","unstructured":"Fleck, M., Troya, J., Wimmer, M.: Marrying search-based optimization and model transformation technology. In: Proceedings of the First North American Search Based Software Engineering Symposium, pp. 1\u201316 (2015)"},{"key":"665_CR81","unstructured":"Klassen, L., Wagner, R.: EMorF-A tool for model transformations. In: Electronic Communications of the EASST, pp. 1\u20136 (2012)"},{"key":"665_CR82","unstructured":"Barroca, B., L\u00facio, L., Amaral, V., F\u00e9lix, R., Sou, V.: Dsltrans: A Turing incomplete transformation language. In: Software Language Engineering, 29630 (2011)"},{"key":"665_CR83","unstructured":"Gorp, G.\u00a0V.: Model-driven development of model transformations. Ph.D. thesis, University of Antwerp (2008)"},{"issue":"3","key":"665_CR84","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214\u2013234 (2007)","journal-title":"Sci. Comput. Program."},{"key":"665_CR85","doi-asserted-by":"crossref","unstructured":"Cuadrado, J.: Towards a family of model transformation languages, pp. 176\u2013191 (2012)","DOI":"10.1007\/978-3-642-30476-7_12"},{"key":"665_CR86","doi-asserted-by":"crossref","unstructured":"Kolovos, D., Paige, R., Polack, F.: The Epsilon transformation language. In: Theory and Practice of Model Transformations, pp. 46\u201360 (2008)","DOI":"10.1007\/978-3-540-69927-9_4"},{"key":"665_CR87","doi-asserted-by":"crossref","unstructured":"Cuadrado, J., Molina, J., Tortosa, M.: Rubytl: A practical, extensible transformation language. In: Model Driven Architecture-Foundations and Application, pp. 158\u2013172 (2006)","DOI":"10.1007\/11787044_13"},{"key":"665_CR88","doi-asserted-by":"crossref","unstructured":"Levendovszky, T., Lengyel, L., Mezei, G., Charaf, H.: A systematic approach to metamodeling environments and model transformation systems in VMTS. In: Electronic Notes in Theoretical Computer Science, pp. 65\u201375 (2005)","DOI":"10.1016\/j.entcs.2004.12.040"},{"key":"665_CR89","doi-asserted-by":"crossref","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A model transformation tool. In: Science of Computer Programming, pp. 31\u201339 (2008)","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"665_CR90","doi-asserted-by":"crossref","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: The FUJABA environment. In: Proceedings of the 22nd International Conference on Software Engineering, pp. 742\u2013745 (2000)","DOI":"10.1145\/337180.337620"},{"key":"665_CR91","doi-asserted-by":"crossref","unstructured":"Jakumeit, E., Buchwald, S., Kroll, M.: Grgen.net: The expressive, convenient and fast graph rewrite system. In: International Journal on Software Tools for Technology Transfer, pp. 263\u2013271 (2010)","DOI":"10.1007\/s10009-010-0148-8"},{"key":"665_CR92","doi-asserted-by":"crossref","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced concepts and tools for in-place EMF model transformations. In: Model Driven Engineering Languages and Systems, pp. 121\u2013135 (2010)","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"665_CR93","unstructured":"Blu Age http:\/\/www.bluage.com\/en\/en_home.html . Accessed 16 Feb 2018"},{"key":"665_CR94","doi-asserted-by":"crossref","unstructured":"Kalnins, A., Barzdins, J., Celms, E.: Model transformation language MOLA. In: Model Driven Architecture, pp. 62\u201376 (2005)","DOI":"10.1007\/11538097_5"},{"key":"665_CR95","unstructured":"Enterprise Architect http:\/\/www.sparxsystems.com . Accessed 16 Feb 2018"},{"key":"665_CR96","unstructured":"MDWorkbench http:\/\/sodius.com\/products-overview\/mdworkbench . Accessed 16 Feb 2018"},{"key":"665_CR97","unstructured":"Brun, C., Pierantonio, A.: Model differences in the Eclipse modeling framework. In: The European Journal for the Informatics Professional, pp. 29\u201334 (2008)"},{"key":"665_CR98","unstructured":"AndroMDA http:\/\/andromda.sourceforge.net . Accessed 16 Feb 2018"},{"key":"665_CR99","unstructured":"Xpand https:\/\/eclipse.org\/modeling\/m2t\/?project=xpand . Accessed 16 Feb 2018"},{"issue":"9","key":"665_CR100","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/s10270-016-0530-4","volume":"15","author":"D Varr\u00f3","year":"2016","unstructured":"Varr\u00f3, D., Heged\u00fcs, G.B.A., Horv\u00e1th, A., R\u00e1th, I., Ujhelyi, Z.: Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Softw. Syst. Model. 15(9), 609\u2013629 (2016)","journal-title":"Softw. Syst. Model."},{"key":"665_CR101","unstructured":"Actifsource, http:\/\/www.actifsource.com . Accessed 16 Feb 2018"},{"key":"665_CR102","unstructured":"Query\/views\/transformation language (QVT) http:\/\/www.omg.org\/spec\/QVT . Accessed 16 Feb 2018"},{"issue":"1","key":"665_CR103","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6423(98)00023-9","volume":"31","author":"M Andries","year":"1999","unstructured":"Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.J., Kuske, S., Plump, D., Sch\u00fcrr, A., Taentzer, G.: Graph transformation for specification and programming. Sci. Comput. Program. 31(1), 1\u201354 (1999)","journal-title":"Sci. Comput. Program."},{"key":"665_CR104","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Graph-Theoretic Concepts in Computer Science, pp. 151\u2013163 (1995)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"665_CR105","unstructured":"Roser, S., Lautenbacher, F., Bauer, B.: Generation of workflow code from DSMs. In: Proceedings of the 7th OOPSLA Workshop on Domain-Specific Modeling, pp. 1\u201311 (2007)"},{"key":"665_CR106","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0267-3649(00)88906-2","volume":"16","author":"H Pearson","year":"2000","unstructured":"Pearson, H.: Open source licences: open source\u2013the death of proprietary systems? Comput. Law Secur. Rev. 16, 151\u2013156 (2000)","journal-title":"Comput. Law Secur. Rev."},{"key":"665_CR107","doi-asserted-by":"crossref","unstructured":"Eramo, R., Marinelli, R., Pierantonio, A.: Towards a taxonomy for bidirectional transformation. In: SATToSE, pp. 122\u2013131 (2014)","DOI":"10.1145\/2593770.2593772"},{"key":"665_CR108","doi-asserted-by":"crossref","unstructured":"Kahani, N., Bagherzadeh, M., Dingel, J., Cordy, J.: The problems with Eclipse modeling tools: a topic analysis of eclipse forums. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, pp. 227\u2013237 (2016)","DOI":"10.1145\/2976767.2976773"},{"key":"665_CR109","doi-asserted-by":"crossref","unstructured":"Ahmad, M., Bruel, J., Laleau, R., Gnaho, C.: Using RELAX SysML and KAOS for ambient systems requirements modeling. In: Procedia Computer Science, pp. 474\u2013481 (2012)","DOI":"10.1016\/j.procs.2012.06.061"},{"key":"665_CR110","unstructured":"xtUML https:\/\/xtuml.org . Accessed 16 Feb 2018"},{"key":"665_CR111","doi-asserted-by":"crossref","unstructured":"Kahani, N., Hili, N., Cordy, J., Dingel, J.: Evaluation of UML-RT and Papyrus-RT for modelling self-adaptive systems. In: Proceedings of the 9th International Workshop on Modelling in Software Engineering, pp. 12\u201318 (2017)","DOI":"10.1109\/MiSE.2017.4"},{"key":"665_CR112","unstructured":"Peterson, J.: Petri Net theory and the modeling of systems. In: Prentice Hall PTR (1981)"},{"key":"665_CR113","unstructured":"Business Process Model and Notation (BPMN) http:\/\/www.bpmn.org . Accessed 16 Feb 2018"},{"key":"665_CR114","unstructured":"Meta-Object Facility (MOF) http:\/\/www.omg.org\/mof . Accessed 16 Feb 2018"},{"key":"665_CR115","unstructured":"Eclipse Modeling Framework (EMF) https:\/\/eclipse.org\/modeling\/emf . Accessed 16 Feb 2018"},{"key":"665_CR116","unstructured":"Kernel Meta-Meta Model (KM3) https:\/\/wiki.eclipse.org\/KM3 . Accessed 16 Feb 2018"},{"key":"665_CR117","doi-asserted-by":"crossref","unstructured":"Stephan, M., Cordy, J.: A survey of model comparison approaches and applications. In: Modelsward, pp. 265\u2013277 (2013)","DOI":"10.5220\/0004311102650277"},{"key":"665_CR118","doi-asserted-by":"crossref","unstructured":"Bergmann, G.: Translating ocl to graph patterns, pp. 670\u2013686 (2014)","DOI":"10.1007\/978-3-319-11653-2_41"},{"key":"665_CR119","doi-asserted-by":"crossref","unstructured":"Cetinkaya, D., Verbraeck, A.: Metamodeling and model transformations in modeling and simulation. In: Proceedings of the Winter Simulation Conference, pp. 3048\u20133058 (2011)","DOI":"10.1109\/WSC.2011.6148005"},{"key":"665_CR120","unstructured":"CDO http:\/\/eclipse.org\/cdo . Accessed 16 Feb 2018"},{"key":"665_CR121","doi-asserted-by":"crossref","unstructured":"Blanc, X., Gervais, M., Sriplakich, P.: Model bus: Towards the interoperability of modelling tools. In: Model Driven Architecture, pp. 17\u201332 (2005)","DOI":"10.1007\/11538097_2"},{"key":"665_CR122","unstructured":"EMFStore http:\/\/eclipse.org\/emfstore . Accessed 16 Feb 2018"},{"key":"665_CR123","doi-asserted-by":"crossref","unstructured":"Benelallam, A., G\u00f3mez, A., Suny\u00e9, G., Tisi, M., Launay, D.: Neo4EMF, a scalable persistence layer for EMF models. In: European Conference on Modelling Foundations and Applications, pp. 230\u2013241 (2014)","DOI":"10.1007\/978-3-319-09195-2_15"},{"key":"665_CR124","unstructured":"NetBeans Meta-data Repository (MDR) https:\/\/netbeans.org . Accessed 16 Feb 2018"},{"key":"665_CR125","unstructured":"Canonical XMI http:\/\/www.omg.org\/spec\/XMI\/2.5.1 . Accessed 16 Feb 2018"},{"key":"665_CR126","unstructured":"Human Usable Textual Notation (HUTN) http:\/\/www.omg.org\/spec\/HUTN . Accessed 16 Feb 2018"},{"key":"665_CR127","unstructured":"Java Meta-data Interface (JMI) http:\/\/download.oracle.com\/otn-pub\/jcp\/7791-jmi-1.0-prd-spec-oth-JSpec\/jmi-1_0-prd-spec-update.pdf . Accessed 16 Feb 2018"},{"key":"665_CR128","unstructured":"Diagram Definition Specification (DD) http:\/\/www.omg.org\/spec\/DD . Accessed 16 Feb 2018"},{"key":"665_CR129","unstructured":"MOF model to text transformation language http:\/\/www.omg.org\/spec\/MOFM2T . Accessed 16 Feb 2018"},{"key":"665_CR130","unstructured":"Common Warehouse Meta-model (CWM) http:\/\/www.omg.org\/spec\/CWM . Accessed 16 Feb 2018"},{"key":"665_CR131","unstructured":"Object Constraint Language, http:\/\/www.omg.org\/spec\/OCL . Accessed 16 Feb 2018"},{"key":"665_CR132","unstructured":"Sendall, S., K\u00fcster, J.: Taming model round-trip engineering. In: Proceedings of Workshop on Best Practices for Model-Driven Software Development, pp. 1\u201313 (2004)"},{"key":"665_CR133","doi-asserted-by":"crossref","unstructured":"Hettel, T., Lawley, M., Raymond, K.: Model synchronisation: Definitions for round-trip engineering, in: International Conference on Theory and Practice of Model Transformations, pp. 31\u201345 (2008)","DOI":"10.1007\/978-3-540-69927-9_3"},{"key":"665_CR134","unstructured":"Syriani, E.: A multi-paradigm foundation for model transformation language engineering. Ph.D. thesis in Computer Science, McGill University, pp. 1\u2013291 (2011)"},{"key":"665_CR135","doi-asserted-by":"crossref","unstructured":"Cuadrado, J.\u00a0S., Molina, J.\u00a0G.: A phasing mechanism for model transformation languages. In: Proceedings of the 2007 ACM Symposium on Applied Computing, SAC \u201907 (2007)","DOI":"10.1145\/1244002.1244223"},{"key":"665_CR136","unstructured":"Jilani, A., Usman, M., Halim, Z.: Model transformations in model driven architecture. In: Universal Journal of Computer Science and Engineering Technology, pp. 50\u201354 (2010)"},{"key":"665_CR137","unstructured":"Hildebrandt, S., Lambers, L., Giese, H., Rieke, J., Greenyer, J., Sch\u00e4fer, W., Lauder, M., Anjorin, A., Sch\u00fcrr, A.: A survey of triple graph grammar tools. In: International Workshop on Bidirectional Transformations (Bx), pp. 1\u201317 (2013)"},{"key":"665_CR138","doi-asserted-by":"crossref","unstructured":"Stevens, P.: A landscape of bidirectional model transformations. Gener. Transform. Tech. Softw. Eng. II, 408\u2013424 (2008)","DOI":"10.1007\/978-3-540-88643-3_10"},{"key":"665_CR139","unstructured":"Macedo, N., Cunha, A., Pacheco, H.: Towards a framework for multidirectional model transformations. In: EDBT\/ICDT Workshops, pp. 71\u201374 (2014)"},{"key":"665_CR140","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Foster, J.N., Hu, Z., L\u00e4mmel, Sch\u00fcrr, A., Terwilliger, J.F.: Bidirectional transformations: a cross-discipline perspective, pp. 260\u2013283 (2009)","DOI":"10.1007\/978-3-642-02408-5_19"},{"key":"665_CR141","unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A., Hildebrandt, S., Rieke, J., Greenyer, J.: A comparison of incremental triple graph grammar tools. In: Electronic Communications of the EASST, pp. 1\u201315 (2014)"},{"issue":"3","key":"665_CR142","doi-asserted-by":"publisher","first-page":"921","DOI":"10.5381\/jot.2015.14.3.a1","volume":"14","author":"M Amrani","year":"2015","unstructured":"Amrani, M., Combemale, B., L\u00facio, L., Selim, G.M.K., Dingel, J., Traon, Y.L., Vangheluwe, H., Cordy, J.R.: Formal verification techniques for model transformations: a tridimensional classification. J. Object Technol. 14(3), 921\u2013928 (2015)","journal-title":"J. Object Technol."},{"key":"665_CR143","unstructured":"Varr\u00f3, D., Pataricza, A.: Automated formal verification of model transformations. In: CSDUML, pp. 63\u201378 (2003)"},{"key":"665_CR144","doi-asserted-by":"crossref","unstructured":"Asztalos, M., Lengyel, L., Levendovszky, T.: Towards automated, formal verification of model transformations. In: Proceedings of the Third International Conference on Software Testing, Verification and Validation, ICST \u201910, pp. 15\u201324 (2010)","DOI":"10.1109\/ICST.2010.42"},{"issue":"2","key":"665_CR145","first-page":"233","volume":"6","author":"K Lano","year":"2012","unstructured":"Lano, K., Kolahdouz-Rahimi, S., Poernomo, I.: Comparative evaluation of model transformation specification approaches. Int. J. Softw. Inform. 6(2), 233\u2013269 (2012)","journal-title":"Int. J. Softw. Inform."},{"issue":"2","key":"665_CR146","doi-asserted-by":"publisher","first-page":"219","DOI":"10.2307\/2269811","volume":"31","author":"PK Hooper","year":"1966","unstructured":"Hooper, P.K.: The undecidability of the Turing machine immortality problem. J. Symbol. Logic 31(2), 219\u2013234 (1966)","journal-title":"J. Symbol. Logic"},{"issue":"4","key":"665_CR147","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1145\/363911.363914","volume":"22","author":"U Assmann","year":"2000","unstructured":"Assmann, U.: Graph rewrite systems for program optimization. ACM Trans. Program. Lang. Syst. (TOPLAS) 22(4), 583\u2013637 (2000)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"665_CR148","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Varr\u00f3-Gyapay, S., Ehrig, H., Prange, U., Taentzer, G.: Termination analysis of model transformations by Petri Nets. In: Graph Transformations, pp. 260\u2013274 (2006)","DOI":"10.1007\/11841883_19"},{"key":"665_CR149","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Ehrig, K., Lara, J., Taentzer, G., Varr\u00f3, D., Varr\u00f3-Gyapay, S.: Termination criteria for model transformation. In: International Conference on Fundamental Approaches to Software Engineering, pp. 49\u201363 (2005)","DOI":"10.1007\/978-3-540-31984-9_5"},{"key":"665_CR150","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: International Conference on Model Driven Engineering Languages and Systems, Springer, pp. 128\u2013138 (2005)","DOI":"10.1007\/11663430_14"},{"issue":"2","key":"665_CR151","doi-asserted-by":"publisher","first-page":"1003","DOI":"10.1007\/s10270-013-0358-0","volume":"14","author":"L Rahim","year":"2015","unstructured":"Rahim, L., Whittle, J.: A survey of approaches for verifying model transformations. Softw. Syst. Model. 14(2), 1003\u20131028 (2015)","journal-title":"Softw. Syst. Model."},{"key":"665_CR152","doi-asserted-by":"crossref","unstructured":"Rensink, A., Schmidt, \u00c1., Varr\u00f3, D.: Model checking graph transformations: a comparison of two approaches. In: ICGT, pp. 226\u2013241 (2004)","DOI":"10.1007\/978-3-540-30203-2_17"},{"key":"665_CR153","doi-asserted-by":"crossref","unstructured":"Kastenberg, H., Rensink, A.: Model checking dynamic states in GROOVE. In: Model Checking Software, pp. 299\u2013305 (2006)","DOI":"10.1007\/11691617_19"},{"key":"665_CR154","doi-asserted-by":"crossref","unstructured":"Fleurey, F., Steel, J., Baudry, B.: Validation in model-driven engineering: Testing model transformations. In: First International Workshop on Model, Design and Validation, pp. 29\u201340 (2004)","DOI":"10.1109\/MODEVA.2004.1425846"},{"key":"665_CR155","doi-asserted-by":"crossref","unstructured":"Auzi\u0146\u0161, A., B\u00e3rzdi\u0146\u0161, J., Bi\u010devskis, J., \u010cer\u00e3ns, K., Kalni\u0146\u0161, A.: Automatic construction of test sets: theoretical approach. In: Baltic Computer Science, pp. 286\u2013359 (1991)","DOI":"10.1007\/BFb0019362"},{"key":"665_CR156","unstructured":"Sch\u00e4tz, B.: Verification of model transformations. In: Electronic Communications of the EASST, pp. 1\u201314 (2010)"},{"issue":"7","key":"665_CR157","first-page":"25","volume":"10","author":"R France","year":"1997","unstructured":"France, R., Bruel, J., LarrondoPetrie, M.: An integrated object-oriented and formal modeling environment. Object-Oriented Program. 10(7), 25 (1997)","journal-title":"Object-Oriented Program."},{"issue":"4","key":"665_CR158","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/s10270-009-0145-0","volume":"9","author":"S Winkler","year":"2010","unstructured":"Winkler, S., Pilgrim, J.: A survey of traceability in requirements engineering and model-driven development. Softw. Syst. Model. (SoSyM) 9(4), 529\u2013565 (2010)","journal-title":"Softw. Syst. Model. (SoSyM)"},{"key":"665_CR159","doi-asserted-by":"crossref","unstructured":"Bergmayr, A., Troya, J., Wimmer, M.: From out-place transformation evolution to in-place model patching. In: Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering, 647pp. \u2013652 (2014)","DOI":"10.1145\/2642937.2642946"},{"key":"665_CR160","unstructured":"Klatt, B.: Xpand: A closer look at the model2text transformation language. In: Language (2007)"},{"key":"665_CR161","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., Bergmann, G., \u00d6kr\u00f6s, A., Varr\u00f3, D.: Live model transformations driven by incremental pattern matching. In: Theory and Practice of Model Transformations, pp. 107\u2013121 (2008)","DOI":"10.1007\/978-3-540-69927-9_8"},{"issue":"4","key":"665_CR162","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1016\/j.chb.2003.10.004","volume":"20","author":"F Calisir","year":"2004","unstructured":"Calisir, F., Calisir, F.: The relation of interface usability characteristics, perceived usefulness, and perceived ease of use to end-user satisfaction with enterprise resource planning (ERP) systems. Comput. Hum. Behav. 20(4), 505\u2013515 (2004)","journal-title":"Comput. Hum. Behav."},{"issue":"2","key":"665_CR163","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1016\/j.compedu.2009.01.014","volume":"53","author":"V Cho","year":"2009","unstructured":"Cho, V., Cheng, T.E., Lai, W.J.: The role of perceived user-interface design in continued usage intention of self-paced e-learning tools. Comput. Educ. 53(2), 216\u2013227 (2009)","journal-title":"Comput. Educ."},{"issue":"2","key":"665_CR164","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1080\/10447319509526114","volume":"7","author":"JMC Bastien","year":"1995","unstructured":"Bastien, J.M.C., Scapin, D.L.: Evaluating a user interface with ergonomic criteria. Int. J. Hum. Comput. Interact. 7(2), 105\u2013121 (1995)","journal-title":"Int. J. Hum. Comput. Interact."},{"key":"665_CR165","unstructured":"Kusel, A., Sch\u00f6nb\u00f6ck, J., Wimmer, M., Retschitzegger, W., Schwinger, W., Kappel, G.: Reality check for model transformation reuse: The ATL transformation zoo case study. In: AMT@MoDELS, pp. 1\u201311 (2013)"},{"key":"665_CR166","doi-asserted-by":"crossref","unstructured":"Louridas, P.: Version control software. In: IEEE Software, pp. 104\u2013107 (2006)","DOI":"10.1109\/MS.2006.32"},{"issue":"1","key":"665_CR167","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10270-008-0089-9","volume":"8","author":"H Giese","year":"2009","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. 8(1), 21\u201343 (2009)","journal-title":"Softw. Syst. Model."},{"key":"665_CR168","unstructured":"Gardner, T., Griffin, C., Koehler, J., Hauser, R.: A review of OMG MOF 2.0 query\/views\/transformations submissions and recommendations towards the final standard. In: MetaModelling for MDA Workshop, vol.\u00a013, p.\u00a041 (2003)"},{"key":"665_CR169","doi-asserted-by":"crossref","unstructured":"Abelein, U., Sharp, H., Paech, B.: Does involving users in software development really influence system success? In: IEEE Software, pp. 17\u201323 (2013)","DOI":"10.1109\/MS.2013.124"},{"key":"665_CR170","doi-asserted-by":"crossref","unstructured":"Jackson, E.\u00a0K., Schulte, W., Bjorner, N.: Detecting specification errors in declarative languages with constraints. In: International Conference on Model Driven Engineering Languages and Systems, pp. 399\u2013414 (2012)","DOI":"10.1007\/978-3-642-33666-9_26"},{"key":"665_CR171","doi-asserted-by":"crossref","unstructured":"Kainz, G.\u00a0G., Buckl, C., Knoll, A.: A generic approach simplifying model-to-model transformation chains. In: International Conference on Model Driven Engineering Languages and Systems, pp. 579\u2013594 (2012)","DOI":"10.1007\/978-3-642-33666-9_37"},{"key":"665_CR172","doi-asserted-by":"crossref","unstructured":"Cuadrado, J.\u00a0S., Guerra, E., de\u00a0Lara, J.: Quick fixing ATL model transformations. In: International Conference on Model Driven Engineering Languages and Systems, pp .146\u2013155 (2015)","DOI":"10.1109\/MODELS.2015.7338245"},{"key":"665_CR173","unstructured":"Dubois, C., Famelis, M., Gogolla, M., Nobrega, L., Ober, I., Seidl, M., V\u00f6lter, M.: Research questions for validation and verification in the context of model-based engineering. In: International Workshop on Model Driven Engineering, Verification and Validation (MoDeVVA), pp. 67\u201377 (2013)"},{"key":"665_CR174","doi-asserted-by":"crossref","unstructured":"Rivera, J.\u00a0E., Guerra, E., de\u00a0Lara, J., Vallecillo, A.: Analyzing rule-based behavioral semantics of visual modeling languages with Maude. In: Software Language Engineering, pp. 54\u201373 (2008)","DOI":"10.1007\/978-3-642-00434-6_5"},{"key":"665_CR175","doi-asserted-by":"crossref","unstructured":"Taentzer, G.: AGG: A graph transformation environment for modeling and validation of software. In: Lecture Notes in Computer Science, pp. 446\u2013453 (2003)","DOI":"10.1007\/978-3-540-25959-6_35"},{"key":"665_CR176","unstructured":"EMFcompare https:\/\/www.eclipse.org\/emf\/compare\/ . Accessed 16 Feb 2018"},{"key":"665_CR177","unstructured":"Eclipse EMF query https:\/\/projects.eclipse.org\/projects\/modeling.emf.query . Accessed 16 Feb 2018"},{"key":"665_CR178","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1016\/j.jss.2015.06.003","volume":"111","author":"Z Diskin","year":"2016","unstructured":"Diskin, Z., Gholizadeh, H., Wider, A., Czarnecki, K.: A three-dimensional taxonomy for bidirectional model synchronization. Syst. Softw. 111, 298\u2013322 (2016)","journal-title":"Syst. Softw."},{"key":"665_CR179","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D., Gei\u00df, R., Greenyer, J., Gorp, P., Kniemeyer, O., Narayanan, A., Rencis, E., Weinell, E.: Transformation of UML models to CSP: A case study for graph transformation tools. In: Applications of Graph Transformations with Industrial Relevance, pp. 540\u2013565 (2008)","DOI":"10.1007\/978-3-540-89020-1_36"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-0665-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-018-0665-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-0665-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T18:21:43Z","timestamp":1751480503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-018-0665-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,12]]},"references-count":179,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,8]]}},"alternative-id":["665"],"URL":"https:\/\/doi.org\/10.1007\/s10270-018-0665-6","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,12]]},"assertion":[{"value":"5 May 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 January 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 February 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 March 2018","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}