{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:35:16Z","timestamp":1743129316622,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319614694"},{"type":"electronic","value":"9783319614700"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61470-0_1","type":"book-chapter","created":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T09:54:59Z","timestamp":1497952499000},"page":"3-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The Pullback-Pushout Approach to Algebraic Graph Transformation"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominque","family":"Duval","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachid","family":"Echahed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Prost","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,21]]},"reference":[{"issue":"1\u20132","key":"1_CR1","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1016\/S0304-3975(00)00200-0","volume":"266","author":"M Bauderon","year":"2001","unstructured":"Bauderon, M., Jacquet, H.: Node rewriting in graphs and hypergraphs: a categorical framework. Theor. Comput. Sci. 266(1\u20132), 463\u2013487 (2001)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20132","key":"1_CR2","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0304-3975(01)00245-6","volume":"294","author":"J Cockett","year":"2003","unstructured":"Cockett, J., Lack, S.: Restriction categories II: partial map classification. Theor. Comput. Sci. 294(1\u20132), 61\u2013102 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-319-21145-9_3","volume-title":"Graph Transformation","author":"A Corradini","year":"2015","unstructured":"Corradini, A., Duval, D., Echahed, R., Prost, F., Ribeiro, L.: AGREE \u2013 algebraic graph rewriting with controlled embedding. In: Parisi-Presicce, F., Westfechtel, B. (eds.) ICGT 2015. LNCS, vol. 9151, pp. 35\u201351. Springer, Cham (2015). doi:10.1007\/978-3-319-21145-9_3"},{"key":"1_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. 4178, pp. 30\u201345. Springer, Heidelberg (2006). doi:10.1007\/11841883_4"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic approaches to graph transformation - part I: basic concepts and double pushout approach. In: Rozenberg [18], pp. 163\u2013246","DOI":"10.1142\/9789812384720_0003"},{"issue":"34\u201336","key":"1_CR6","doi-asserted-by":"publisher","first-page":"3090","DOI":"10.1016\/j.tcs.2010.04.038","volume":"411","author":"F Drewes","year":"2010","unstructured":"Drewes, F., Hoffmann, B., Janssens, D., Minas, M.: Adaptive star grammars and their languages. Theor. Comput. Sci. 411(34\u201336), 3090\u20133109 (2010)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-642-54804-8_22","volume-title":"Fundamental Approaches to Software Engineering","author":"D Duval","year":"2014","unstructured":"Duval, D., Echahed, R., Prost, F., Ribeiro, L.: Transformation of attributed structures with cloning. In: Gnesi, S., Rensink, A. (eds.) FASE 2014. LNCS, vol. 8411, pp. 310\u2013324. Springer, Heidelberg (2014). doi:10.1007\/978-3-642-54804-8_22"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation - part II: single pushout approach and comparison with double pushout approach. In: Rozenberg [18], pp. 247\u2013312","DOI":"10.1142\/9789812384720_0004"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: an algebraic approach. In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, 15\u201317 October, pp. 167\u2013180. IEEE Computer Society (1973)","DOI":"10.1109\/SWAT.1973.11"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., Rozenberg, G.: Node replacement graph grammars. In: Rozenberg [18], pp. 1\u201394","DOI":"10.1142\/9789812384720_0001"},{"issue":"1","key":"1_CR11","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/A:1008734426504","volume":"9","author":"R Heckel","year":"2001","unstructured":"Heckel, R., Ehrig, H., Wolter, U., Corradini, A.: Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Appl. Categorical Struct. 9(1), 83\u2013110 (2001)","journal-title":"Appl. Categorical Struct."},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-642-15928-2_24","volume-title":"Graph Transformations","author":"W Kahl","year":"2010","unstructured":"Kahl, W.: Amalgamating pushout and pullback graph transformation in collagories. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 362\u2013378. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-15928-2_24"},{"key":"1_CR13","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. 2987, pp. 273\u2013288. Springer, Heidelberg (2004). doi:10.1007\/978-3-540-24727-2_20"},{"issue":"1&2","key":"1_CR14","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M L\u00f6we","year":"1993","unstructured":"L\u00f6we, M.: Algebraic approach to single-pushout graph transformation. Theor. Comput. Sci. 109(1&2), 181\u2013224 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR15","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. 7562, pp. 111\u2013125. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-33654-6_8"},{"key":"1_CR16","unstructured":"Mantz, F.: Coupled Transformations of Graph Structures applied to Model Migration. Ph.D. thesis, University of Marburg (2014)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.scico.2015.01.002","volume":"104","author":"F Mantz","year":"2015","unstructured":"Mantz, F., Taentzer, G., Lamo, Y., Wolter, U.: Co-evolving meta-models and their instance models: a formal approach based on graph transformation. Sci. Comput. Program. 104, 2\u201343 (2015)","journal-title":"Sci. Comput. Program."},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations, vol. 1: Foundations. World Scientific (1997)","DOI":"10.1142\/9789812384720"},{"issue":"3","key":"1_CR19","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1016\/j.jsc.2010.09.010","volume":"46","author":"C Schulz","year":"2011","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), 316\u2013337 (2011)","journal-title":"J. Symb. Comput."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Wouters, L., Gervais, M.P.: Ontology transformations. In: IEEE International Enterprise Distributed Object Computing Conference, pp. 71\u201380 (2012)","DOI":"10.1109\/EDOC.2012.18"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61470-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T10:51:13Z","timestamp":1710327073000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-61470-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614694","9783319614700"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61470-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"21 June 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}