{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:35:52Z","timestamp":1773246952141,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":78,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642309816","type":"print"},{"value":"9783642309823","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30982-3_4","type":"book-chapter","created":{"date-parts":[[2012,6,26]],"date-time":"2012-06-26T02:04:30Z","timestamp":1340676270000},"page":"91-136","source":"Crossref","is-referenced-by-count":8,"title":["Model Transformations"],"prefix":"10.1007","author":[{"given":"Davide","family":"Di Ruscio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romina","family":"Eramo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfonso","family":"Pierantonio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D. Schmidt","year":"2006","unstructured":"Schmidt, D.: Guest Editor\u2019s Introduction: Model-Driven Engineering. Computer\u00a039(2), 25\u201331 (2006)","journal-title":"Computer"},{"issue":"2","key":"4_CR2","doi-asserted-by":"publisher","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. Jour. on Software and Systems Modeling (SoSyM)\u00a04(2), 171\u2013188 (2005)","journal-title":"Jour. on Software and Systems Modeling (SoSyM)"},{"key":"4_CR3","first-page":"111","volume-title":"Proceedings of the 13th International Software Product Line Conference, SPLC 2009","author":"J. Bosch","year":"2009","unstructured":"Bosch, J.: From software product lines to software ecosystems. In: Proceedings of the 13th International Software Product Line Conference, SPLC 2009, pp. 111\u2013119. Carnegie Mellon University, Pittsburgh (2009)"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/s10270-004-0070-1","volume":"4","author":"L. Tratt","year":"2005","unstructured":"Tratt, L.: Model transformations and tool integration. Jour. on Software and Systems Modeling (SoSyM)\u00a04(2), 112\u2013122 (2005)","journal-title":"Jour. on Software and Systems Modeling (SoSyM)"},{"key":"4_CR5","unstructured":"Object Management Group (OMG): MOF 2.0 Query\/Views\/Transformations RFP, OMG document ad\/02-04-10 (2002)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-88643-3_7","volume-title":"GTTSE 2007","author":"E. Visser","year":"2008","unstructured":"Visser, E.: WebDSL: A Case Study in Domain-Specific Language Engineering. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol.\u00a05235, pp. 291\u2013373. Springer, Heidelberg (2008)"},{"issue":"1-6","key":"4_CR7","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S1389-1286(00)00040-2","volume":"33","author":"S. Ceri","year":"2000","unstructured":"Ceri, S., Fraternali, P., Bongio, A.: Web Modeling Language (WebML): a Modeling Language for Designing Web sites. Computer Networks\u00a033(1-6), 137\u2013157 (2000)","journal-title":"Computer Networks"},{"issue":"3","key":"4_CR8","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1504\/IJWET.2004.005236","volume":"1","author":"D. Ruscio Di","year":"2004","unstructured":"Di Ruscio, D., Muccini, H., Pierantonio, A.: A Data Modeling Approach to Web Application Synthesis. Int. Jour. of Web Engineering and Technology\u00a01(3), 320\u2013337 (2004)","journal-title":"Int. Jour. of Web Engineering and Technology"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1007\/978-3-642-02818-2_52","volume-title":"Web Engineering","author":"A. Cicchetti","year":"2009","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Maccarrone, F., Pierantonio, A.: beContent: A Model-Driven Platform for Designing and Maintaining Web Applications. In: Gaedke, M., Grossniklaus, M., D\u00edaz, O. (eds.) ICWE 2009. LNCS, vol.\u00a05648, pp. 518\u2013522. Springer, Heidelberg (2009)"},{"key":"4_CR10","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Model Differences for Supporting Model Co-evolution. In: Procs. MoDSE, 2nd Workshop on Model-Driven Software Evolution (2008)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-13688-7_13","volume-title":"Theory and Practice of Model Transformations","author":"L.M. Rose","year":"2010","unstructured":"Rose, L.M., Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Model Migration with Epsilon Flock. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol.\u00a06142, pp. 184\u2013198. Springer, Heidelberg (2010)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Herrmannsdoerfer, M., Benz, S., Juergens, E.: Cope - automating coupled evolution of metamodels and models, pp. 52\u201376 (2009)","DOI":"10.1007\/978-3-642-03013-0_4"},{"key":"4_CR13","unstructured":"Di Cosmo, R., Di Ruscio, D., Pelliccione, P., Pierantonio, A., Zacchiroli, S.: Supporting software evolution in component-based foss systems. Technical Report TRCS 003\/2010, Computer Science Department, University of L\u2019Aquila (2010)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/978-3-540-88643-3_10","volume-title":"Generative and Transformational Techniques in Software Engineering II","author":"P. Stevens","year":"2008","unstructured":"Stevens, P.: A Landscape of Bidirectional Model Transformations. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol.\u00a05235, pp. 408\u2013424. Springer, Heidelberg (2008)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-642-02408-5_15","volume-title":"Theory and Practice of Model Transformations","author":"Y. Xiong","year":"2009","unstructured":"Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Supporting Parallel Updates with Bidirectional Model Transformations. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 213\u2013228. Springer, Heidelberg (2009)"},{"key":"4_CR16","volume-title":"Program evolution: processes of software change","year":"1985","unstructured":"Lehman, M.M., Belady, L.A. (eds.): Program evolution: processes of software change. Academic Press Professional, Inc., San Diego (1985)"},{"key":"4_CR17","unstructured":"Favre, J.M.: Meta-Model and Model Co-evolution within the 3D Software Space. In: Procs. of the Int. Workshop on Evolution of Large-scale Industrial Software Applications (ELISA) at ICSM 2003, Amsterdam (September 2003)"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1007\/978-3-540-73589-2_28","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"G. Wachsmuth","year":"2007","unstructured":"Wachsmuth, G.: Metamodel Adaptation and Model Co-adaptation. In: Bateni, M. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 600\u2013624. Springer, Heidelberg (2007)"},{"issue":"5","key":"4_CR19","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B. Selic","year":"2003","unstructured":"Selic, B.: The Pragmatics of Model-driven Development. IEEE Software\u00a020(5), 19\u201325 (2003)","journal-title":"IEEE Software"},{"key":"4_CR20","unstructured":"Object Management Group (OMG): MDA Guide version 1.0.1, OMG Document: omg\/2003-06-01 (2003)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-47884-1_16","volume-title":"Integrated Formal Methods","author":"S. Kent","year":"2002","unstructured":"Kent, S.: Model Driven Engineering. In: Butler, M.J., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 286\u2013298. Springer, Heidelberg (2002)"},{"key":"4_CR22","unstructured":"Favre, J.M.: Towards a Basic Theory to Model Model Driven Engineering. In: Procs. of the 3rd Int. Workshop in Software Model Engineering (WiSME 2004) (2004)"},{"key":"4_CR23","unstructured":"Object Management Group (OMG): Meta Object Facility (MOF) 2.0 Core Specification, OMG Document ptc\/03-10-04 (2003), \n                  \n                    http:\/\/www.omg.org\/docs\/ptc\/03-10-04.pdf"},{"key":"4_CR24","unstructured":"Object Management Group (OMG): Unified Modelling Language (UML) V1.4 (2001)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Object Management Group (OMG): XMI Specification, v1.2, OMG Document formal\/02-01-01 (2002)","DOI":"10.1016\/S1351-4180(02)00809-7"},{"issue":"5","key":"4_CR26","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MS.2003.1231147","volume":"20","author":"E. Seidewitz","year":"2003","unstructured":"Seidewitz, E.: What Models Mean. IEEE Software\u00a020(5), 26\u201332 (2003)","journal-title":"IEEE Software"},{"key":"4_CR27","first-page":"273","volume-title":"Automated Software Engineering (ASE 2001)","author":"J. B\u00e9zivin","year":"2001","unstructured":"B\u00e9zivin, J., Gerb\u00e9, O.: Towards a Precise Definition of the OMG\/MDA Framework. In: Automated Software Engineering (ASE 2001), pp. 273\u2013282. IEEE Computer Society, Los Alamitos (2001)"},{"issue":"5","key":"4_CR28","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MS.2003.1231145","volume":"20","author":"S.J. Mellor","year":"2003","unstructured":"Mellor, S.J., Clark, A.N., Futagami, T.: Guest Editors\u2019 Introduction: Model-Driven Development. IEEE Software\u00a020(5), 14\u201318 (2003)","journal-title":"IEEE Software"},{"key":"4_CR29","unstructured":"Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.: Eclipse Modeling Framework. Addison Wesley (2003)"},{"key":"4_CR30","unstructured":"Aksit, M., Kurtev, I., B\u00e9zivin, J.: Technological Spaces: an Initial Appraisal. In: International Federated Conf. (DOA, ODBASE, CoopIS), Industrial Track, Los Angeles (2002)"},{"key":"4_CR31","unstructured":"Kleppe, A., Warmer, J.: MDA Explained. The Model Driven Architecture: Practice and Promise. Addison-Wesley (2003)"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Helsen, S.: Feature-based Survey of Model Transformation Approaches. IBM Systems J.\u00a045(3) (June 2006)","DOI":"10.1147\/sj.453.0621"},{"key":"4_CR33","unstructured":"Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Varr\u00f3, D., Varr\u00f3-Gyapay, S.: Model Transformation by Graph Transformation: A Comparative Study. In: ACM\/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica (October 2005)"},{"key":"4_CR34","unstructured":"OMG: MOF QVT Final Adopted Specification, OMG Adopted Specification ptc\/05-11-01 (2005)"},{"key":"4_CR35","unstructured":"Xactium: Xmf-mosaic, \n                  \n                    http:\/\/xactium.com"},{"key":"4_CR36","unstructured":"Vojtisek, D., J\u00e9z\u00e9quel, J.M.: MTL and Umlaut NG: Engine and Framework for Model Transformation, \n                  \n                    http:\/\/www.ercim.org\/publication\/Ercim_News\/enw58\/vojtisek.html"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"Muller, P.A., Fleurey, F., J\u00e9z\u00e9quel, J.M.: Weaving Executability into Object-Oriented Metalanguages. In: ACM\/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, pp. 264\u2013278 (2005)","DOI":"10.1007\/11557432_19"},{"key":"4_CR38","unstructured":"Didonet Del Fabro, M., Bezivin, J., Jouault, F., Breton, E., Gueltas, G.: AMW: A generic Model Weaver. In: Int. Conf. on Software Engineering Research and Practice (SERP 2005) (2005)"},{"issue":"1","key":"4_CR39","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.scico.2007.10.002","volume":"70","author":"A. Cicchetti","year":"2008","unstructured":"Cicchetti, A., Di Ruscio, D.: Decoupling Web Application Concerns through Weaving Operations. Science of Computer Programming\u00a070(1), 62\u201386 (2008)","journal-title":"Science of Computer Programming"},{"key":"4_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/3-540-45832-8_9","volume-title":"Graph Transformation","author":"A. Gerber","year":"2002","unstructured":"Gerber, A., Lawley, M., Raymond, K., Steel, J., Wood, A.: Transformation: The Missing Link of MDA. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 90\u2013105. Springer, Heidelberg (2002)"},{"key":"4_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-19440-5_11","volume-title":"Software Language Engineering","author":"A. Cicchetti","year":"2011","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: JTL: A Bidirectional and Change Propagating Transformation Language. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol.\u00a06563, pp. 183\u2013202. Springer, Heidelberg (2011)"},{"key":"4_CR42","first-page":"1070","volume-title":"Proceedings of the Fifth Int. Conf. on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Kowalski, R.A., Bowen, K. (eds.) Proceedings of the Fifth Int. Conf. on Logic Programming, pp. 1070\u20131080. The MIT Press, Cambridge (1988)"},{"key":"4_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"key":"4_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-69927-9_4","volume-title":"Theory and Practice of Model Transformations","author":"D.S. Kolovos","year":"2008","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The Epsilon Transformation Language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 46\u201360. Springer, Heidelberg (2008)"},{"key":"4_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-25959-6_35","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G. Taentzer","year":"2004","unstructured":"Taentzer, G.: AGG: A\u00a0Graph Transformation Environment for Modeling and Validation of Software. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 446\u2013453. Springer, Heidelberg (2004)"},{"key":"4_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-45923-5_12","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Lara de","year":"2002","unstructured":"de Lara, J., Vangheluwe, H.: AToM3: A Tool for Multi-formalism and Meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 174\u2013188. Springer, Heidelberg (2002), \n                  \n                    http:\/\/link.springer.de\/link\/service\/series\/0558\/bibs\/2306\/23060174.htm"},{"issue":"2","key":"4_CR47","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0167-6423(02)00039-4","volume":"44","author":"D. Varr\u00f3","year":"2002","unstructured":"Varr\u00f3, D., Varr\u00f3, G., Pataricza, A.: Designing the automatic transformation of visual languages. Science of Computer Programming\u00a044(2), 205\u2013227 (2002)","journal-title":"Science of Computer Programming"},{"key":"4_CR48","doi-asserted-by":"crossref","unstructured":"Agrawal, A., Karsai, G., Kalmar, Z., Neema, S., Shi, F., Vizhanyo, A.: The Design of a Language for Model Transformations. Journal of Software and System Modeling (2005)","DOI":"10.1007\/s10270-006-0027-7"},{"key":"4_CR49","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.entcs.2005.12.015","volume":"148","author":"A. Konigs","year":"2006","unstructured":"Konigs, A., Schurr, A.: Tool Integration with Triple Graph Grammars - A Survey. Electronic Notes in Theoretical Computer Science\u00a0148, 113\u2013150 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"4_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1007\/978-3-642-24485-8_46","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Wagelaar","year":"2011","unstructured":"Wagelaar, D., Tisi, M., Cabot, J., Jouault, F.: Towards a General Composition Semantics for Rule-Based Model Transformation. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MoDELS 2011. LNCS, vol.\u00a06981, pp. 623\u2013637. Springer, Heidelberg (2011)"},{"key":"4_CR51","unstructured":"Object Management Group (OMG): OCL 2.0 Specification, OMG Document formal\/2006-05-01 (2006)"},{"key":"4_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-44919-1_31","volume-title":"Applications and Theory of Petri Nets 2003","author":"J. Billington","year":"2003","unstructured":"Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri Net Markup Language: Concepts, Technology, and Tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 483\u2013505. Springer, Heidelberg (2003)"},{"key":"4_CR53","unstructured":"Extensible Platform for Specification of Integrated Languages for mOdel maNagement (Epsilon), \n                  \n                    http:\/\/www.eclipse.org\/gmt\/epsilon"},{"key":"4_CR54","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines - A Method for High-Level System Design and Analysis. Springer (2003)","DOI":"10.1007\/978-3-642-18216-7"},{"key":"4_CR55","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Pataricza, A.: Generic and Meta-Transformations for Model Transformation Engineering. In: International Conference on the Unified Modeling Language, pp. 290\u2013304 (2004)","DOI":"10.1007\/978-3-540-30187-5_21"},{"key":"4_CR56","unstructured":"Object Management Group (OMG): MOF 2.0 QVT Final Adoptet Specification v1.1, OMG Adopted Specification formal\/2011-01-01 (2011)"},{"key":"4_CR57","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Software and Systems Modeling\u00a08 (2009)"},{"key":"4_CR58","unstructured":"Steven Witkop: MDA users\u2019 requirements for QVT transformations, OMG document 05-02-04 (2005)"},{"key":"4_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-02408-5_19","volume-title":"Theory and Practice of Model Transformations","author":"K. Czarnecki","year":"2009","unstructured":"Czarnecki, K., Foster, J.N., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.F.: Bidirectional Transformations: A Cross-Discipline Perspective\u2014GRACE Meeting Notes, State of the Art, and Outlook. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 260\u2013283. Springer, Heidelberg (2009)"},{"key":"4_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11581741_10","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"K. Chen","year":"2005","unstructured":"Chen, K., Sztipanovits, J., Abdelwalhed, S., Jackson, E.: Semantic Anchoring with Model Transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 115\u2013129. Springer, Heidelberg (2005)"},{"key":"4_CR61","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning (2004)"},{"issue":"3","key":"4_CR62","doi-asserted-by":"publisher","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. Journal of Object Technology\u00a07(3), 107\u2013126 (2008)","journal-title":"Journal of Object Technology"},{"key":"4_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-69927-9_3","volume-title":"Theory and Practice of Model Transformations","author":"T. Hettel","year":"2008","unstructured":"Hettel, T., Lawley, M., Raymond, K.: Model Synchronisation: Definitions for Round-Trip Engineering. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 31\u201345. Springer, Heidelberg (2008)"},{"key":"4_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11538097_3","volume-title":"Model Driven Architecture","author":"J. B\u00e9zivin","year":"2005","unstructured":"B\u00e9zivin, J., Jouault, F., Rosenthal, P., Valduriez, P.: Modeling in the Large and Modeling in the Small. In: A\u00dfmann, U., Aksit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol.\u00a03599, pp. 33\u201346. Springer, Heidelberg (2005)"},{"key":"4_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-87875-9_23","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Cicchetti","year":"2008","unstructured":"Cicchetti, A., Di Ruscio, D., Pierantonio, A.: Managing Model Conflicts in Distributed Development. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MoDELS 2008. LNCS, vol.\u00a05301, pp. 311\u2013325. Springer, Heidelberg (2008)"},{"key":"4_CR66","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Di\u00a0Ruscio, D., Iovino, L., Pierantonio, A.: Managing the evolution of data-intensive web applications by model-driven techniques. Software and Systems Modeling (2011)","DOI":"10.1007\/s10270-011-0193-0"},{"key":"4_CR67","unstructured":"Gruschko, B., Kolovos, D., Paige, R.: Towards Synchronizing Models with Evolving Metamodels. In: Proceedings of the Workshop on Model-Driven Software Evolution, MODSE 2007 (2007)"},{"key":"4_CR68","unstructured":"Lin, Y., Zhang, J., Gray, J.: Model Comparison: A Key Challenge for Transformation Testing and Version Control in Model Driven Software Development. In: OOPSLA Workshop on Best Practices for Model-Driven Software Development (2004)"},{"issue":"9","key":"4_CR69","doi-asserted-by":"publisher","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. Journal of Object Technology\u00a06(9), 165\u2013185 (2007)","journal-title":"Journal of Object Technology"},{"key":"4_CR70","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-540-69824-1_9","volume-title":"Objects, Components, Models and Patterns","author":"J. Rivera","year":"2008","unstructured":"Rivera, J., Vallecillo, A.: Representing and Operating with Model Differences. In: Objects, Components, Models and Patterns. LNBIP, vol.\u00a011, pp. 141\u2013160. Springer, Heidelberg (2008)"},{"key":"4_CR71","unstructured":"Brun, C., Pierantonio, A.: Model Differences in the Eclipse Modeling Framework. Upgrade, Special Issue on Model-Driven Software Development (April-May 2008)"},{"key":"4_CR72","first-page":"295","volume-title":"ESEC-FSE 2007: Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"C. Treude","year":"2007","unstructured":"Treude, C., Berlik, S., Wenzel, S., Kelter, U.: Difference computation of large models. In: ESEC-FSE 2007: Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 295\u2013304. ACM, New York (2007)"},{"key":"4_CR73","unstructured":"Cicchetti, A.: Difference Representation and Conflict Management in Model-Driven Engineering. PhD thesis, University of L\u2019Aquila, Computer Science Dept. (2008)"},{"key":"4_CR74","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-642-02408-5_4","volume-title":"Theory and Practice of Model Transformations","author":"A. Cicchetti","year":"2009","unstructured":"Cicchetti, A., Di Ruscio, D., Pierantonio, A.: Managing Dependent Changes in Coupled Evolution. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 35\u201351. Springer, Heidelberg (2009)"},{"key":"4_CR75","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-642-21732-6_5","volume-title":"Theory and Practice of Model Transformations","author":"J. S\u00e1nchez Cuadrado","year":"2011","unstructured":"S\u00e1nchez Cuadrado, J., Guerra, E., de Lara, J.: Generic Model Transformations: Write Once, Reuse Everywhere. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol.\u00a06707, pp. 62\u201377. Springer, Heidelberg (2011)"},{"issue":"4","key":"4_CR76","doi-asserted-by":"publisher","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. Software and System Modeling\u00a06(4), 401\u2013413 (2007)","journal-title":"Software and System Modeling"},{"key":"4_CR77","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/978-3-642-30982-3_11","volume-title":"SFM 2011","author":"A. Vallecillo","year":"2012","unstructured":"Vallecillo, A., Gogolla, M., Burgue\u00f1o, L., Wimmer, M., Hamann, L.: Formal Specification and Testing of Model Transformations. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.) SFM 2012. LNCS, vol.\u00a07320, pp. 399\u2013437. Springer, Heidelberg (2012)"},{"key":"4_CR78","series-title":"Lecture Notes in Computer Science","volume-title":"SFM 2011","year":"2012","unstructured":"Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.): SFM 2011. LNCS, vol.\u00a07320. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Model-Driven Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30982-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T16:25:38Z","timestamp":1556900738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30982-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642309816","9783642309823"],"references-count":78,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30982-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}