{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T11:32:30Z","timestamp":1753356750080,"version":"3.37.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319753959"},{"type":"electronic","value":"9783319753966"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-75396-6_17","type":"book-chapter","created":{"date-parts":[[2018,2,5]],"date-time":"2018-02-05T21:33:53Z","timestamp":1517866433000},"page":"313-331","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Graph Operations and Free Graph Algebras"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7553-9858","authenticated-orcid":false,"given":"Uwe","family":"Wolter","sequence":"first","affiliation":[]},{"given":"Zinovy","family":"Diskin","sequence":"additional","affiliation":[]},{"given":"Harald","family":"K\u00f6nig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,2,7]]},"reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1007\/3-540-61286-6_184","volume-title":"Foundations of Intelligent Systems","author":"B Cadish","year":"1996","unstructured":"Cadish, B., Diskin, Z.: Heterogeneous view integration via sketches and equations. In: Ra\u015b, Z.W., Michalewicz, M. (eds.) ISMIS 1996. LNCS, vol. 1079, pp. 603\u2013612. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61286-6_184"},{"issue":"2","key":"17_CR2","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1017\/S0960129500000700","volume":"5","author":"I Cla\u00dfen","year":"1995","unstructured":"Cla\u00dfen, I., Gro\u00dfe-Rhode, M., Wolter, U.: Categorical concepts for parameterized partial specifications. Math. Struct. Comput. Sci. 5(2), 153\u2013188 (1995). https:\/\/doi.org\/10.1017\/S0960129500000700","journal-title":"Math. Struct. Comput. Sci."},{"key":"17_CR3","unstructured":"Diskin, Z.: Databases as diagram algebras: specifying queries and views via the graph-based logic of sketches. Technical report 9602, Frame Inform Systems, Riga, Latvia (1996). http:\/\/www.cs.toronto.edu\/zdiskin\/Pubs\/TR-9602.pdf"},{"key":"17_CR4","first-page":"144","volume":"3","author":"Z Diskin","year":"1997","unstructured":"Diskin, Z.: Towards algebraic graph-based model theory for computer science. Bull. Symb. Log. 3, 144\u2013145 (1997)","journal-title":"Bull. Symb. Log."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Cadish, B.: A graphical yet formalized framework for specifying view systems. In: First East-European Symposium on Advances in Databases and Information Systems, pp. 123\u2013132. Nevsky Dialect (1997)","DOI":"10.14236\/ewic\/ADBIS1997.17"},{"issue":"6","key":"17_CR6","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2008.10.041","volume":"203","author":"Z Diskin","year":"2008","unstructured":"Diskin, Z., Wolter, U.: A diagrammatic logic for object-oriented visual modeling. ENTCS 203(6), 19\u201341 (2008). https:\/\/doi.org\/10.1016\/j.entcs.2008.10.041","journal-title":"ENTCS"},{"key":"17_CR7","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31188-2","volume-title":"Fundamentals of Algebraic Graph Transformations","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformations. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2"},{"key":"17_CR8","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","author":"H Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, vol. 6. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/978-3-642-69962-7"},{"key":"17_CR9","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification 2: Module Specifications and Constraints","author":"H Ehrig","year":"1990","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, vol. 21. Springer, Heidelberg (1990). https:\/\/doi.org\/10.1007\/978-3-642-61284-8"},{"key":"17_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4721-8","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1978","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1978). https:\/\/doi.org\/10.1007\/978-1-4757-4721-8","edition":"2"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Makkai, M.: Generalized sketches as a framework for completeness theorems. J. Pure Appl. Algebra 115, 49\u201379, 179\u2013212, 214\u2013274 (1997)","DOI":"10.1016\/S0022-4049(96)00008-4"},{"key":"17_CR12","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). https:\/\/doi.org\/10.1016\/j.scico.2015.01.002","journal-title":"Sci. Comput. Program."},{"issue":"7","key":"17_CR13","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1016\/j.jlap.2009.10.003","volume":"79","author":"A Rossini","year":"2010","unstructured":"Rossini, A., Rutle, A., Lamo, Y., Wolter, U.: A formalisation of the copy-modify-merge approach to version control in MDE. J. Log. Algebraic Programm. 79(7), 636\u2013658 (2010). https:\/\/doi.org\/10.1016\/j.jlap.2009.10.003","journal-title":"J. Log. Algebraic Programm."},{"issue":"4","key":"17_CR14","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1016\/j.jlap.2012.03.006","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. J. Log. Algebraic Programm. 81(4), 422\u2013457 (2012). https:\/\/doi.org\/10.1016\/j.jlap.2012.03.006","journal-title":"J. Log. Algebraic Programm."}],"container-title":["Lecture Notes in Computer Science","Graph Transformation, Specifications, and Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-75396-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T05:18:16Z","timestamp":1570684696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-75396-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319753959","9783319753966"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-75396-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}