{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T18:29:36Z","timestamp":1782844176598,"version":"3.54.5"},"reference-count":85,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,5,11]],"date-time":"2013-05-11T00:00:00Z","timestamp":1368230400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1007\/s10270-013-0343-7","type":"journal-article","created":{"date-parts":[[2013,5,10]],"date-time":"2013-05-10T01:52:04Z","timestamp":1368150724000},"page":"537-572","source":"Crossref","is-referenced-by-count":40,"title":["Reuse in model-to-model transformation languages: are we there yet?"],"prefix":"10.1007","volume":"14","author":[{"given":"A.","family":"Kusel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.","family":"Sch\u00f6nb\u00f6ck","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G.","family":"Kappel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"W.","family":"Retschitzegger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"W.","family":"Schwinger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,5,11]]},"reference":[{"key":"343_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal, A., Vizhanyo, A., Kalmar, Z., Shi, F., Narayanan, A., Karsai, G.: Reusable idioms and patterns in graph transformation languages. Electron. Notes Theor. Comput. Sci. 127(1), 181\u2013192 (2005)","DOI":"10.1016\/j.entcs.2004.12.035"},{"key":"343_CR2","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A Aho","year":"1986","unstructured":"Aho, A., Sethi, R., Ullman, J.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, MA (1986)"},{"key":"343_CR3","doi-asserted-by":"crossref","unstructured":"Allen, E., Cartwright, R., Stoler, B.: Efficient implementation of run-time generic types for Java. In: Proceedings of the IFIP Working Conference on Generic Programming, vol. 243 of IFIP Conference Proceedings, pp. 207\u2013236. Kluwer (2002)","DOI":"10.1007\/978-0-387-35672-3_11"},{"key":"343_CR4","doi-asserted-by":"crossref","unstructured":"Amrani, M., Dingel, J., Lambers, L., Lucio, L., Salay, R., Selim, G., Syriani, E., Wimmer, M.: Towards a model transformation intent catalog. In: Proceedings of the 1st International Workshop on the Analysis of Model Transformations (AMT) @ MoDELS\u201912, pp. 3\u20138. ACM (2012)","DOI":"10.1145\/2432497.2432499"},{"key":"343_CR5","unstructured":"AtlanMod Team. ATL website. http:\/\/www.eclipse.org\/atl . Last accessed: March 2013"},{"key":"343_CR6","unstructured":"Baar, T.: On the need of user-defined libraries in OCL. ECEASST, 36 (2010)"},{"key":"343_CR7","unstructured":"Balasubramanian, D., Narayanan, A., van Buskirk, C.P., Karsai, G.: The graph rewriting and transformation language: GReAT. ECEASST 1 (2006)"},{"issue":"2","key":"343_CR8","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","volume":"4","author":"J B\u00e9zivin","year":"2005","unstructured":"B\u00e9zivin, J.: On the unification power of models. Softw. Syst. Model. 4(2), 171\u2013188 (2005)","journal-title":"Softw. Syst. Model."},{"key":"343_CR9","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., Rumpe, B., Sch\u00fcrr, A., Tratt, L.: Model transformations in practice workshop @ MoDELS\u201905. Montego Bay, Jamaica (2005)","DOI":"10.1007\/11663430_13"},{"issue":"2","key":"343_CR10","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MS.1987.230095","volume":"4","author":"TJ Biggerstaff","year":"1987","unstructured":"Biggerstaff, T.J., Richter, C.: Reusability framework, assessment, and diretions. IEEE Softw. 4(2), 41\u201349 (1987)","journal-title":"IEEE Softw."},{"key":"343_CR11","doi-asserted-by":"crossref","unstructured":"Burgueno, L., Wimmer, M., Vallecillo, A.: Towards tracking guilty transformation rules. In Proceedings of the 1st International Workshop on the Analysis of Model Transformations @ MoDELS\u201912 (2012)","DOI":"10.1145\/2432497.2432503"},{"key":"343_CR12","doi-asserted-by":"crossref","unstructured":"Cabot, J., Maz\u00f3n, J.-N., Pardillo, J., Trujillo, J.: Specifying aggregation functions in multidimensional models with OCL. In: Proceedings of 29th International Conference on Conceptual Modeling (ER\u201910), vol. 6412 of Lecture Notes in Computer Science, pp. 419\u2013432. Springer (2010)","DOI":"10.1007\/978-3-642-16373-9_30"},{"key":"343_CR13","unstructured":"Cariou, E., Belloir, N., Barbier, F., Djemam, N.: OCL contracts for the verification of model transformations. ECEASST, 24 (2009)"},{"key":"343_CR14","doi-asserted-by":"crossref","unstructured":"Chenouard, R., Jouault, F.: Automatically discovering hidden transformation chaining constraints. In: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201909), vol. 5795 of Lecture Notes in Computer Science, pp. 92\u2013106. Springer (2009)","DOI":"10.1007\/978-3-642-04425-0_8"},{"key":"343_CR15","doi-asserted-by":"crossref","unstructured":"Chimiak-Opoka, J.: OCLLib, OCLUnit, OCLDoc: pragmatic extensions for the object constraint language. In: Proceedings of the 12th international conference on model driven engineering languages and systems (MODELS\u201909), vol. 5795 of lecture notes in computer science, pp. 665\u2013669. Springer (2009)","DOI":"10.1007\/978-3-642-04425-0_53"},{"key":"343_CR16","volume-title":"Software Product Lines: Practices and Patterns. SEI Series in Software Engineering","author":"PC Clements","year":"2001","unstructured":"Clements, P.C., Northrop, L.: Software Product Lines: Practices and Patterns. SEI Series in Software Engineering. Addison-Wesley, Reading, MA (2001)"},{"key":"343_CR17","doi-asserted-by":"crossref","unstructured":"Cuadrado, J., Garc\u00eda Molina, J.: Approaches for model transformation reuse: factorization and composition. In: Proceedings of the 1st International Conference on Theory and Practice of Model Transformations (ICMT\u201908), vol. 5063 of Lecture Notes in Computer Science, pp. 168\u2013182. Springer (2008)","DOI":"10.1007\/978-3-540-69927-9_12"},{"key":"343_CR18","doi-asserted-by":"crossref","unstructured":"Cuadrado, J., Guerra, E., de Lara, J.: Generic model transformations: write once, reuse everywhere. In: Proceedings of the 4th International Conference on Theory and Practice of Model Transformations (ICMT\u201911), vol. 6707 of Lecture Notes in Computer Science, pp. 62\u201377. Springer (2011)","DOI":"10.1007\/978-3-642-21732-6_5"},{"key":"343_CR19","doi-asserted-by":"crossref","unstructured":"Cuadrado, J., Jouault, F., Garc\u00eda Molina, J., B\u00e9zivin, J.: Experiments with a high-level navigation language. In: Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations (ICMT\u201909), vol. 5563 of Lecture Notes in Computer Science, pp. 229\u2013238. Springer (2009)","DOI":"10.1007\/978-3-642-02408-5_16"},{"key":"343_CR20","doi-asserted-by":"crossref","first-page":"825","DOI":"10.1109\/TSE.2009.14","volume":"35","author":"J Cuadrado","year":"2009","unstructured":"Cuadrado, J., Molina, J.G.: A model-based approach to families of embedded domain-specific languages. IEEE Trans. Softw. Eng. 35, 825\u2013840 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"343_CR21","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s10270-008-0093-0","volume":"8","author":"JS Cuadrado","year":"2009","unstructured":"Cuadrado, J.S., Molina, J.G.: Modularization of model transformations through a phasing mechanism. Softw. Syst. Model. 8(3), 325\u2013345 (2009)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"343_CR22","doi-asserted-by":"crossref","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":"343_CR23","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Staged configuration using feature models. In: Proceedings of the 3rd international conference on software product lines (SPLC\u201904), vol. 3154 of Lecture Notes in Computer Science, pp. 266\u2013283. Springer (2004)","DOI":"10.1007\/978-3-540-28630-1_17"},{"issue":"3","key":"343_CR24","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/s10270-008-0094-z","volume":"8","author":"M Fabro Del","year":"2009","unstructured":"Del Fabro, M., Valduriez, P.: Towards the efficient development of model transformations using model weaving and matching transformations. Softw. Syst. Model. 8(3), 305\u2013324 (2009)","journal-title":"Softw. Syst. Model."},{"key":"343_CR25","unstructured":"Eclipse Community. QVT-O website. http:\/\/www.eclipse.org\/mmt\/?project=qvto . Last accessed: March 2013"},{"key":"343_CR26","doi-asserted-by":"crossref","unstructured":"Falleri, J.-R., Huchard, M., Lafourcade, M., Nebut, C.: Metamodel matching for automatic model transformation generation. In: Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201908), vol. 5301 of Lecture Notes in Computer Science, pp. 326\u2013340. Springer (2008)","DOI":"10.1007\/978-3-540-87875-9_24"},{"key":"343_CR27","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: Proceedings of the Workshop on the Future of Software Engineering @ ICSE\u201907, pp. 37\u201354. IEEE Computer Society (2007)","DOI":"10.1109\/FOSE.2007.14"},{"key":"343_CR28","doi-asserted-by":"crossref","unstructured":"George, L., Wider, A., Scheidgen, M.: Type-safe model transformation languages as internal DSLs in scala. In: Proceedings of the 5th International Conference on Theory and Practice of Model Transformations (ICMT\u201912), vol. 7307 of Lecture Notes in Computer Science, pp. 160\u2013175. Springer (2012)","DOI":"10.1007\/978-3-642-30476-7_11"},{"key":"343_CR29","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Vallecillo, A.: Tractable model transformation testing. In: Proceedings of the 7nd European Conference on Model Driven Architecture-Foundations and Applications (ECMDA-FA\u201911), vol. 6698 of Lecture Notes in Computer Science, pp. 221\u2013235. Springer (2011)","DOI":"10.1007\/978-3-642-21470-7_16"},{"key":"343_CR30","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez, C.A., Cabot, J.: ATLTest: a white-box test generation approach for ATL transformations. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201912), vol. 7590 of Lecture Notes in Computer Science, pp. 449\u2013464. Springer (2012)","DOI":"10.1007\/978-3-642-33666-9_29"},{"key":"343_CR31","doi-asserted-by":"crossref","unstructured":"Guerra, E.: Specification-driven test generation for model transformations. In: Proceedings of the 5th International Conference on Theory and Practice of Model Transformations (ICMT\u201912), vol. 7307 of Lecture Notes in Computer Science, pp. 40\u201355. Springer (2012)","DOI":"10.1007\/978-3-642-30476-7_3"},{"key":"343_CR32","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F., dos Santos, O.M.: transML: a family of languages to model model transformations. In: Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201910), vol. 6394 of Lecture Notes in Computer Science, pp. 106\u2013120. Springer (2010)","DOI":"10.1007\/978-3-642-16145-2_8"},{"issue":"1","key":"343_CR33","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10515-012-0102-y","volume":"20","author":"E Guerra","year":"2013","unstructured":"Guerra, E., de Lara, J., Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W.: Automated verification of model transformations based on visual contracts. J. Autom. Softw. Eng. 20(1), 5\u201346 (2013)","journal-title":"J. Autom. Softw. Eng."},{"key":"343_CR34","doi-asserted-by":"crossref","unstructured":"G\u00fcnther, S., Cleenewerck, T.: Design principles for internal domain-specific languages: a pattern catalog illustrated by Ruby. In: Proceedings of the 17th International Conference on Pattern Languages of Programs (PLoP\u201910) (2010)","DOI":"10.1145\/2493288.2493291"},{"key":"343_CR35","doi-asserted-by":"crossref","unstructured":"Guy, C., Combemale, B., Derrien, S., Steel, J., J\u00e9z\u00e9quel, J.-M.: On model subtyping. In: Proceedings of the 8th European Conference on Model Driven Architecture-Foundations and Applications (ECMDA-FA\u201912), vol. 7349 of Lecture Notes in Computer Science, pp. 400\u2013415. Springer (2012)","DOI":"10.1007\/978-3-642-31491-9_30"},{"key":"343_CR36","doi-asserted-by":"crossref","unstructured":"Iacob, M.-E., Steen, M.W.A., Heerink, L.: Reusable model transformation patterns. In: Workshop Proceedings of the 12th Enterprise Distributed Object Computing Conference (EDOCW\u201908), pp. 1\u201310. IEEE Computer Society (2008)","DOI":"10.1109\/EDOCW.2008.51"},{"key":"343_CR37","doi-asserted-by":"crossref","unstructured":"Jeanneret, C., Glinz, M., Baudry, B.: Estimating footprints of model operations. In: Proceedings of the 33rd International Conference on Software Engineering (ICSE\u201911), pp. 601\u2013610. ACM (2011)","DOI":"10.1145\/1985793.1985875"},{"key":"343_CR38","unstructured":"Kappel, G., Kargl, H., Kramler, G., Schauerhuber, A., Seidl, M., Strommer, M., Wimmer, M.: Matching metamodels with semantic systems\u2014an experience report. In: Workshop Band der Fachtagung Datenbanksysteme in Business, Technologie und Web (BTW\u201907), pp. 38\u201352 (2007)"},{"key":"343_CR39","unstructured":"Kavimandan, A., Gokhale, A., Karsai, G., Gray, J.: Templatized model transformations: enabling reuse in model transformations. Vanderbilt University, Technical report (2009)"},{"issue":"4","key":"343_CR40","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1145\/242224.242420","volume":"28","author":"G Kiczales","year":"1996","unstructured":"Kiczales, G.: Aspect-oriented programming. ACM Comput. Surv. 28(4), 154 (1996)","journal-title":"ACM Comput. Surv."},{"key":"343_CR41","doi-asserted-by":"crossref","unstructured":"Klar, F., K\u00f6nigs, A., Sch\u00fcrr, A.: Model transformation in the large. In: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC-FSE\u201907), pp. 285\u2013294. ACM (2007)","DOI":"10.1145\/1287624.1287664"},{"key":"343_CR42","doi-asserted-by":"crossref","unstructured":"Kleppe, A.: MCC: a model transformation environment. In: Proceedings of the 2nd European Conference on Model Driven Architecture-Foundations and Applications (ECMDA-FA\u201906), vol. 4066 of Lecture Notes in Computer Science, pp. 173\u2013187. Springer (2006)","DOI":"10.1007\/11787044_14"},{"key":"343_CR43","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/1232743.1232745","volume":"50","author":"J Kramer","year":"2007","unstructured":"Kramer, J.: Is abstraction the key to computing? Commun. ACM 50, 36\u201342 (2007)","journal-title":"Commun. ACM"},{"issue":"2","key":"343_CR44","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/130844.130856","volume":"24","author":"CW Krueger","year":"1992","unstructured":"Krueger, C.W.: Software reuse. ACM Comput. Surv. 24(2), 131\u2013183 (1992)","journal-title":"ACM Comput. Surv."},{"key":"343_CR45","doi-asserted-by":"crossref","unstructured":"K\u00fchne, T., Mezei, G., Syriani, E., Vangheluwe, H., Wimmer, M.: Explicit transformation modeling. In: Models in Software Engineering-Reports and Revised Selected Papers of Workshops and Symposia at MoDELS\u201909, vol. 6002 of Lecture Notes in Computer Science, pp. 240\u2013255. Springer (2009)","DOI":"10.1007\/978-3-642-12261-3_23"},{"issue":"3","key":"343_CR46","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/s10270-009-0138-z","volume":"9","author":"I Kurtev","year":"2010","unstructured":"Kurtev, I.: Application of reflection in a model transformation language. Softw. Syst. Model. 9(3), 311\u2013333 (2010)","journal-title":"Softw. Syst. Model."},{"key":"343_CR47","doi-asserted-by":"crossref","unstructured":"Lau, K., Rana, T.: A taxonomy of software composition mechanisms. In: Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA\u201910), pp. 102\u2013110. IEEE (2010)","DOI":"10.1109\/SEAA.2010.36"},{"issue":"4","key":"343_CR48","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1016\/j.jvlc.2009.04.005","volume":"20","author":"E Legros","year":"2009","unstructured":"Legros, E., Amelunxen, C., Klar, F., Sch\u00fcrr, A.: Generic and reflective graph transformations for checking and enforcement of modeling guidelines. Vis. Lang. Comput. 20(4), 252\u2013268 (2009)","journal-title":"Vis. Lang. Comput."},{"key":"343_CR49","doi-asserted-by":"crossref","unstructured":"Liskov, B., Wing, J.M.: A new definition of the subtype relation. In: Proceedings of the 7th European Conference on Object-Oriented Programming (ECOOP\u201993), vol. 707 of Lecture Notes in Computer Science, pp. 118\u2013141. Springer (1993)","DOI":"10.1007\/3-540-47910-4_8"},{"issue":"2","key":"343_CR50","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/s10270-010-0167-7","volume":"11","author":"D Lucr\u00e9dio","year":"2012","unstructured":"Lucr\u00e9dio, D., de Mattos Fortes, R.P., Whittle, J.: MOOGLE: a metamodel-based model search engine. Softw. Syst. Model. 11(2), 183\u2013208 (2012)","journal-title":"Softw. Syst. Model."},{"key":"343_CR51","doi-asserted-by":"crossref","unstructured":"Ma, H., Shao, W., Zhang, L., Ma, Z., Jiang, Y.: Applying OO metrics to assess UML meta-models. In: Proceedings of the 7th international conference on the unified modelling language (UML\u201904), vol. 3273 of Lecture Notes in Computer Science. Springer (2004)","DOI":"10.1007\/978-3-540-30187-5_2"},{"key":"343_CR52","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1023\/A:1018964121953","volume":"5","author":"A Mili","year":"1998","unstructured":"Mili, A., Mili, R., Mittermeir, R.: A survey of software reuse libraries. Ann. Softw. Eng. 5, 349\u2013414 (1998)","journal-title":"Ann. Softw. Eng."},{"issue":"6","key":"343_CR53","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1109\/32.391379","volume":"21","author":"H Mili","year":"1995","unstructured":"Mili, H., Mili, F., Mili, A.: Reusing software: issues and research directions. IEEE Trans. Softw. Eng. 21(6), 528\u2013562 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"343_CR54","doi-asserted-by":"crossref","unstructured":"Moha, N., Mah\u00e9, V., Barais, O., J\u00e9z\u00e9quel, J.-M.: Generic model refactorings. In: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201909), vol. 5795 of Lecture Notes in Computer Science, pp. 628\u2013643. Springer (2009)","DOI":"10.1007\/978-3-642-04425-0_50"},{"key":"343_CR55","doi-asserted-by":"crossref","unstructured":"Oldevik, J.: Transformation composition modelling framework. In: Proceedings of the 5th international conference on distributed applications and interoperable systems (DAIS\u201905), vol. 3543 of Lecture Notes in Computer Science, pp. 108\u2013114. Springer (2005)","DOI":"10.1007\/11498094_10"},{"key":"343_CR56","unstructured":"Randak, A., Mart\u00ednez, S., Wimmer, M.: Extending ATL for native UML profile support: an experience report. In: Proceedings of the 3rd International Workshop on Model Transformation with ATL (MtATL\u201911), pp. 49\u201362. CEUR Workshop Proceedings (2011)"},{"key":"343_CR57","unstructured":"Reiter, T., Wimmer, M., Kargl, H.: Towards a runtime model based on colored petri-nets for the execution of model transformations. In: Proceedings of the 3rd International Workshop on Models and Aspects @ ECOOP\u201907, pp. 19\u201323 (2007)"},{"key":"343_CR58","unstructured":"Rivera, J.E., Ruiz-Gonzalez, D., Lopez-Romero, F., Bautista, J., Vallecillo, A.: Orchestrating ATL model transformations. In: Proceedings of the 1st International Workshop on Model Transformations with ATL (MtATL\u201909), pp. 34\u201346 (2009)"},{"issue":"2","key":"343_CR59","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-driven engineering. IEEE Comput. 39(2), 25\u201331 (2006)","journal-title":"IEEE Comput."},{"key":"343_CR60","doi-asserted-by":"crossref","unstructured":"Sch\u00f6nb\u00f6ck, J.: Testing and debugging of model transformations. Ph.D. thesis, Vienna University of Technology, Business Informatics Group (2011)","DOI":"10.1109\/APSEC.2012.56"},{"key":"343_CR61","doi-asserted-by":"crossref","unstructured":"Sen, S., Mottu, J.-M., Tisi, M., Cabot, J.: Using models of partial knowledge to test model transformations. In: Proceedings of the 5th International Conference on Theory and Practice of Model Transformations (ICMT\u201912), vol. 7307 of Lecture Notes in Computer Science, pp. 24\u201339. Springer (2012)","DOI":"10.1007\/978-3-642-30476-7_2"},{"issue":"5","key":"343_CR62","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MS.2003.1231150","volume":"20","author":"S Sendall","year":"2003","unstructured":"Sendall, S., Kozaczynski, W.: Model transformation: the heart and soul of model-driven software development. IEEE Softw. 20(5), 42\u201345 (2003)","journal-title":"IEEE Softw."},{"key":"343_CR63","unstructured":"Sijtema, M.: Introducing variability rules in ATL for managing variability in MDE-based product lines. In: Proceedings of the 2nd International Workshop on Model Transformations with ATL (MtATL\u201910), pp. 39\u201349. CEUR Workshop Proceedings (2010)"},{"key":"343_CR64","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/s10270-006-0036-6","volume":"6","author":"J Steel","year":"2007","unstructured":"Steel, J., J\u00e9z\u00e9quel, J.-M.: On model typing. Softw. Syst. Model. 6, 401\u2013413 (2007)","journal-title":"Softw. Syst. Model."},{"key":"343_CR65","doi-asserted-by":"crossref","unstructured":"Syriani, E., Gray, J.: Challenges for addressing quality factors in model transformation. In: Proceedings of the 5th International Conference on Software Testing, Verification and Validation (ICST\u201912), pp. 929\u2013937. IEEE (2012)","DOI":"10.1109\/ICST.2012.198"},{"key":"343_CR66","unstructured":"TATA Research Development and Design. ModelMorf website. http:\/\/www.tcs-trddc.com\/trddc_website\/ModelMorf\/ModelMorf.htm . Last accessed: March 2013"},{"key":"343_CR67","doi-asserted-by":"crossref","unstructured":"Tisi, M., Cabot, J., Jouault, F.: Improving higher-order transformations support in ATL. In: Proceedings of the 3th International Conference on Theory and Practice of Model Transformations (ICMT 2010), vol. 6142 of Lecture Notes in Computer Science, pp. 215\u2013229. Springer (2010)","DOI":"10.1007\/978-3-642-13688-7_15"},{"key":"343_CR68","doi-asserted-by":"crossref","unstructured":"Tisi, M., Jouault, F., Fraternali, P., Ceri, S., B\u00e9zivin, J.: On the use of higher-order model transformations. In: Proceedings of the 5th European Conference on Model Driven Architecture-Foundations and Applications (ECMDA-FA\u201909), vol. 5562 of Lecture Notes in Computer Science, pp. 18\u201333. Springer (2009)","DOI":"10.1007\/978-3-642-02674-4_3"},{"key":"343_CR69","unstructured":"Triskell Team. Kermeta website. http:\/\/www.kermeta.org . Last accessed: March 2013"},{"key":"343_CR70","unstructured":"University of York. ETL Website. http:\/\/www.eclipse.org\/epsilon\/doc\/etl . Last accessed: March 2013"},{"key":"343_CR71","doi-asserted-by":"crossref","unstructured":"Vallecillo, A., Gogolla, M.: Typing model transformations using tracts. In: Proceedings of the 5th International Conference on Theory and Practice of Model Transformations (ICMT\u201912), vol. 7307 of Lecture Notes in Computer Science, pp. 56\u201371. Springer (2012)","DOI":"10.1007\/978-3-642-30476-7_4"},{"key":"343_CR72","doi-asserted-by":"crossref","unstructured":"Vanhooff, B., Ayed, D., Van Baelen, S., Joosen, W., Berbers Y.: UniTI: a unified transformation infrastructure. In: Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201907), vol. 4735 of Lecture Notes in Computer Science, pp. 31\u201345. Springer (2007)","DOI":"10.1007\/978-3-540-75209-7_3"},{"issue":"3","key":"343_CR73","doi-asserted-by":"crossref","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":"343_CR74","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Pataricza, A.: Generic and meta-transformations for model transformation engineering. In: Proceedings of the 7th International Conference on the Unified Modelling Language (UML\u201904), vol. 3273 of Lecture Notes in Computer Science, pp. 290\u2013304. Springer (2004)","DOI":"10.1007\/978-3-540-30187-5_21"},{"key":"343_CR75","doi-asserted-by":"crossref","unstructured":"Vignaga, A., Jouault, F., Bastarrica, M.C., Bruneliere, H.: Typing in model management. In: Proceedings of the 2th International Conference on Theory and Practice of Model Transformations (ICMT\u201909), vol. 5563 of Lecture Notes in Computer Science, pp. 197\u2013212. Springer (2009)","DOI":"10.1007\/978-3-642-02408-5_14"},{"key":"343_CR76","unstructured":"Voelter, M., Groher, I.: Handling variability in model transformations and generators. In: Proceedings of the 7th International Workshop on Domain-Specific Modeling @ OOPSLA \u201907 (2007)"},{"key":"343_CR77","doi-asserted-by":"crossref","unstructured":"Voigt, K., Heinze, T.: Metamodel matching based on planar graph edit distance. In: Proceedings of the 3th International Conference on Theory and Practice of Model Transformations (ICMT\u201910), vol. 6142 of Lecture Notes in Computer Science, pp. 245\u2013259. Springer (2010)","DOI":"10.1007\/978-3-642-13688-7_17"},{"key":"343_CR78","doi-asserted-by":"crossref","unstructured":"Wagelaar, D.: Composition techniques for rule-based model transformation languages. In: Theory and Practice of Model Transformations, First International Conference, ICMT 2008, Z\u00fcrich, Switzerland, 1\u20132 July 2008, Proceedings, vol. 5063 of Lecture Notes in Computer Science, pp. 152\u2013167. Springer (2008)","DOI":"10.1007\/978-3-540-69927-9_11"},{"key":"343_CR79","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/s10270-009-0134-3","volume":"9","author":"D Wagelaar","year":"2010","unstructured":"Wagelaar, D., Van Der Straeten, R., Deridder, D.: Module superimposition: a composition technique for rule-based model transformation languages. Softw. Syst. Model. 9, 285\u2013309 (2010)","journal-title":"Softw. Syst. Model."},{"key":"343_CR80","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W.: Surviving the heterogeneity jungle with composite mapping operators. In: Proceedings of the 3nd International Conference on Theory and Practice of Model Transformations (ICMT\u201910), vol. 6627 of Lecture Notes in Computer Science, pp. 260\u2013275. Springer (2010)","DOI":"10.1007\/978-3-642-13688-7_18"},{"key":"343_CR81","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W.: Towards an expressivity benchmark for mappings based on a systematic classification of heterogeneities. In: Proceedings of the International Workshop on Model-Driven Interoperability @ MoDELS 2010, pp. 32\u201341 (2010)","DOI":"10.1145\/1866272.1866278"},{"key":"343_CR82","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W.: Fact or fiction\u2014reuse in rule-based model-to-model transformation languages. In: Proceedings of the 5th International Conference on Theory and Practice of Model Transformations (ICMT\u201912), vol. 7307 of Lecture Notes in Computer Science, pp. 280\u2013295. Springer (2012)","DOI":"10.1007\/978-3-642-30476-7_19"},{"key":"343_CR83","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W., Kolovos, D., Paige, R., Lauder, M., Sch\u00fcrr, A., Wagelaar, D.: Surveying rule inheritance in model-to-model transformation languages. J. Object Technol. 11(2), 3:1\u201346 (2012)","DOI":"10.5381\/jot.2012.11.2.a3"},{"key":"343_CR84","unstructured":"Wimmer, M., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W., S\u00e1nchez Cuadrado, J., Guerra, E., De Lara, J.: Reusing model transformations across heterogeneous metamodels. In: Proceedings of the 5th International Workshop on Multi-Paradigm Modeling @ MoDELS\u201911 (2011)"},{"issue":"4","key":"343_CR85","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/1978802.1978807","volume":"43","author":"M Wimmer","year":"2011","unstructured":"Wimmer, M., Schauerhuber, A., Kappel, G., Retschitzegger, W., Schwinger, W., Kapsammer, E.: A survey on UML-based aspect-oriented design modeling. ACM Comput. Surv. 43(4), 28 (2011)","journal-title":"ACM Comput. Surv."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0343-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0343-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0343-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T09:26:02Z","timestamp":1746005162000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0343-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,11]]},"references-count":85,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["343"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0343-7","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,5,11]]}}}