{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T16:42:50Z","timestamp":1774284170252,"version":"3.50.1"},"reference-count":135,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,7,18]],"date-time":"2014-07-18T00:00:00Z","timestamp":1405641600000},"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":[[2016,7]]},"DOI":"10.1007\/s10270-014-0429-x","type":"journal-article","created":{"date-parts":[[2014,7,17]],"date-time":"2014-07-17T06:58:18Z","timestamp":1405580298000},"page":"647-684","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":66,"title":["Model transformation intents and their properties"],"prefix":"10.1007","volume":"15","author":[{"given":"Levi","family":"L\u00facio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moussa","family":"Amrani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rick","family":"Salay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gehan M. K.","family":"Selim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugene","family":"Syriani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Wimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,7,18]]},"reference":[{"issue":"2","key":"429_CR1","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1145\/356876.356879","volume":"14","author":"WR Adrion","year":"1982","unstructured":"Adrion, W.R., Branstad, M.A., Cherniavsky, J.C.: Validation, verification, and testing of computer software. ACM Comput. Surv. 14(2), 159\u2013192 (1982)","journal-title":"ACM Comput. Surv."},{"issue":"3","key":"429_CR2","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s10270-006-0027-7","volume":"5","author":"A Agrawal","year":"2006","unstructured":"Agrawal, A., Karsai, G., Kalmar, Z., Neema, S., Shi, F., Vizhanyo, A.: The design of a language for model transformations. Softw. Syst. Model. 5(3), 261\u2013288 (2006)","journal-title":"Softw. Syst. Model."},{"key":"429_CR3","doi-asserted-by":"crossref","unstructured":"Akehurst, D., Kent, S.: A relational approach to defining transformations in a metamodel. In: Proceedings of the 5th International Conference on the Unified Modeling Language (UML), pp. 243\u2013258. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45800-X_20"},{"key":"429_CR4","doi-asserted-by":"crossref","unstructured":"Amrani, M., Dingel, J., Lambers, L., L\u00facio, L., Salay, R., Selim, G., Syriani, E., Wimmer, M.: Towards a model transformation intent catalog. In: Proceedings of the First Workshop on Analysis of Model Transformations (AMT), pp. 3\u20138. ACM, New York (2012)","DOI":"10.1145\/2432497.2432499"},{"key":"429_CR5","doi-asserted-by":"crossref","unstructured":"Amrani, M., L\u00facio, L., Selim, G., Combemale, B., Dingel, J., Vangheluwe, H., Le Traon, Y., Cordy, J.R.: A tridimensional approach for studying the formal verification of model transformations. In: Proceedings of the First Workshop on Verification and Validation of Model Transformations ( VOLT), pp. 921\u2013928. IEEE Computer Society (2012)","DOI":"10.1109\/ICST.2012.197"},{"key":"429_CR6","doi-asserted-by":"crossref","unstructured":"Asztalos, M., Syriani, E., Wimmer, M., Kessentini, M.: Simplifying model transformation chains by rule composition. In: Models in Software Engineering\u2014Workshops and Symposia at MODELS 2010, Reports and Revised Selected Papers, LNCS, vol. 6627, pp. 293\u2013307 (2011)","DOI":"10.1007\/978-3-642-21210-9_28"},{"key":"429_CR7","unstructured":"AUTOSAR: http:\/\/www.autosar.org (2010)"},{"key":"429_CR8","doi-asserted-by":"crossref","unstructured":"Bae, J.H., Lee, K., Chae, H.S.: Modularization of the UML metamodel using model slicing. In: Proceedings of the Fifth International Conference on Information Technology ( ITNG), pp. 1253\u20131254. IEEE (2008)","DOI":"10.1109\/ITNG.2008.179"},{"key":"429_CR9","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s10270-006-0001-4","volume":"5","author":"L Baresi","year":"2006","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varr\u00f3, D.: Style-based modeling and refinement of service-oriented architectures. Softw. Syst. Model. 5, 187\u2013207 (2006)","journal-title":"Softw. Syst. Model."},{"key":"429_CR10","doi-asserted-by":"crossref","unstructured":"Bergmann, G., Ujhelyi, Z., R\u00e1th, I., Varr\u00f3, D.: A graph query language for EMF models. In: Proceedings of the 4th International Conference on Theory and Practice of Model Transformations ( ICMT), LNCS, vol. 6707, pp. 167\u2013182. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21732-6_12"},{"key":"429_CR11","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., B\u00fcttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.: Model transformations? Transformation models! In: Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems ( Models) (2006)","DOI":"10.1007\/11880240_31"},{"key":"429_CR12","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., Rumpe, B., Tratt, L.: Model transformation in practice workshop announcement. http:\/\/sosym.dcs.kcl.ac.uk\/events\/mtip05\/long_cfp.pdf (2005)","DOI":"10.1007\/11663430_13"},{"key":"429_CR13","doi-asserted-by":"crossref","unstructured":"Biermann, E., Ehrig, K., Ermel, C., Hurrelmann, J.: Generation of simulation views for domain specific modeling languages based on the eclipse modeling framework. In: Proceedings of the International Conference on Automated Software Engineering ( ASE), pp. 625\u2013629. IEEE Computer Society (2009)","DOI":"10.1109\/ASE.2009.46"},{"key":"429_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Berlin (2003)"},{"key":"429_CR15","first-page":"99","volume-title":"Proceedings of the International Conference on Conceptual Modeling (ER), LNCS","author":"P Mc Brien","year":"1999","unstructured":"Mc Brien, P., Poulovassi, A.: Automatic migration and wrapping of database applications\u2014a schema transformation approach. In: Akoka, J., Bouzeghoub, M., Comyn Wattiau, I., M\u2019etais, E. (eds.) Proceedings of the International Conference on Conceptual Modeling (ER), LNCS, vol. 1782, pp. 99\u2013114. Springer, Berlin (1999)"},{"key":"429_CR16","doi-asserted-by":"crossref","unstructured":"Bruneli\u00e9re, H., Cabot, J., Clasen, C., Jouault, F., B\u00e9zivin, J.: Towards model driven tool interoperability: bridging eclipse and microsoft modeling tools. In: Proceedings of the European Conference on Modelling Foundations and Applications ( ECMFA), (LNCS), vol. 6138, pp. 32\u201347 (2010)","DOI":"10.1007\/978-3-642-13595-8_5"},{"key":"429_CR17","doi-asserted-by":"crossref","unstructured":"B\u00fcttner, F., Egea, M., Cabot, J., Gogolla, M.: Verification of ATL transformations using transformation models and model finders. In: Proceedings of the 14th International Conference on Formal Engineering Methods ( ICFEM), ( LNCS), vol. 7635, pp. 198\u2013213. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-34281-3_16"},{"key":"429_CR18","doi-asserted-by":"crossref","unstructured":"B\u00fcttner, F., Egea, M., Cabot, J.: On verifying ATL transformations using \u2019off-the-shelf\u2019 SMT solvers. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems ( Models), pp. 432\u2013448. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-33666-9_28"},{"key":"429_CR19","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/j.jss.2009.08.012","volume":"83","author":"J Cabot","year":"2010","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Verification and validation of declarative model-to-model transformations through invariants. J. Syst. Softw. 83, 283\u2013302 (2010)","journal-title":"J. Syst. Softw."},{"key":"429_CR20","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.entcs.2013.02.002","volume":"292","author":"D Calegari","year":"2013","unstructured":"Calegari, D., Szasz, N.: Verification of model transformations: a survey of the state-of-the-art. Electron. Notes Theor. Comput. Sci. 292, 5\u201325 (2013)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"429_CR21","unstructured":"Cariou, E., Belloir, N., Barbier, F., Djemam, N.: OCL contracts for the verification of model transformations. ECEASST 24 (2009)"},{"key":"429_CR22","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven engineering. In: Proceedings of the International IEEE Enterprise Distributed Object Computing Conference (EDOC), pp. 222\u2013231. IEEE Computer Society (2008)","DOI":"10.1109\/EDOC.2008.44"},{"key":"429_CR23","volume-title":"Applied Metamodelling: A Foundation for Language Driven Development","author":"T Clark","year":"2004","unstructured":"Clark, T., Evans, A., Sammut, P., Willans, J.: Applied Metamodelling: A Foundation for Language Driven Development. Ceteva, Sheffield (2004)"},{"issue":"4","key":"429_CR24","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"EM Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626\u2013643 (1996)","journal-title":"ACM Comput. Surv."},{"key":"429_CR25","volume-title":"All About Maude. A High-Performance Logical Framework, LNCS","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti Oliet, N., Meseguer, J., Talcott, C.: All About Maude. A High-Performance Logical Framework, LNCS, vol. 4350. Springer, Berlin (2007)"},{"issue":"3","key":"429_CR26","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":"429_CR27","doi-asserted-by":"crossref","unstructured":"Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J.M., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: Proceedings of the International Conference on Software Engineering (ICSE), pp. 285\u2013294. ACM Press, New York (1999)","DOI":"10.1145\/302405.302640"},{"key":"429_CR28","unstructured":"Deltombe, G., Le Goaer, O., Barbier, F.: Bridging KDM and ASTM for model-driven software modernization. In: Proceedings of the International Conference on Software Engineering & Knowledge Engineering (SEKE), pp. 517\u2013524 (2012)"},{"key":"429_CR29","unstructured":"Denil, J.: Design, verification and deployment of software-intensive systems: a multi-paradigm modelling approach. Ph.D. thesis, Universiteit Antwerpen (2013). http:\/\/msdl.cs.mcgill.ca\/people\/joachim\/academic"},{"key":"429_CR30","unstructured":"Denil, J., Cicchetti, A., Biehl, M., De Meulenaere, P., Eramo, R., Demeyer, S., Vangheluwe, H.: Automatic deployment space exploration using refinement transformations. In: Amaral, V., Hardebolle, C., Vangueluwe, H., Lengyel, L., Bunus, P. (eds.) Recent Advances in Multi-paradigm Modelling, vol. 50, Electronic Communications of the EASST, Berlin (2012)"},{"key":"429_CR31","volume-title":"Modern Control Systems","author":"RC Dorf","year":"2011","unstructured":"Dorf, R.C.: Modern Control Systems, 12th edn. Addison-Wesley Longman Publishing Co., Inc, Boston (2011)","edition":"12"},{"issue":"7","key":"429_CR32","doi-asserted-by":"crossref","first-page":"1165","DOI":"10.1109\/TCAD.2008.923410","volume":"27","author":"V D\u2019Silva","year":"2008","unstructured":"D\u2019Silva, V., Kroening, D., Weissenbacher, G.: A survey of automated techniques for formal software verification. IEEE Trans. CAD Integr. Circuits Syst. 27(7), 1165\u20131178 (2008)","journal-title":"IEEE Trans. CAD Integr. Circuits Syst."},{"key":"429_CR33","doi-asserted-by":"crossref","unstructured":"Ducasse, S., G\u00eerba, T.: Using smalltalk as a reflective executable meta-language. In: Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (Models), pp. 604\u2013618 (2006)","DOI":"10.1007\/11880240_42"},{"key":"429_CR34","doi-asserted-by":"crossref","unstructured":"Engel, K.D., Paige, R., Kolovos, D.: Using a model merging language for reconciling model versions. In: Rensink, A., Warmer, J. (eds.) Proceedings of the European Conference on Model Driven Architecture-Foundations and Applications (ECMFA), LNCS, vol. 4066, pp. 143\u2013157. Springer, Berlin (2006)","DOI":"10.1007\/11787044_12"},{"key":"429_CR35","doi-asserted-by":"crossref","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in UML. In: Proceedings of the 3rd International Conference on the Unified Modeling Language ( UML), pp. 323\u2013337 (2000)","DOI":"10.1007\/3-540-40011-7_23"},{"issue":"1","key":"429_CR36","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/j.entcs.2008.04.074","volume":"213","author":"C Ermel","year":"2008","unstructured":"Ermel, C., Ehrig, H.: Behavior-preserving simulation-to-animation model and rule transformations. Electron. Notes Theor. Comput. Sci. 213(1), 55\u201374 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"3","key":"429_CR37","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/s10270-008-0094-z","volume":"8","author":"MD Fabro Del","year":"2009","unstructured":"Del Fabro, M.D., 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":"429_CR38","doi-asserted-by":"crossref","unstructured":"Fischer, T., Niere, J., Turunski, L., Z\u00fcndorf, A.: Story diagrams: a new graph rewrite language based on the unified modelling language and java. In: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT), LNCS, vol. 1764, pp. 296\u2013309. Springer, Berlin (2000)","DOI":"10.1007\/978-3-540-46464-8_21"},{"issue":"5","key":"429_CR39","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1037\/h0031619","volume":"76","author":"JL Fleiss","year":"1971","unstructured":"Fleiss, J.L.: Measuring nominal scale agreement among many raters. Psychol. Bull. 76(5), 378\u2013382 (1971)","journal-title":"Psychol. Bull."},{"key":"429_CR40","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (1999)"},{"key":"429_CR41","unstructured":"Gabmeyer, S., Brosch, P., Seidl, M.: A classification of model checking-based verification approaches for software models. In: Proceedings of the 2nd International Workshop on the Verification of Model Transformation (VOLT) (2013)"},{"key":"429_CR42","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)"},{"key":"429_CR43","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: Proceedings of the MetaModelling for MDA Workshop, pp. 178\u2013197 (2003)"},{"issue":"1\u20132","key":"429_CR44","first-page":"1","volume":"3","author":"A Gargantini","year":"2010","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: Combining formal methods and MDE techniques for model-driven system design and analysis. JAS 3(1\u20132), 1\u201318 (2010)","journal-title":"JAS"},{"key":"429_CR45","doi-asserted-by":"crossref","unstructured":"Gessenharter, D.: Mapping the UML2 semantics of associations to a java code generation model. In: Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), LNCS, vol. 5301, pp. 813\u2013827. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87875-9_56"},{"key":"429_CR46","doi-asserted-by":"crossref","unstructured":"Giese, H., Levendovszky, T., Vangheluwe, H.: Summary of the workshop on multi-paradigm modeling: concepts and tools. In: Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Reports and Revised Selected Papers, LNCS, vol. 4364. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-69489-2_31"},{"key":"429_CR47","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Vallecillo, A.: Tractable model transformation testing. In: Proceedings of the 7th European Conference on Modelling Foundations and Applications (ECMFA), LNCS, vol. 6698, pp. 221\u2013235. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21470-7_16"},{"key":"429_CR48","unstructured":"Griswold, W.G.: Program restructuring as an aid to software maintenance. Ph.D. thesis, University of Washington (1991)"},{"key":"429_CR49","unstructured":"Object Management Group: MDA Guide (version 1.0.1) (2003)"},{"key":"429_CR50","unstructured":"Object Management Group: Mof Qvt: Query\/View\/ Transformation (2008)"},{"key":"429_CR51","unstructured":"Object Management Group: Unified Modeling Language (UML) 2.4.1 Superstructure (2011)"},{"issue":"1","key":"429_CR52","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10515-012-0102-y","volume":"20","author":"Esther Guerra","year":"2013","unstructured":"Guerra, Esther, de Lara, Juan, Wimmer, Manuel, Kappel, Gerti, Kusel, Angelika, Retschitzegger, Werner, Sch\u00f6nb\u00f6ck, Johannes, Schwinger, Wieland: Automated verification of model transformations based on visual contracts. Autom. Softw. Eng. 20(1), 5\u201346 (2013)","journal-title":"Autom. Softw. Eng."},{"key":"429_CR53","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J.: Model view management with triple graph transformation systems. In: Proceedings of the International Conference on Graph Transformation (ICGT), LNCS, vol. 4178, pp. 351\u2013366. Springer, Berlin (2006)","DOI":"10.1007\/11841883_25"},{"issue":"6","key":"429_CR54","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s10270-007-0051-2","volume":"6","author":"E Guerra","year":"2007","unstructured":"Guerra, E., de Lara, J.: Event-driven grammars: relating abstract and concrete levels of visual languages. J. Softw. Syst. Model. 6(6), 317\u2013347 (2007)","journal-title":"J. Softw. Syst. Model."},{"key":"429_CR55","unstructured":"Harel, D., Rumpe, B.: Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff. Tech. Rep, Weizmann Institute of Sience (2000)"},{"key":"429_CR56","doi-asserted-by":"crossref","unstructured":"Harman, M., Binkley, D., Danicic, S.: Amorphous program slicing. In: Software Focus, pp. 70\u201379. IEEE Computer Society Press (1997)","DOI":"10.1109\/WPC.1997.601266"},{"key":"429_CR57","doi-asserted-by":"crossref","unstructured":"Iacob, M.E., Steen, M.W.A., Heerink, L.: Reusable model transformation patterns. In: Proceedings of EDOCW\u201908, pp. 1\u201310 (2008)","DOI":"10.1109\/EDOCW.2008.51"},{"key":"429_CR58","unstructured":"Izquierdo, J.L.C., Molina, J.G.: Extracting models from source code in software modernization. Software and Systems Modeling (SoSyM), pp. 1\u201322 (2012)"},{"key":"429_CR59","doi-asserted-by":"crossref","unstructured":"Jouault, F., B\u00e9zivin, J., Kurtev, I.: TCS: a DSL for the specification of textual concrete syntaxes in model engineering. In: Proceedings of the 5th International Conference on Generative Programming and Component Engineering. GPCE \u201906, pp. 249\u2013254. ACM, Portland (2006)","DOI":"10.1145\/1173706.1173744"},{"key":"429_CR60","doi-asserted-by":"crossref","unstructured":"Kastenberg, H., Rensink, A.: Model checking dynamic states in groove. In: Model Checking Software (Spin), LNCS, vol. 3925, pp. 299\u2013305. Springer, Berlin (2006)","DOI":"10.1007\/11691617_19"},{"key":"429_CR61","doi-asserted-by":"crossref","unstructured":"Kelsen, P., Ma, Q., Glodt, C.: Models within models: taming model complexity using the sub-model lattice. In: Proceedings of the International Conference on the Foundational Approaches to Software Engineering (FASE), pp. 171\u2013185. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-19811-3_13"},{"key":"429_CR62","unstructured":"Kern, H.: The Interchange of (meta)models between MetaEdit+ and eclipse EMF using M3-level-based bridges. In: Proceedings of the International Workshop on Domain-Specific Modeling (DSM) (2009)"},{"key":"429_CR63","doi-asserted-by":"crossref","unstructured":"Kern, H., Hummel, A., K\u00fchne, S.: Towards a comparative analysis of meta-metamodels. In: Proceedings of the International Workshop on Domain-Specific Modeling (DSM) (2011)","DOI":"10.1145\/2095050.2095053"},{"key":"429_CR64","unstructured":"Kern, H., K\u00fchne, S.: Model interchange between ARIS and eclipse EMF. In: Proceedings of the International Workshop on Domain-Specific Modeling (DSM) (2007)"},{"key":"429_CR65","unstructured":"Kern, H., K\u00fchne, S.: Integration of microsoft visio and eclipse modeling framework using M3-level-based bridges. In: Proceedings of the ECMDA Workshop on Model-Driven Tool & Process Integration (2009)"},{"key":"429_CR66","doi-asserted-by":"crossref","unstructured":"Kilov, H.: From semantic to object-oriented data modeling. In: Proceedings of the First International Conference on System Integration, pp. 385\u2013393 (1990)","DOI":"10.1109\/ICSI.1990.138704"},{"key":"429_CR67","volume-title":"MDA Explained. The Model Driven Architecture: Practice and Promise","author":"AG Kleppe","year":"2003","unstructured":"Kleppe, A.G., Warmer, J., Bast, W.: MDA Explained. The Model Driven Architecture: Practice and Promise. Addison-Wesley, Reading (2003)"},{"key":"429_CR68","doi-asserted-by":"crossref","unstructured":"Koch, N., Knapp, A., Zhang, G., Baumeister, H.: UML-based web engineering. Web Engineering: Modelling and Implementing Web Applications, pp. 157\u2013191 (2008)","DOI":"10.1007\/978-1-84628-923-1_7"},{"key":"429_CR69","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/j.entcs.2008.04.042","volume":"211","author":"B K\u00f6nig","year":"2008","unstructured":"K\u00f6nig, B., Kozioura, V.: Augur 2-A new version of a tool for the analysis of graph transformation systems. Electron. Notes Theor. Comput. Sci. 211, 201\u2013210 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"429_CR70","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/s10270-006-0017-9","volume":"5","author":"T K\u00fchne","year":"2006","unstructured":"K\u00fchne, T.: Matters of (meta-) modeling. Softw. Syst. Model. 5, 369\u2013385 (2006)","journal-title":"Softw. Syst. Model."},{"key":"429_CR71","unstructured":"K\u00fchne, T., Mezei, G., Syriani, E., Vangheluwe, H., Wimmer, M.: Systematic transformation development. EcEasst 21 (2009)"},{"key":"429_CR72","doi-asserted-by":"crossref","unstructured":"K\u00fchne, T., Mezei, G., Syriani, E., Vangheluwe, H., Wimmer, M.: Explicit transformation modeling. In: Models in Software Engineering\u2014Workshops and Symposia at MODELS 2009, Reports and Revised Selected Papers, Lncs, vol. 6002, pp. 240\u2013255. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-12261-3_23"},{"key":"429_CR73","unstructured":"Axel van Lamsweerde: Goal-oriented requirements engineering: a guided tour. In: Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE) (2001)"},{"key":"429_CR74","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5381\/jot.2011.10.1.a11","volume":"10","author":"K Lano","year":"2011","unstructured":"Lano, K., Kolahdouz Rahimi, S.: Slicing techniques for UML models. JOT 10, 1\u201349 (2011)","journal-title":"JOT"},{"key":"429_CR75","doi-asserted-by":"crossref","unstructured":"de Lara, J., Guerra, E., Boronat, A., Heckel, R., Torrini, P.: Graph transformation for domain-specific discrete event time simulation. In: Proceedings of the 5th International Conference on Graph Transformations (ICGT), Lncs, vol. 6372, pp. 266\u2013281. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-15928-2_18"},{"key":"429_CR76","doi-asserted-by":"crossref","unstructured":"de Lara, J., Taentzer, G.: Automated model transformation and its validation using AToM3 and AGG. Diagrammatic Representation and Inference (Diagrams), pp. 182\u2013198 (2004)","DOI":"10.1007\/978-3-540-25931-2_18"},{"issue":"3\u20134","key":"429_CR77","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/j.jvlc.2004.01.005","volume":"15","author":"J Lara de","year":"2004","unstructured":"de Lara, J., Vangheluwe, H.: Defining visual notations and their manipulation through meta-modelling and graph transformation. J. Vis. Lang. Comput. 15(3\u20134), 309\u2013330 (2004)","journal-title":"J. Vis. Lang. Comput."},{"key":"429_CR78","doi-asserted-by":"crossref","unstructured":"L\u00facio, L., Amrani, M., Dingel, J., Lambers, L., Salay, R., Selim, G., Syriani, E., Wimmer, M.: Additional material for the paper \u201cModel Transformation Intents and Their Properties\u201d. http:\/\/msdl.cs.mcgill.ca\/people\/levi\/transformation_intents\/material (2014)","DOI":"10.1007\/s10270-014-0429-x"},{"key":"429_CR79","unstructured":"L\u00facio, L., Denil, J., Mustafiz, S., Vangheluwe, H.: An overview of model transformations for a simple automotive power window. Tech. Rep. SOCS-TR-2012.1, McGill University (2012)"},{"key":"429_CR80","doi-asserted-by":"crossref","unstructured":"L\u00facio, L., Mustafiz, S., Denil, J., Vangheluwe, H., Jukss, M.: FTG+PM: an integrated framework for investigating model transformation chains. In: System Design Languages ( Sdl) Forum: Model-Driven Dependability Engineering, LNCS, vol. 7916, pp. 182\u2013202. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-38911-5_11"},{"key":"429_CR81","unstructured":"L\u00facio, L., Vangheluwe, H.: Model transformations to verify model transformations. In: Proceedings of the 2nd Workshop on Verification of Model Transformations (VOLT) (2013)"},{"key":"429_CR82","unstructured":"L\u00facio, L., Vangheluwe, H.: Symbolic execution for the verification of model transformations. Tech. Rep. SOCS-TR-2013.2, McGill University (2013). http:\/\/msdl.cs.mcgill.ca\/people\/levi\/files\/MTSymbExec.pdf"},{"key":"429_CR83","doi-asserted-by":"crossref","unstructured":"Mannadiar, R., Vangheluwe, H.: Modular synthesis of mobile device applications from domain-specific models. In: Model-Based Methodologies for Pervasive and Embedded Software Workshop (2010)","DOI":"10.1145\/1865875.1865879"},{"key":"429_CR84","doi-asserted-by":"crossref","unstructured":"Mayerhofer, T., Langer, P., Wimmer, M.: Towards xMOF: executable DSMLs based on fUML. In: Proceedings of the 12th Workshop on Domain-Specific Modeling (DSM\u201912) (2012)","DOI":"10.1145\/2420918.2420920"},{"key":"429_CR85","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T Mens","year":"2006","unstructured":"Mens, T., Van Gorp, P.: A taxonomy of model transformation. Electron. Notes Theor. Comput. Sci. 152, 125\u2013142 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"429_CR86","doi-asserted-by":"crossref","unstructured":"Selim, G.M.K., Cordy, J.R., Dingel, J.: Analysis of model transformations. Tech. Rep. 2012\u2013592, Queen\u2019s University (2012)","DOI":"10.1145\/2432497.2432502"},{"key":"429_CR87","doi-asserted-by":"crossref","unstructured":"Selim, G.M.K., Cordy, J.R., Dingel, J.: Model transformation testing: the state of the art. In: Proceedings of the 1st International Workshop on the Analysis of Model Transformations (AMT) (2012)","DOI":"10.1145\/2432497.2432502"},{"issue":"9","key":"429_CR88","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1177\/0037549704050532","volume":"80","author":"PJ Mosterman","year":"2004","unstructured":"Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling: an introduction. Simulation 80(9), 433\u2013450 (2004)","journal-title":"Simulation"},{"key":"429_CR89","doi-asserted-by":"crossref","unstructured":"Muller, P.A., Fleurey, F., J\u00e9z\u00e9quel, J.M.: Weaving executability into object-oriented meta-languages. In: Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS), LNCS, vol. 3713, pp. 264\u2013278. Springer, Berlin (2005)","DOI":"10.1007\/11557432_19"},{"key":"429_CR90","first-page":"1","volume":"11","author":"PA Muller","year":"2010","unstructured":"Muller, P.A., Fondement, F., Baudry, B., Combemale, B.: Modeling modeling modeling. Softw. Syst. Model. 11, 1\u201313 (2010)","journal-title":"Softw. Syst. Model."},{"key":"429_CR91","unstructured":"Muller, P.A., Hassenforder, M.: HUTN as a bridge between ModelWare and grammarWare\u2014an experience report. In: Proceedings of the Workshop in Software Model Engineering Wisme (2005)"},{"key":"429_CR92","doi-asserted-by":"crossref","unstructured":"Mustafiz, S., Denil, J., L\u00facio, L., Vangheluwe, H.: The FTG+PM framework for multi-paradigm modelling: an automotive case study. In: Proceedings of the Multi-Paradigm Modelling Workshop (MPM). ACM (2012)","DOI":"10.1145\/2508443.2508446"},{"key":"429_CR93","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/j.entcs.2008.04.041","volume":"211","author":"A Narayanan","year":"2008","unstructured":"Narayanan, A., Karsai, G.: Towards verifying model transformations. Electron. Notes Theor. Comput. Sci. 211, 191\u2013200 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"429_CR94","doi-asserted-by":"crossref","unstructured":"Narayanan, A., Karsai, G.: Verifying model transformations by structural correspondence. Electronic Communications of the European Association of Software Science and Technology (EASST) 10 (2008)","DOI":"10.1016\/j.entcs.2008.04.041"},{"key":"429_CR95","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1023\/A:1008695316594","volume":"7","author":"J Padberg","year":"1999","unstructured":"Padberg, J.: Categorical approach to horizontal structuring and refinement of high-level replacement systems. Appl. Categ. Struct. 7, 371\u2013403 (1999)","journal-title":"Appl. Categ. Struct."},{"issue":"2","key":"429_CR96","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.entcs.2005.04.029","volume":"137","author":"RF Paige","year":"2005","unstructured":"Paige, R.F., Kolovos, D.S., Polack, F.A.C.: Refinement via consistency checking in MDA. Electron. Notes Theor. Comput. Sci. 137(2), 151\u2013161 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"3","key":"429_CR97","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J Peterson","year":"1977","unstructured":"Peterson, J.: Petri nets. ACM Comput. Surv. 9(3), 223\u2013252 (1977)","journal-title":"ACM Comput. Surv."},{"key":"429_CR98","unstructured":"Rahim, L.A., Whittle, J.: A survey of approaches for verifying model transformations. Software and Systems Modeling (SoSym), pp. 1\u201326 (2013)"},{"key":"429_CR99","doi-asserted-by":"crossref","unstructured":"Rensink, A.: The groove simulator: a tool for state space generation. In: Proceedings of the Second International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE), LNCS, vol. 3062, pp. 479\u2013485 (2003)","DOI":"10.1007\/978-3-540-25959-6_40"},{"key":"429_CR100","doi-asserted-by":"crossref","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: On the behavioral semantics of real-time domain specific visual languages. In: Workshop Proceedings of WRLA\u201910 @ ETAPS\u201910, pp. 174\u2013190 (2010)","DOI":"10.1007\/978-3-642-16310-4_12"},{"key":"429_CR101","doi-asserted-by":"crossref","unstructured":"Rivera, J., Guerra, E., de Lara, J., Vallecillo, A.: Analyzing rule-based behavioral semantics of visual modeling languages with maude. In: Proceedings of the International Conference on Software Language Engineering (SLE), pp. 54\u201373. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-00434-6_5"},{"issue":"6","key":"429_CR102","doi-asserted-by":"crossref","first-page":"187","DOI":"10.5381\/jot.2007.6.9.a10","volume":"6","author":"JR Romero","year":"2007","unstructured":"Romero, J.R., Rivera, J.E., Duran, F., Vallecillo, A.: Formal and tool support for model driven engineering with maude. J. Object Technol. 6(6), 187\u2013207 (2007)","journal-title":"J. Object Technol."},{"key":"429_CR103","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: The epsilon object language (EOL). In: Proceedings of ECMDA-FA\u201906, pp. 128\u2013142 (2006)","DOI":"10.1007\/11787044_11"},{"key":"429_CR104","doi-asserted-by":"crossref","unstructured":"Sch\u00e4tz, B., Holzl, F., Lundkvist, T.: Design-space exploration through constraint-based model-transformation. In: Proceedings of the international conference and workshops on engineering of computer based systems, ECBS\u201910, pp. 173\u2013182 (2010)","DOI":"10.1109\/ECBS.2010.25"},{"key":"429_CR105","doi-asserted-by":"crossref","unstructured":"Scheidgen, M., Fischer, J.: Human comprehensible and machine processable specifications of operational semantics. In: Proceedings of the Third European Conference on Model Driven Architecture Foundations and Applications (ECMDA-FA\u201907), LNCS, vol. 4530, pp. 157\u2013171. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-72901-3_12"},{"key":"429_CR106","doi-asserted-by":"crossref","unstructured":"Scholz, P.: A refinement calculus for statecharts. In: E. Astesiano (ed.) Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE), LNCS, vol. 1382, pp. 285\u2013301. Springer, Berlin (1998)","DOI":"10.1007\/BFb0053597"},{"key":"429_CR107","doi-asserted-by":"crossref","unstructured":"Sen, S., Moha, N., Baudry, B., J\u00e9z\u00e9quel, J.M.: Meta-model pruning. In: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (Models), pp. 32\u201346. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_4"},{"issue":"5","key":"429_CR108","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."},{"issue":"10","key":"429_CR109","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1109\/TSMC.1976.4309432","volume":"6","author":"R Shannon","year":"1976","unstructured":"Shannon, R., Johannes, J.D.: Systems simulation: the art and science. IEEE Trans. Syst. Man Cybern. 6(10), 723\u2013724 (1976)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"429_CR110","volume-title":"Model-Driven Software Development\u2014Technology, Engineering, Management","author":"T Stahl","year":"2006","unstructured":"Stahl, T., Voelter, M., Czarnecki, K.: Model-Driven Software Development\u2014Technology, Engineering, Management. Wiley, London (2006)"},{"key":"429_CR111","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/s10270-006-0025-9","volume":"6","author":"R Straeten Van der","year":"2007","unstructured":"Van der Straeten, R., Jonckers, V., Mens, T.: A formal approach to model refactoring and model refinement. Softw. Syst. Model. 6, 139\u2013162 (2007)","journal-title":"Softw. Syst. Model."},{"key":"429_CR112","doi-asserted-by":"crossref","unstructured":"Syriani, E., Vangheluwe, H.: Programmed graph rewriting with time for simulation-based design. In: Proceedings of the First International Conference on Theory and Practice of Model Transformations (ICMT), LNCS, vol. 5063, pp. 91\u2013106. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69927-9_7"},{"key":"429_CR113","unstructured":"Syriani, E.: A multi-paradigm foundation for model transformation language engineering. Ph.D. thesis, McGill University (2011)"},{"key":"429_CR114","doi-asserted-by":"crossref","unstructured":"Syriani, E., Ergin, H.: Operational semantics of UML activity diagram: an application in project management. In: Proceedings of RE 2012 Workshops. IEEE (2012)","DOI":"10.1109\/MoDRE.2012.6360083"},{"key":"429_CR115","doi-asserted-by":"crossref","unstructured":"Syriani, E., Gray, J., Vangheluwe, H.: Modeling a model transformation language. In: Domain Engineering: Product Lines, Conceptual Models, and Languages. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-36654-3_9"},{"key":"429_CR116","doi-asserted-by":"crossref","unstructured":"Syriani, E., Vangheluwe, H.: DEVS as a semantic domain for programmed graph transformation, chap. 1, pp. 3\u201328. CRC Press, Boca Raton (2010)","DOI":"10.1201\/b10412-3"},{"key":"429_CR117","first-page":"1","volume":"11","author":"E Syriani","year":"2011","unstructured":"Syriani, E., Vangheluwe, H.: A modular timed model transformation language. Softw. Syst. Model. 11, 1\u201328 (2011)","journal-title":"Softw. Syst. Model."},{"key":"429_CR118","unstructured":"Syriani, E., Vangheluwe, H., Mannadiar, R., Hansen, C., Van Mierlo, S., Ergin, H.: AToMPM: a web-based modeling environment. In: MODELS\u201913 Demonstrations. CEUR (2013)"},{"key":"429_CR119","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\u2014Foundations and Applications ECMDA-FA, LNCS, vol. 5562, pp. 18\u201333. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02674-4_3"},{"key":"429_CR120","doi-asserted-by":"crossref","unstructured":"Torlak, E., Jackson, D.: Kodkod: a relational model finder. In: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 4424, pp. 632\u2013647. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"429_CR121","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/s10270-004-0070-1","volume":"4","author":"L Tratt","year":"2005","unstructured":"Tratt, L.: Model transformation and tool integration. Softw. Syst. Model. 4, 112\u2013122 (2005)","journal-title":"Softw. Syst. Model."},{"key":"429_CR122","doi-asserted-by":"crossref","unstructured":"Tri, D., Tho, Q.: Systematic diagram refinement for code generation in SEAM. In: Proceedings of the Fourth International Conference on Knowledge and Systems Engineering (KSE), pp. 203\u2013210. IEEE (2012)","DOI":"10.1109\/KSE.2012.39"},{"key":"429_CR123","doi-asserted-by":"crossref","unstructured":"Troya, J., Rivera, J.E., Vallecillo, A.: On the specification of non-functional properties of systems by observation. In: Models in Software Engineering, Workshops and Symposia at MODELS 2009, Reports and Revised Selected Papers, LNCS, vol. 6002, pp. 296\u2013309. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-12261-3_28"},{"issue":"1","key":"429_CR124","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1016\/j.infsof.2012.07.009","volume":"55","author":"Javier Troya","year":"2013","unstructured":"Troya, Javier, Vallecillo, Antonio, Dur\u00e1n, Francisco, Zschaler, Steffen: Model-driven performance analysis of rule-based domain specific visual models. Inf. Softw. Technol. 55(1), 88\u2013110 (2013)","journal-title":"Inf. Softw. Technol."},{"key":"429_CR125","doi-asserted-by":"crossref","unstructured":"Vallecillo, A., Gogolla, M.: Typing model transformations using tracts. In: Proceedings of the 5th International Conference on the Theory and Practice of Model Transformations (ICMT), LNCS, vol. 7307, pp. 56\u201371. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-30476-7_4"},{"key":"429_CR126","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: Proceedings of the International Conference on Graph Transformations (ICGT), pp. 260\u2013274. Springer, Berlin (2006)","DOI":"10.1007\/11841883_19"},{"key":"429_CR127","unstructured":"Varr\u00f3, D., Pataricza, A.: Automated formal verification of model transformations. In: J\u00fcrjens, J., Rumpe, B., France, R., Fernandez, E.B. (eds.) Proceedings of the UML\u201903 Workshop CSDUML 2003: Critical Systems Development in UML, TUM-I0323, pp. 63\u201378. Technische Universit\u00e4t M\u00fcnchen (2003)"},{"key":"429_CR128","unstructured":"Viehstaedt, G., Minas, M.: DiaGen: a generator for diagram editors based on a hypergraph model. In: Proceedings of the International Workshop on Next Generation Information Technologies and Systems, pp. 155\u2013162 (1995)"},{"key":"429_CR129","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1016\/j.jsc.2004.12.011","volume":"40","author":"E Visser","year":"2005","unstructured":"Visser, E.: A survey of strategies in rule-based program transformation systems. J. Symb. Comput. 40, 831\u2013873 (2005)","journal-title":"J. Symb. Comput."},{"key":"429_CR130","unstructured":"Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Sch\u00f6nb\u00f6ck, J., Schwinger, W.: Right or wrong?\u2014Verification of model transformations using colored petri nets. In: Proceedings of the 9th OOPSLA Workshop on Domain-Specific Modeling (DSM) (2009)"},{"key":"429_CR131","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Kramler, G.: Bridging grammarware and modelware. In: Proceedings of MoDELS Satellite Events, pp. 159\u2013168 (2005)","DOI":"10.1007\/11663430_17"},{"key":"429_CR132","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/j.entcs.2008.04.038","volume":"211","author":"J Winkelmann","year":"2008","unstructured":"Winkelmann, J., Taentzer, G., Ehrig, K., K\u00fcster, J.M.: Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars. Electron. Notes Theor. Comput. Sci. 211, 159\u2013170 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"429_CR133","unstructured":"Withall, S.: Software Requirement Patterns. Microsoft Press, Redmond (2007)"},{"key":"429_CR134","doi-asserted-by":"crossref","unstructured":"Yu, E.S., Mylopoulos, J.: Understanding \u201cWhy\u201d in software process modelling, analysis, and design. In: Proceedings of the International Conference on Software Engineering (ICSE), pp. 159\u2013168 (1994)","DOI":"10.1109\/ICSE.1994.296775"},{"key":"429_CR135","doi-asserted-by":"crossref","unstructured":"Zhang, J., Lin, Y., Gray, J.: Generic and domain-specific model refactoring using a model transformation engine. In: Volume II of Research and Practice in Software Engineering, pp. 199\u2013218. Springer, Berlin (2005)","DOI":"10.1007\/3-540-28554-7_9"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0429-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0429-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0429-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T21:04:00Z","timestamp":1746306240000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-014-0429-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,18]]},"references-count":135,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,7]]}},"alternative-id":["429"],"URL":"https:\/\/doi.org\/10.1007\/s10270-014-0429-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,18]]}}}