{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:17:11Z","timestamp":1740097031094,"version":"3.37.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319091075"},{"type":"electronic","value":"9783319091082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09108-2_15","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T09:07:01Z","timestamp":1404464821000},"page":"222-236","source":"Crossref","is-referenced-by-count":0,"title":["Van Kampen Squares for Graph Transformation"],"prefix":"10.1007","author":[{"given":"Harald","family":"K\u00f6nig","sequence":"first","affiliation":[]},{"given":"Michael","family":"L\u00f6we","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Schulz","sequence":"additional","affiliation":[]},{"given":"Uwe","family":"Wolter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Ambler, S.: Refactoring Databases: Evolutionary Database Design. Addison-Wesley (2006)"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0022-4049(96)00028-X","volume":"119","author":"R. Brown","year":"1997","unstructured":"Brown, R., Janelidze, G.: Van Kampen Theorems for Categories of Covering Morphisms in Lextensive Categories. Journal of Pure and Applied Algebra\u00a0119, 255\u2013263 (1997)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1109\/EDOC.2008.44","volume-title":"Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference, EDOC 2008","author":"A. Cicchetti","year":"2008","unstructured":"Cicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: Automating Co-Evolution in Model-Driven Engineering. In: Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference, EDOC 2008, pp. 222\u2013231. IEEE Computer Society, Washington, DC (2008), \n                    \n                      http:\/\/dx.doi.org\/10.1109\/EDOC.2008.44"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11841883_4","volume-title":"Graph Transformations","author":"A. Corradini","year":"2006","unstructured":"Corradini, A., Heindel, T., Hermann, F., K\u00f6nig, B.: Sesqui-Pushout Rewriting. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 30\u201345. Springer, Heidelberg (2006)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Duval, D., Echahed, R., Prost, F., Ribeiro, L.: Transformation of Attributed Structures with Cloning (long version). CoRR abs\/1401.2751 (2014)","DOI":"10.1007\/978-3-642-54804-8_22"},{"key":"15_CR6","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformations. Springer (2006)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-30203-2_13","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Prange, U., Taentzer, G.: Fundamental Theory for Typed Attributed Graph Transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 161\u2013177. Springer, Heidelberg (2004)"},{"key":"15_CR8","unstructured":"Fiadeiro, J.L.: Categories for Software Engineering. Springer (2005)"},{"key":"15_CR9","unstructured":"Goldblatt, R.: Topoi: The Categorial Analysis of Logic. Dover Publications (1984)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-642-03741-2_23","volume-title":"Algebra and Coalgebra in Computer Science","author":"T. Heindel","year":"2009","unstructured":"Heindel, T., Soboci\u0144ski, P.: Van Kampen Colimits as Bicolimits in Span. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol.\u00a05728, pp. 335\u2013349. Springer, Heidelberg (2009), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/978-3-642-03741-2_23"},{"key":"15_CR11","unstructured":"Heum\u00fcller, M., Joshi, S., K\u00f6nig, B., St\u00fcckrath, J.: Construction of Pushout Complements in the Category of Hypergraphs. ECEASST\u00a039 (2011)"},{"issue":"1","key":"15_CR12","first-page":"42","volume":"1","author":"Z. Hu","year":"2011","unstructured":"Hu, Z., Sch\u00fcrr, A., Stevens, P., Terwilliger, J.: Bidirectional Transformation \u201cbx\u201d (Dagstuhl Seminar 11031). Dagstuhl Reports\u00a01(1), 42\u201367 (2011), \n                    \n                      http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2011\/3144","journal-title":"Dagstuhl Reports"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-25032-3_1","volume-title":"Formal Methods, Foundations and Applications","author":"H. K\u00f6nig","year":"2011","unstructured":"K\u00f6nig, H., L\u00f6we, M., Schulz, C.: Model Transformation and Induced Instance Migration: A Universal Framework. In: Simao, A., Morgan, C. (eds.) SBMF 2011. LNCS, vol.\u00a07021, pp. 1\u201315. Springer, Heidelberg (2011)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/11841883_14","volume-title":"Graph Transformations","author":"S. Lack","year":"2006","unstructured":"Lack, S., Soboci\u0144ski, P.: Toposes are Adhesive. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 184\u2013198. Springer, Heidelberg (2006)"},{"key":"15_CR15","unstructured":"L\u00f6we, M.: Van-Kampen Pushouts for Sets and Graphs. Technical Report. FHDW Hannover 4 (2010)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-33654-6_8","volume-title":"Graph Transformations","author":"M. L\u00f6we","year":"2012","unstructured":"L\u00f6we, M.: Refined Graph Rewriting in Span-Categories - A Framework for Algebraic Graph Transformation. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol.\u00a07562, pp. 111\u2013125. Springer, Heidelberg (2012)"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/978-3-642-41071-0_15","volume-title":"Formal Methods: Foundations and Applications","author":"M. L\u00f6we","year":"2013","unstructured":"L\u00f6we, M., K\u00f6nig, H., Schulz, C., Schultchen, M.: Algebraic Graph Transformations with Inheritance. In: Iyoda, J., de Moura, L. (eds.) SBMF 2013. LNCS, vol.\u00a08195, pp. 211\u2013226. Springer, Heidelberg (2013)"},{"key":"15_CR18","unstructured":"Mantz, F., Taentzer, G., Lamo, Y.: Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping. ECEASST\u00a061 (2013)"},{"key":"15_CR19","unstructured":"M\u00fcller, J.: Shifting Derivations of non-injective Rules in the Algebraic Graph Rewriting Approaches. Techn. Report. TU, Berlin 16 (1997)"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Schuerr","year":"1995","unstructured":"Schuerr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-642-33654-6_22","volume-title":"Graph Transformations","author":"G. Taentzer","year":"2012","unstructured":"Taentzer, G., Mantz, F., Lamo, Y.: Co-Transformation of Graphs and Type Graphs with Application to Model Co-Evolution. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol.\u00a07562, pp. 326\u2013340. Springer, Heidelberg (2012), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/978-3-642-33654-6_22"},{"key":"15_CR22","unstructured":"Wolter, U., Diskin, Z.: From Indexed to Fibred Semantics \u2013 The Generalized Sketch File \u2013. Reports in Informatics 361. Dep. of Informatics, University of Bergen (2007)"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Wolter, U., K\u00f6nig, H.: Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi. Applied Categorical Structures, 1\u201340 (2013), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/s10485-013-9339-2","DOI":"10.1007\/s10485-013-9339-2"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09108-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T02:55:31Z","timestamp":1558925731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09108-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091075","9783319091082"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09108-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}