{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T15:15:38Z","timestamp":1773501338329,"version":"3.50.1"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,3,19]],"date-time":"2022-03-19T00:00:00Z","timestamp":1647648000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,3,19]],"date-time":"2022-03-19T00:00:00Z","timestamp":1647648000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2023,2]]},"DOI":"10.1007\/s10270-022-00989-z","type":"journal-article","created":{"date-parts":[[2022,3,19]],"date-time":"2022-03-19T06:02:51Z","timestamp":1647669771000},"page":"175-201","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A benchmark of incremental model transformation tools based on an industrial case study with AADL"],"prefix":"10.1007","volume":"22","author":[{"given":"Hana","family":"Mkaouar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominique","family":"Blouin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Etienne","family":"Borde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,3,19]]},"reference":[{"key":"989_CR1","unstructured":"Actifsource. http:\/\/www.actifsource.com\/. Accessed: 2021-04-10"},{"key":"989_CR2","unstructured":"Mdworkbench. https:\/\/www.sodiuswillert.com\/en\/products\/modeldev-tools\/mdworkbench. Accessed: 2021-04-10"},{"key":"989_CR3","unstructured":"Mote. https:\/\/www.hpi.uni-potsdam.de\/giese\/public\/mdelab\/mdelab-projects\/mote-a-tgg-based-model-transformation-engine\/. Accessed: 2021-04-10"},{"key":"989_CR4","unstructured":"Qvtd. https:\/\/projects.eclipse.org\/projects\/modeling.mmt.qvtd. Accessed: 2021-04-10"},{"key":"989_CR5","unstructured":"Viatra cps benchmark. https:\/\/github.com\/viatra\/viatra-cps-benchmark. Accessed: 2021-05-10"},{"key":"989_CR6","doi-asserted-by":"crossref","unstructured":"Anjorin, A., Buchmann, T., Westfechtel, B., Diskin, Z., Ko, H-.S., Eramo, R., Hinkel, G., Samimi-Dehkordi, L., Z\u00fcndorf, A.: Benchmarking bidirectional transformations: theory, implementation, application, and assessment. Software and Systems Modeling, pp. 1\u201345 (2019)","DOI":"10.1007\/s10270-019-00752-x"},{"key":"989_CR7","unstructured":"Anjorin, A., Lauder, M., Patzina, S., Sch\u00fcrr, A.: Emoflon: leveraging emf and professional case tools. In: GI-Jahrestagung, p. 281 (2011)"},{"key":"989_CR8","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: International Conference on Model Driven Engineering Languages and Systems, pp. 121\u2013135. Springer (2010)","DOI":"10.1007\/978-3-642-16145-2_9"},{"issue":"3","key":"989_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2904904","volume":"25","author":"I Baki","year":"2016","unstructured":"Baki, I., Sahraoui, H.: Multi-step learning and adaptive search for learning complex model transformations from examples. ACM Trans. Softw. Eng. Methodol. (TOSEM) 25(3), 1\u201337 (2016)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"989_CR10","unstructured":"Barisic, A., Amaral, V., Goulao, M., Aguiar, A.: Introducing usability concerns early in the DSL Development Cycle: FlowSL experience report. In: MD2P2@ MoDELS, pp. 8\u201317. Citeseer (2014)"},{"key":"989_CR11","unstructured":"Bergmann, G.: Incremental model queries in model-driven design (2013)"},{"key":"989_CR12","doi-asserted-by":"crossref","unstructured":"Bergmann, G., D\u00e1vid, I., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Ujhelyi, Z., Varr\u00f3, D.: Viatra 3: a reactive model transformation platform. In: International Conference on Theory and Practice of Model Transformations, pp. 101\u2013110. Springer (2015)","DOI":"10.1007\/978-3-319-21155-8_8"},{"key":"989_CR13","doi-asserted-by":"crossref","unstructured":"Bergmann, G., Horv\u00e1th, \u00c1., R\u00e1th, I., Varr\u00f3, D., Balogh, A., Balogh, Z., \u00d6kr\u00f6s, A.: Incremental evaluation of model queries over EMF models. In: International conference on model driven engineering languages and systems, pp. 76\u201390. Springer (2010)","DOI":"10.1007\/978-3-642-16145-2_6"},{"key":"989_CR14","unstructured":"Biehl, M.: Literature study on model transformations. Royal Institute of Technology, Tech. Rep. ISRN\/KTH\/MMK, 291 (2010)"},{"key":"989_CR15","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.scico.2015.03.003","volume":"106","author":"J-P Bodeveix","year":"2015","unstructured":"Bodeveix, J.-P., Filali, M., Garnacho, M., Spadotti, R., Yang, Z.: Towards a verified transformation from AADL to the formal component-based language FIACRE. Sci. Comput. Program. 106, 30\u201353 (2015)","journal-title":"Sci. Comput. Program."},{"key":"989_CR16","doi-asserted-by":"crossref","unstructured":"Borde, E., Rahmoun, S., Cadoret, F., Pautet, L., Singhoff, F., Dissaux, P.: Architecture models refinement for fine grain timing analysis of embedded systems. In: 2014 25nd IEEE International Symposium On Rapid System Prototyping, pp. 44\u201350. IEEE (2014)","DOI":"10.1109\/RSP.2014.6966691"},{"key":"989_CR17","doi-asserted-by":"crossref","unstructured":"Boronat, A.: Expressive and efficient model transformation with an internal dsl of xtend. In: Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 78\u201388 (2018)","DOI":"10.1145\/3239372.3239386"},{"key":"989_CR18","doi-asserted-by":"crossref","unstructured":"Boronat, A.: Incremental execution of rule-based model transformation. Int. J. Softw. Tools Technol. Transf, pp. 1\u201323 (2020)","DOI":"10.1007\/s10009-020-00583-y"},{"key":"989_CR19","unstructured":"Boydston, A., Feiler, P., Vestal, S., Lewis, B.: Architecture centric virtual integration process (ACVIP): a key component of the DoD digital engineering strategy. Technical report, Software Engineering Institute, (2019)"},{"issue":"2","key":"989_CR20","first-page":"29","volume":"9","author":"C Brun","year":"2008","unstructured":"Brun, C., Pierantonio, A.: Model differences in the eclipse modeling framework. UPGRADE Eur. J. Inf. Profess. 9(2), 29\u201334 (2008)","journal-title":"UPGRADE Eur. J. Inf. Profess."},{"issue":"1","key":"989_CR21","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10270-019-00773-6","volume":"19","author":"A Bucchiarone","year":"2020","unstructured":"Bucchiarone, A., Cabot, J., Paige, R..F., Pierantonio, A.: Grand challenges in model-driven engineering: an analysis of the state of the research. Softw. Syst. Model. 19(1), 5\u201313 (2020)","journal-title":"Softw. Syst. Model."},{"key":"989_CR22","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., D. Di\u00a0Ruscio, Eramo, R., Pierantonio, A.: Jtl: a bidirectional and change propagating transformation language. In: International Conference on Software Language Engineering, pp. 183\u2013202. Springer (2010)","DOI":"10.1007\/978-3-642-19440-5_11"},{"issue":"3","key":"989_CR23","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":"989_CR24","doi-asserted-by":"crossref","unstructured":"Debruyne, V., Simonot-Lion, F., Trinquet, Y.: East-adl\u2014an architecture description language. In: IFIP World Computer Congress, TC 2, pp. 181\u2013195. Springer (2004)","DOI":"10.1007\/0-387-24590-1_12"},{"key":"989_CR25","doi-asserted-by":"crossref","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story diagrams: a new graph rewrite language based on the unified modeling language and java. In: International Workshop on Theory and Application of Graph Transformations, pp. 296\u2013309. Springer (1998)","DOI":"10.1007\/978-3-540-46464-8_21"},{"key":"989_CR26","doi-asserted-by":"crossref","unstructured":"Forgy, C.L.: Rete: a fast algorithm for the many pattern\/many object pattern match problem. In: Readings in Artificial Intelligence and Databases, pp. 547\u2013559. Elsevier (1982)","DOI":"10.1016\/0004-3702(82)90020-0"},{"key":"989_CR27","doi-asserted-by":"crossref","unstructured":"Greenyer, J., Rieke, J.: Applying advanced tgg concepts for a complex transformation of sequence diagram specifications to timed game automata. In: International Symposium on Applications of Graph Transformations with Industrial Relevance, pp. 222\u2013237. Springer (2011)","DOI":"10.1007\/978-3-642-34176-2_19"},{"key":"989_CR28","unstructured":"Hause, M., et al.: The sysml modelling language. In: Fifteenth European Systems Engineering Conference, vol. 9, pp. 1\u201312 (2006)"},{"issue":"3","key":"989_CR29","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1007\/s10270-014-0450-0","volume":"15","author":"S Hidaka","year":"2016","unstructured":"Hidaka, S., Tisi, M., Cabot, J., Hu, Z.: Feature-based classification of bidirectional transformation approaches. Softw. Syst. Model. 15(3), 907\u2013928 (2016)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"989_CR30","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s10270-017-0578-9","volume":"18","author":"G Hinkel","year":"2019","unstructured":"Hinkel, G., Goldschmidt, T., Burger, E., Reussner, R.: Using internal domain-specific languages to inherit tool support and modularity for model transformations. Softw. Syst. Model. 18(1), 129\u2013155 (2019)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"989_CR31","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s10009-010-0148-8","volume":"12","author":"E Jakumeit","year":"2010","unstructured":"Jakumeit, E., Buchwald, S., Kroll, M.: Grgen. net. Int. J. Softw. Tools Technol. Transf. 12(3), 263\u2013271 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"989_CR32","doi-asserted-by":"crossref","unstructured":"Jakumeit, E., Buchwald, S., Wagelaar, D., Dan, L., \u00c1. Heged\u00fcs, M. Herrmannsd\u00f6rfer, Horn, T., Kalnina, E., Krause, C., Lano, K., et\u00a0al. (2014) A survey and comparison of transformation tools based on the transformation tool contest. Science of computer programming, 85:41\u201399","DOI":"10.1016\/j.scico.2013.10.009"},{"issue":"1\u20132","key":"989_CR33","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1\u20132), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"989_CR34","doi-asserted-by":"crossref","unstructured":"Kahani, N., Bagherzadeh, M., J. Cordy, R., Dingel, J., Varr\u00f3, D.: Survey and classification of model transformation tools. Softw. Syst. Model. 1\u201337 (2018)","DOI":"10.1007\/s10270-018-0665-6"},{"key":"989_CR35","unstructured":"Klassen, L., Wagner, R.: Emorf-a tool for model transformations. Electron. Commun. EASST, 54 (2012)"},{"key":"989_CR36","volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"AG Kleppe","year":"2003","unstructured":"Kleppe, A.G., Warmer, J., Warmer, J.B., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley Professional, Boston (2003)"},{"key":"989_CR37","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.: The epsilon transformation language. In: International Conference on Theory and Practice of Model Transformations, pp. 46\u201360. Springer (2008)","DOI":"10.1007\/978-3-540-69927-9_4"},{"issue":"2","key":"989_CR38","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(2), 412\u2013436 (2013)","journal-title":"J. Syst. Softw."},{"key":"989_CR39","doi-asserted-by":"crossref","unstructured":"Lano, K., Kolahdouz-Rahimi, S., Yassipour-Tehrani, S., Sharbaf, M.: A survey of model transformation design pattern usage. In: International Conference on Theory and Practice of Model Transformations, pp. 108\u2013118. Springer (2017)","DOI":"10.1007\/978-3-319-61473-1_8"},{"issue":"3","key":"989_CR40","doi-asserted-by":"publisher","first-page":"2","DOI":"10.5381\/jot.2019.18.3.a2","volume":"18","author":"T Le Calvar","year":"2019","unstructured":"Le Calvar, T., Jouault, F., Chhel, F., Clavreul, M.: Efficient atl incremental transformations. J. Object Technol. 18(3), 2 (2019)","journal-title":"J. Object Technol."},{"key":"989_CR41","doi-asserted-by":"crossref","unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A.: Developing emoflon with emoflon. In: Theory and Practice of Model Transformations, pp. 138\u2013145. Springer, Cham (2014)","DOI":"10.1007\/978-3-319-08789-4_10"},{"key":"989_CR42","unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A., Hildebrandt, S., Rieke, J., Greenyer, J.: A comparison of incremental triple graph grammar tools. Electron. Commun. EASST 67 (2014)"},{"issue":"6","key":"989_CR43","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1109\/TSE.2012.74","volume":"39","author":"I Malavolta","year":"2012","unstructured":"Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., Tang, A.: What industry needs from architectural languages: a survey. IEEE Trans. Softw. Eng. 39(6), 869\u2013891 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"989_CR44","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2016.08.006","volume":"136","author":"S Mart\u00ednez","year":"2017","unstructured":"Mart\u00ednez, S., Tisi, M., Douence, R.: Reactive model transformation with atl. Sci. Comput. Program. 136, 1\u201316 (2017)","journal-title":"Sci. Comput. Program."},{"key":"989_CR45","doi-asserted-by":"crossref","unstructured":"Mkaouar, H., Zalila, B., Hugues, J., Jmaiel, M.: A Formal Approach to AADL Model-Based Software Engineering. Int. J. Softw. Tools Technol. Transf. 1\u201329 (2019)","DOI":"10.1007\/s10009-019-00513-7"},{"key":"989_CR46","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":"989_CR47","volume-title":"Usability Engineering","author":"J Nielsen","year":"1994","unstructured":"Nielsen, J.: Usability Engineering. Morgan Kaufmann, Burlington (1994)"},{"key":"989_CR48","doi-asserted-by":"crossref","unstructured":"Paz, F., Pow-Sang, J.A.: Current trends in usability evaluation methods: a systematic review. In: 2014 7th International Conference on Advanced Software Engineering and Its Applications, pp. 11\u201315. IEEE (2014)","DOI":"10.1109\/ASEA.2014.10"},{"key":"989_CR49","unstructured":"SAE. AS5506C: SAE Architecture Analysis and Design Language (AADL) AADL V2.2. (2017)"},{"key":"989_CR50","unstructured":"Schalles, C., Creagh, J., Rebstock, M.: Usability of modelling languages for model interpretation: an empirical research report. In: 10th International Conference on Wirtschaftsinformatik, pp. 787\u2013796. Zurich, Switzerland (2011)"},{"key":"989_CR51","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: International Workshop on Graph-Theoretic Concepts in Computer Science, pp. 151\u2013163. Springer (1994)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"989_CR52","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, London (2008)"},{"key":"989_CR53","doi-asserted-by":"crossref","unstructured":"Stevens, P.: A landscape of bidirectional model transformations. In: International Summer School on Generative and Transformational Techniques in Software Engineering, pp. 408\u2013424. Springer (2007)","DOI":"10.1007\/978-3-540-88643-3_10"},{"key":"989_CR54","unstructured":"Str\u00fcber, D., Kehrer, T., Arendt, T., Pietsch, C., Reuling, D.: Scalability of model transformations: position paper and benchmark set. In: BigMDE@STAF, pp. 21\u201330 (2016)"},{"issue":"4","key":"989_CR55","doi-asserted-by":"publisher","first-page":"1365","DOI":"10.1007\/s10270-016-0571-8","volume":"17","author":"G Sz\u00e1rnyas","year":"2018","unstructured":"Sz\u00e1rnyas, G., Izs\u00f3, B., R\u00e1th, I., Varr\u00f3, D.: The train benchmark: cross-technology performance evaluation of continuous model queries. Softw. Syst. Model. 17(4), 1365\u20131393 (2018)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"989_CR56","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., Bergmann, G., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Ujhelyi, Z.: Road to a reactive and incremental model transformation platform: three generations of the viatra framework. Softw. Syst. Model. 15(3), 609\u2013629 (2016)","journal-title":"Softw. Syst. Model."},{"key":"989_CR57","doi-asserted-by":"crossref","unstructured":"Wagelaar, D., Tisi, M., Cabot, J., Jouault, F.: Towards a general composition semantics for rule-based model transformation. In: International Conference on Model Driven Engineering Languages and Systems, pp. 623\u2013637. Springer (2011)","DOI":"10.1007\/978-3-642-24485-8_46"},{"key":"989_CR58","doi-asserted-by":"crossref","unstructured":"Weidmann, N., Anjorin, A., Robrecht, P., Varr\u00f3, G.: Incremental (unidirectional) model transformation with emoflon:: Ibex. In: International Conference on Graph Transformation, pp. 131\u2013140. Springer (2019)","DOI":"10.1007\/978-3-030-23611-3_8"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-022-00989-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-022-00989-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-022-00989-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,22]],"date-time":"2023-02-22T06:40:23Z","timestamp":1677048023000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-022-00989-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,19]]},"references-count":58,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["989"],"URL":"https:\/\/doi.org\/10.1007\/s10270-022-00989-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,3,19]]},"assertion":[{"value":"28 September 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 February 2022","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 February 2022","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 March 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}