{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T07:00:33Z","timestamp":1761807633825,"version":"3.38.0"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,3,20]],"date-time":"2011-03-20T00:00:00Z","timestamp":1300579200000},"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":[[2012,7]]},"DOI":"10.1007\/s10270-011-0197-9","type":"journal-article","created":{"date-parts":[[2011,3,19]],"date-time":"2011-03-19T06:05:31Z","timestamp":1300514731000},"page":"431-461","source":"Crossref","is-referenced-by-count":49,"title":["Change-driven model transformations"],"prefix":"10.1007","volume":"11","author":[{"given":"G\u00e1bor","family":"Bergmann","sequence":"first","affiliation":[]},{"given":"Istv\u00e1n","family":"R\u00e1th","sequence":"additional","affiliation":[]},{"given":"Gergely","family":"Varr\u00f3","sequence":"additional","affiliation":[]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,3,20]]},"reference":[{"key":"197_CR1","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., Varr\u00f3, G., Varr\u00f3, D.: Change-driven model transformations. In: Proceedings of MODELS\u201909. ACM\/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (2009)","DOI":"10.1007\/978-3-642-04425-0_26"},{"key":"197_CR2","doi-asserted-by":"crossref","unstructured":"Hearnden, D., Lawley, M., Raymond, K.: 2006 Incremental model transformation for the evolution of model-driven systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems. LNCS, vol. 4199, pp. 321\u2013335, Genova, Italy. Springer, New York (October 2006)","DOI":"10.1007\/11880240_23"},{"key":"197_CR3","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., Bergmann, G., \u00d6kr\u00f6s, A., Varr\u00f3, D.: Live model transformations driven by incremental pattern matching. In: Theory and Practice of Model Transformations. LNCS, vol. 5063, pp. 107\u2013121. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69927-9_8"},{"key":"197_CR4","unstructured":"K\u00f6th, O., Minas, M.: Generating diagram editors providing free-hand editing as well as syntax-directed editing. In: Ehrig, H., Taentzer, G. (eds.) GRATRA 2000 Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems, pp. 32\u201339. Berlin, Germany (March 25\u201327, 2000)"},{"key":"197_CR5","doi-asserted-by":"crossref","unstructured":"de Lara, J., Vangheluwe, H.: AToM3: a tool for multi-formalism and meta-modelling. In: Kutsche, R.D., Weber, H. (eds.) 5th International Conference, FASE 2002: Fundamental Approaches to Software Engineering, Grenoble, France, April 8\u201312, 2002, Proceedings. LNCS, vol. 2306, pp. 174\u2013188. Springer (2002)","DOI":"10.1007\/3-540-45923-5_12"},{"key":"197_CR6","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1109\/TSE.2002.1000449","volume":"28","author":"T. Mens","year":"2002","unstructured":"Mens T.: A state-of-the-art survey on software merging. IEEE Trans. Softw. Eng. 28, 449\u2013462 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"197_CR7","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., \u00d6kr\u00f6s, A., Varr\u00f3, D.: Synchronization of abstract and concrete syntax in domain-specific modeling languages. J. Softw. Syst. Model. (2009, accepted)","DOI":"10.1007\/s10270-009-0122-7"},{"volume-title":"Handbook on Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2","year":"1999","key":"197_CR8","unstructured":"Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds): Handbook on Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2. World Scientific, Singapore (1999)"},{"key":"197_CR9","first-page":"319","volume-title":"Proceedings of 2nd International Conference on Graph Transformation (ICGT 2004), Rome, Italy. LNCS, vol. 3256","author":"A. Rensink","year":"2004","unstructured":"Rensink A.: Representing first-order logic using graphs. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds) Proceedings of 2nd International Conference on Graph Transformation (ICGT 2004), Rome, Italy. LNCS, vol. 3256, pp. 319\u2013335. Springer, Berlin (2004)"},{"key":"197_CR10","doi-asserted-by":"crossref","unstructured":"Orejas, F., Ehrig, H., Prange, U.: A logic of graph constraints. In: FASE\u201908\/ETAPS\u201908: Proceedings of the Theory and Practice of Software. 11th International Conference on Fundamental Approaches to Software Engineering, Berlin, Heidelberg, pp. 179\u2013198. Springer (2008)","DOI":"10.1007\/978-3-540-78743-3_14"},{"issue":"3","key":"197_CR11","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":"197_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-60365-4_116","volume-title":"Proceedings of 2nd International Workshop on Rules in Database Systems. LNCS, vol. 985","author":"K.R. Dittrich","year":"1995","unstructured":"Dittrich K.R., Gatziu S., Geppert A.: The active database management system manifesto: a rulebase of ADBMS features. In: Sellis, T. (eds) Proceedings of 2nd International Workshop on Rules in Database Systems. LNCS, vol. 985, pp. 1\u201317. Springer, Berlin (1995)"},{"key":"197_CR13","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., V\u00e1g\u00f3, D., Varr\u00f3, D.: Design-time simulation of domain-specific models by incremental pattern matching. In: 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC) (2008)","DOI":"10.1109\/VLHCC.2008.4639089"},{"issue":"3","key":"197_CR14","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1108\/17440080910983556","volume":"5","author":"K. Altmanninger","year":"2009","unstructured":"Altmanninger K., Seidl M., Wimmer M.: A survey on model versioning approaches. Int. J. Web Inf. Syst. 5(3), 271\u2013304 (2009)","journal-title":"Int. J. Web Inf. Syst."},{"issue":"3","key":"197_CR15","doi-asserted-by":"crossref","first-page":"107","DOI":"10.5381\/jot.2008.7.3.a3","volume":"7","author":"L. Tratt","year":"2008","unstructured":"Tratt L.: A change propagating model transformation language. J. Object Technol. 7(3), 107\u2013126 (2008)","journal-title":"J. Object Technol."},{"key":"197_CR16","doi-asserted-by":"crossref","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in UML design models. In: ASE\u201908: Proceedings of the 2008 23rd IEEE\/ACM International Conference on Automated Software Engineering, Washington, DC, USA, pp. 99\u2013108. IEEE Computer Society (2008)","DOI":"10.1109\/ASE.2008.20"},{"issue":"1","key":"197_CR17","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C.L. Forgy","year":"1982","unstructured":"Forgy C.L.: Rete: a fast algorithm for the many pattern\/many object pattern match problem. Artif. Intell. 19(1), 17\u201337 (1982)","journal-title":"Artif. Intell."},{"key":"197_CR18","doi-asserted-by":"crossref","unstructured":"Bergmann, G., \u00d6kr\u00f6s, A., R\u00e1th, I., Varr\u00f3, D., Varr\u00f3, G.: Incremental pattern matching in the VIATRA transformation system. In: GRaMoT\u201908, 3rd International Workshop on Graph and Model Transformation. 30th International Conference on Software Engineering (2008)","DOI":"10.1145\/1402947.1402953"},{"key":"197_CR19","doi-asserted-by":"crossref","unstructured":"Bergmann, G., \u00c1kos Horv\u00e1th, R\u00e1th, I., Varr\u00f3, D.: A benchmark evaluation of incremental pattern matching in graph transformation. In: ICGT2008, The 4th International Conference on Graph Transformation (2008)","DOI":"10.1145\/1402947.1402953"},{"key":"197_CR20","unstructured":"Horv\u00e1th, \u00c1., Varr\u00f3, G., Varr\u00f3, D.: Generic search plans for matching advanced graph patterns. In: Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007), Braga, Portugal, pp. 57\u201368. Electornic Communications of the EASST (March 31\u2013April 1, 2007)"},{"key":"197_CR21","unstructured":"Guerra, E., de Lara, J.: Event-driven grammars: towards the integration of meta-modelling and graph transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G., (eds.) Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28\u2013October 2, 2004, Proceedings. Lecture Notes in Computer Science, vol. 3256, pp. 54\u201369. Springer, New York (2004)"},{"issue":"3","key":"197_CR22","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. Softw. Syst. Model. 6(3), 317\u2013347 (2007)","journal-title":"Softw. Syst. Model."},{"key":"197_CR23","unstructured":"Mouratidis, H., Giorgini, P., Manson, G., Philp, I.: A natural extension of tropos methodology for modelling security. In: Agent Oriented Methodologies Workshop. Object Oriented Programming, Systems, Languages (OOPSLA), Seattle-USA. ACM (2002)"},{"key":"197_CR24","doi-asserted-by":"crossref","unstructured":"Tun, T.T., Yu, Y., Haley, C., Nuseibeh, B.: Model-based argument analysis for evolving security requirements. In: Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement, pp. 88\u201397. SSIRI \u201910, Washington, DC, USA. IEEE Computer Society (2010)","DOI":"10.1109\/SSIRI.2010.36"},{"key":"197_CR25","unstructured":"Haley, C.B., Laney, R.C., Nuseibeh, B., Hall, W.: Validating security requirements using structured toulmin-style argumentation (2005)"},{"key":"197_CR26","doi-asserted-by":"crossref","unstructured":"Yu, E.S.K.: Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of the 3rd IEEE Int. Symp. on Requirements Engineering, pp. 226\u2013235 (1997)","DOI":"10.1109\/ISRE.1997.566873"},{"key":"197_CR27","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: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) Proc. Third International Conference on Graph Transformation (ICGT 2006). LNCS, vol. 4178, pp. 260\u2013274, Natal, Brazil. Springer (2006)","DOI":"10.1007\/11841883_19"},{"key":"197_CR28","doi-asserted-by":"crossref","unstructured":"Heckel, R., K\u00fcster, J.M., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Graph Transformation, First International Conference, ICGT 2002, pp. 161\u2013176 (2002)","DOI":"10.1007\/3-540-45832-8_14"},{"key":"197_CR29","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Instant consistency checking for the UML. In: Proceedings of the 28th International Conference on Software Engineering, pp. 381\u2013390, New York, NY, USA. ACM (2006)","DOI":"10.1145\/1134285.1134339"},{"key":"197_CR30","volume-title":"Database Systems: The Complete Book","author":"H. Garcia-Molina","year":"2001","unstructured":"Garcia-Molina H., Ullman J.D., Widom J.: Database Systems: The Complete Book. Prentice-Hall, Englewood Cliffs (2001)"},{"key":"197_CR31","doi-asserted-by":"crossref","unstructured":"Seiri\u00f6, M., Berndtsson, M.: Design and implementation of an ECA rule markup language. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) Proc. of the 1st International Conference on Rules and Rule Markup Languages for the Semantic Web. LNCS, vol. 3791, pp. 98\u2013112, Galway, Ireland. Springer, New York (October 2005)","DOI":"10.1007\/11580072_9"},{"key":"197_CR32","unstructured":"OMG: MOF Query View Transformation Specification. Object Management Group (April 2008)"},{"issue":"1","key":"197_CR33","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P. Stevens","year":"2010","unstructured":"Stevens P.: Bidirectional model transformations in QVT: semantic issues and open questions. Softw. Syst. Model. 9(1), 7\u201320 (2010)","journal-title":"Softw. Syst. Model."},{"issue":"11","key":"197_CR34","doi-asserted-by":"crossref","first-page":"960","DOI":"10.1109\/32.730545","volume":"24","author":"J. Grundy","year":"1998","unstructured":"Grundy J., Hosking J., Mugridge W.B.: Inconsistency management for multiple-view software development environments. IEEE Trans. Softw. Eng. 24(11), 960\u2013981 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"197_CR35","doi-asserted-by":"crossref","unstructured":"Olsson, T., Grundy, J.: Supporting traceability and inconsistency management between software artefacts. In: Hamza, M.H. (ed.) Proceedings of the 2002 IASTED International Conference on Software Engineering and Applications, Cambridge, USA (November 2002)","DOI":"10.1002\/0471028959.sof332"},{"key":"197_CR36","unstructured":"Ducasse, S., Demeyer, S.: The FAMOOS Object-Oriented Reengineering Handbook. http:\/\/scg.unibe.ch\/archive\/famoos\/handbook\/4handbook.pdf . Accepted Oct 1999"},{"key":"197_CR37","doi-asserted-by":"crossref","unstructured":"Tichelaar, S., Ducasse, S., Demeyer, S.: FAMIX and XMI. In: Proceedings of the Seventh Working Conference on Reverse Engineering, pp. 296\u2013298, Brisbane, Australia. IEEE Computer Society (November 2000)","DOI":"10.1109\/WCRE.2000.891485"},{"issue":"3","key":"197_CR38","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1002\/smr.325","volume":"18","author":"T. G\u00eerba","year":"2006","unstructured":"G\u00eerba T., Ducasse S.: Modeling history to analyze software evolution. J. Softw. Maint. Evol. Res. Pract. 18(3), 207\u2013236 (2006)","journal-title":"J. Softw. Maint. Evol. Res. Pract."},{"key":"197_CR39","doi-asserted-by":"crossref","unstructured":"Narayanan, A., Levendovszky, T., Balasubramanian, D., Karsai, G.: Automatic domain model migration to manage metamodel evolution. In: Sch\u00fcrr, A., Selic, B. (eds.) Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science, vol. 5795, pp. 706\u2013711, Denver, Colorado, USA. Springer (2009)","DOI":"10.1007\/978-3-642-04425-0_57"},{"key":"197_CR40","unstructured":"Fabro, M.D.D., Bezivin, J., Jouault, F., Breton, E., Gueltas, G.: AMW: a generic model weaver. In: Proceedings of the 1\u00e8re Journ\u00e9e sur l\u2019Ing\u00e9nierie Dirig\u00e9e par les Mod\u00e8les (IDM05) (2005)"},{"key":"197_CR41","doi-asserted-by":"crossref","unstructured":"Seibel, A., Neumann, S., Giese, H.: Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance. Softw. Syst. Model. 009 (2009)","DOI":"10.1007\/s10270-009-0146-z"},{"key":"197_CR42","doi-asserted-by":"crossref","unstructured":"Alanen, M., Porres, I.: Difference and union of models. In: Stevens, P., Whittle, J., Booch, G. (eds.) Proceedings of the 6th International Conference on the Unified Modeling Language, Modeling Languages and Applications (UML 2003). LNCS, vol. 2863, pp. 2\u201317, San Francisco, California, USA. Springer (2003)","DOI":"10.1007\/978-3-540-45221-8_2"},{"issue":"9","key":"197_CR43","doi-asserted-by":"crossref","first-page":"165","DOI":"10.5381\/jot.2007.6.9.a9","volume":"6","author":"A. Cicchetti","year":"2007","unstructured":"Cicchetti A., Di Ruscio D., Pierantonio A.: A metamodel independent approach to difference representation. J. Object Technol. 6(9), 165\u2013185 (2007)","journal-title":"J. Object Technol."},{"key":"197_CR44","unstructured":"Gruschko, B., Kolovos, D.S., Paige, R.F.: Towards synchronizing models with evolving metamodels. In: Proceedings of International Workshop on Model-Driven Software Evolution held with the ECSMR (2007)"},{"key":"197_CR45","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: ASE \u201907: Proceedings of the Twenty-Second IEEE\/ACM International Conference on Automated Software Engineering, pp. 164\u2013173 (2007)","DOI":"10.1145\/1321631.1321657"},{"key":"197_CR46","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. Technical report, RWTH Aachen, Fachgruppe Informatik, Germany (1994)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"197_CR47","first-page":"543","volume-title":"Proceedings of 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006). LNCS, vol. 4199","author":"H. Giese","year":"2006","unstructured":"Giese H., Wagner R.: Incremental model synchronization with triple graph grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds) Proceedings of 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006). LNCS, vol. 4199, pp. 543\u2013557. Springer, New York (2006)"},{"key":"197_CR48","doi-asserted-by":"crossref","unstructured":"Klar, F., K\u00f6nigs, A., Sch\u00fcrr, A.: Model transformation in the large. In: ESEC-FSE \u201907: Proceedings of European Software Engineering Conference, pp. 285\u2013294, New York, NY, USA. ACM (2007)","DOI":"10.1145\/1287624.1287664"},{"issue":"2","key":"197_CR49","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s10270-004-0071-0","volume":"4","author":"S.M. Becker","year":"2005","unstructured":"Becker S.M., Haase T., Westfechtel B.: Model-based a-posteriori integration of engineering tools for incremental development processes. Softw. Syst. Model. 4(2), 123\u2013140 (2005)","journal-title":"Softw. Syst. Model."},{"key":"197_CR50","unstructured":"Jimenez, A.M.: Change propagation in the MDA: a model merging approach. Master\u2019s thesis, The University of Queensland (June 2005)"},{"key":"197_CR51","doi-asserted-by":"crossref","unstructured":"Heged\u00fcs, \u00c1., R\u00e1th, I., Varr\u00f3, D.: Back-annotation of simulation traces with change-driven model transformations. In: Proceedings of the Eigth International Conference on Software Engineering and Formal Methods (2010, accepted)","DOI":"10.1109\/SEFM.2010.28"},{"key":"197_CR52","doi-asserted-by":"crossref","unstructured":"Rensink, A.: Representing first-order logic using graphs. In: International Conference on Graph Transformations (ICGT). Lecture Notes in Computer Science, vol. 3256, pp. 319\u2013335. Springer, New York (2004)","DOI":"10.1007\/978-3-540-30203-2_23"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0197-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-011-0197-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0197-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T16:26:59Z","timestamp":1741105619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-011-0197-9"}},"subtitle":["Change (in) the rule to rule the change"],"short-title":[],"issued":{"date-parts":[[2011,3,20]]},"references-count":52,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,7]]}},"alternative-id":["197"],"URL":"https:\/\/doi.org\/10.1007\/s10270-011-0197-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2011,3,20]]}}}