{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:27:05Z","timestamp":1725470825060},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336539"},{"type":"electronic","value":"9783642336546"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33654-6_22","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T03:47:41Z","timestamp":1347940061000},"page":"326-340","source":"Crossref","is-referenced-by-count":11,"title":["Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution"],"prefix":"10.1007","author":[{"given":"Gabriele","family":"Taentzer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Mantz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yngve","family":"Lamo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Bisztray, D., Heckel, R., Ehrig, H.: Verification of Architectural Refactorings: Rule Extraction and Tool Support. ECEASST 16 (2008)","DOI":"10.1007\/978-3-642-10248-6_13"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: Automating Co-evolution in Model-Driven Engineering. In: ECOC 2008, pp. 222\u2013231. IEEE Computer Society (2008)","DOI":"10.1109\/EDOC.2008.44"},{"key":"22_CR3","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer (2006)"},{"issue":"1","key":"22_CR4","first-page":"31","volume":"74","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories. Fundam. Inform.\u00a074(1), 31\u201361 (2006)","journal-title":"Fundam. Inform."},{"key":"22_CR5","first-page":"139","volume":"98","author":"H. Ehrig","year":"2009","unstructured":"Ehrig, H., Hermann, F., Prange, U.: Cospan DPO Approach: An Alternative for DPO Graph Transformation. EATCS Bulletin\u00a098, 139\u2013149 (2009)","journal-title":"EATCS Bulletin"},{"issue":"2","key":"22_CR6","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A. Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Mathematical Structures in Computer Science\u00a019(2), 245\u2013296 (2009)","journal-title":"Mathematical Structures in Computer Science"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-642-00593-0_22","volume-title":"Fundamental Approaches to Software Engineering","author":"F. Hermann","year":"2009","unstructured":"Hermann, F., Ehrig, H., Ermel, C.: Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 325\u2013339. Springer, Heidelberg (2009); long version available as TR 2008-07 at TU Berlin, Germany"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-03013-0_4","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"M. Herrmannsdoerfer","year":"2009","unstructured":"Herrmannsdoerfer, M., Benz, S., Juergens, E.: COPE - Automating Coupled Evolution of Metamodels and Models. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol.\u00a05653, pp. 52\u201376. Springer, Heidelberg (2009)"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-540-24727-2_20","volume-title":"Foundations of Software Science and Computation Structures","author":"S. Lack","year":"2004","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive Categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 273\u2013288. Springer, Heidelberg (2004)"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/3-540-45251-6_32","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity","author":"R. L\u00e4mmel","year":"2001","unstructured":"L\u00e4mmel, R.: Grammar Adaptation. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol.\u00a02021, pp. 550\u2013570. Springer, Heidelberg (2001)"},{"key":"22_CR11","unstructured":"Li, X.: A Survey of Schema Evolution in Object-Oriented Databases. In: TOOLS, pp. 362\u2013371. IEEE Computer Society (1999)"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Mantz, F., Jurack, S., Taentzer, G.: Graph Transformation Concepts for Meta-Model Evolution Guaranteeing Permanent Type conformance Throughout Model Migration. In: AGTIVE. LNCS, vol. 7233. Springer (2012)","DOI":"10.1007\/978-3-642-34176-2_3"},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1109\/TASE.2007.13","volume-title":"TASE 2007: Proceedings of the First Joint IEEE\/IFIP Symposium on Theoretical Aspects of Software Engineering","author":"M. Pizka","year":"2007","unstructured":"Pizka, M., Juergens, E.: Automating Language Evolution. In: TASE 2007: Proceedings of the First Joint IEEE\/IFIP Symposium on Theoretical Aspects of Software Engineering, pp. 305\u2013315. IEEE Computer Society, Washington, DC (2007)"},{"key":"22_CR14","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)"},{"issue":"4","key":"22_CR15","first-page":"422","volume":"81","author":"A. Rutle","year":"2012","unstructured":"Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A Formal Approach to the Specification and Transformation of Constraints in MDE. JLAP\u00a081(4), 422\u2013457 (2012)","journal-title":"JLAP"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Schulz, C., L\u00f6we, M., K\u00f6nig, H.: A Categorical Framework for the Transformation of Object-Oriented Systems: Models and Data. J. Symb. Comput. 46(3) (2011)","DOI":"10.1016\/j.jsc.2010.09.010"},{"issue":"3-4","key":"22_CR17","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.jvlc.2004.01.006","volume":"15","author":"J. Sprinkle","year":"2004","unstructured":"Sprinkle, J., Karsai, G.: A Domain-Specific Visual Language for Domain Model Evolution. J. Vis. Lang. Comput.\u00a015(3-4), 291\u2013307 (2004)","journal-title":"J. Vis. Lang. Comput."},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-16277-0_3","volume-title":"Model-Based Engineering of Embedded Real-Time Systems","author":"J. Sprinkle","year":"2010","unstructured":"Sprinkle, J., Rumpe, B., Vangheluwe, H., Karsai, G.: Metamodelling - State of the Art and Research Challenges. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Sch\u00e4tz, B. (eds.) MBEERTS. LNCS, vol.\u00a06100, pp. 57\u201376. Springer, Heidelberg (2010)"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Taentzer, G., Mantz, F., Lamo, Y.: Co-Transformation of Graphs and Type Graphs with Application to Model Co-Evolution: Long Version. Tech. rep., Dep. of Mathematics and Computer Science, University of Marburg, Germany (2012), \n                    \n                      http:\/\/www.uni-marburg.de\/fb12\/forschung\/berichte\/berichteinformtk","DOI":"10.1007\/978-3-642-33654-6_22"},{"key":"22_CR20","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)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33654-6_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:17:50Z","timestamp":1620130670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33654-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336539","9783642336546"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33654-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}