{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:27:08Z","timestamp":1725470828326},"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_16","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T03:47:41Z","timestamp":1347940061000},"page":"234-248","source":"Crossref","is-referenced-by-count":6,"title":["Generalised Compositionality in Graph Transformation"],"prefix":"10.1007","author":[{"given":"Amir Hossein","family":"Ghamarian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/11841883_12","volume-title":"Graph Transformations","author":"P. Baldan","year":"2006","unstructured":"Baldan, P., Ehrig, H., K\u00f6nig, B.: Composition and Decomposition of DPO Transformations with Borrowed Context. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 153\u2013167. Springer, Heidelberg (2006)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Bisztray, D., Heckel, R., Ehrig, H.: Compositionality of model transformations. In: Aldini, A., ter Beek, M., Gadducci, F. (eds.) 3rd International Workshop on Views On Designing Complex Architectures (VODCA). ENTCS, vol.\u00a0236, pp. 5\u201319 (2009)","DOI":"10.1016\/j.entcs.2009.03.011"},{"issue":"2\/3","key":"16_CR3","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/0022-0000(87)90030-4","volume":"34","author":"P. Boehm","year":"1987","unstructured":"Boehm, P., Fonio, H.R., Habel, A.: Amalgamation of graph transformations: A synchronization mechanism. J. Comput. Syst. Sci.\u00a034(2\/3), 377\u2013408 (1987)","journal-title":"J. Comput. Syst. Sci."},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BFb0017395","volume-title":"Graph Grammars and Their Application to Computer Science","author":"H. Ehrig","year":"1991","unstructured":"Ehrig, H., Habel, A., Kreowski, H.J., Parisi-Presicce, F.: From Graph Grammars to High Level Replacement Systems. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol.\u00a0532, pp. 269\u2013291. Springer, Heidelberg (1991)"},{"key":"16_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 transformations. Bulletin of the EATCS\u00a098, 139\u2013149 (2009)","journal-title":"Bulletin of the EATCS"},{"issue":"6","key":"16_CR6","doi-asserted-by":"publisher","first-page":"1133","DOI":"10.1017\/S096012950600569X","volume":"16","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., K\u00f6nig, B.: Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Mathematical Structures in Computer Science\u00a016(6), 1133\u20131163 (2006)","journal-title":"Mathematical Structures in Computer Science"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11804192_2","volume-title":"Formal Methods for Components and Objects","author":"G.L. Ferrari","year":"2006","unstructured":"Ferrari, G.L., Hirsch, D., Lanese, I., Montanari, U., Tuosto, E.: Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 22\u201343. Springer, Heidelberg (2006)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Ghamarian, A.H., Rensink, A.: Generalised compositionality in graph transformation. Tech. Rep. TR-CTIT-12-17, Centre for Telematics and Information Technology, University of Twente (2012)","DOI":"10.1007\/978-3-642-33654-6_16"},{"key":"16_CR9","unstructured":"Ghamarian, A., Rensink, A.: Graph passing in graph transformation. In: Fish, A., Lambers, L. (eds.) Graph Transformation and Visual Modelling Techniques. ECEASST (to be published, 2012)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/978-3-642-15928-2_23","volume-title":"Graph Transformations","author":"U. Golas","year":"2010","unstructured":"Golas, U., Ehrig, H., Habel, A.: Multi-Amalgamation in Adhesive Categories. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol.\u00a06372, pp. 346\u2013361. Springer, Heidelberg (2010)"},{"issue":"3\/4","key":"16_CR11","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundam. Inform.\u00a026(3\/4), 287\u2013313 (1996)","journal-title":"Fundam. Inform."},{"issue":"5","key":"16_CR12","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1017\/S0960129501003425","volume":"11","author":"A. Habel","year":"2001","unstructured":"Habel, A., M\u00fcller, J., Plump, D.: Double-pushout graph transformation revisited. Mathematical Structures in Computer Science\u00a011(5), 637\u2013688 (2001)","journal-title":"Mathematical Structures in Computer Science"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Heindel, T.: Structural decomposition of reactions of graph-like objects. In: Aceto, L., Sobocinski, P. (eds.) Structural Operational Semantics (SOS). EPTCS, vol.\u00a032, pp. 26\u201341 (2010)","DOI":"10.4204\/EPTCS.32.3"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44685-0_9","volume-title":"CONCUR 2001 - Concurrency Theory","author":"D. Hirsch","year":"2001","unstructured":"Hirsch, D., Montanari, U.: Synchronized Hyperedge Replacement with Name Mobility. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 121\u2013136. Springer, Heidelberg (2001)"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-540-73859-6_21","volume-title":"Algebra and Coalgebra in Computer Science","author":"P.T. Johnstone","year":"2007","unstructured":"Johnstone, P.T., Lack, S., Soboci\u0144ski, P.: Quasitoposes, Quasiadhesive Categories and Artin Glueing. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol.\u00a04624, pp. 312\u2013326. Springer, Heidelberg (2007)"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-540-68679-8_5","volume-title":"Concurrency, Graphs and Models","author":"H.-J. Kreowski","year":"2008","unstructured":"Kreowski, H.-J., Kuske, S., Rozenberg, G.: Graph Transformation Units \u2013 An Overview. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 57\u201375. Springer, Heidelberg (2008)"},{"key":"16_CR17","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":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11419822_1","volume-title":"Formal Methods for Mobile Computing","author":"U. Montanari","year":"2005","unstructured":"Montanari, U., Pistore, M.: History-Dependent Automata: An Introduction. In: Bernardo, M., Bogliolo, A. (eds.) SFM-Moby 2005. LNCS, vol.\u00a03465, pp. 1\u201328. Springer, Heidelberg (2005)"},{"key":"16_CR19","unstructured":"Rensink, A.: A first study of compositionality in graph transformation. Tech. Rep. TR-CTIT-10-08, Centre for Telematics and Information Technology, University of Twente (2010)"},{"issue":"1-2","key":"16_CR20","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(96)00215-0","volume":"186","author":"G. Taentzer","year":"1997","unstructured":"Taentzer, G.: Parallel high-level replacement systems. TCS\u00a0186(1-2), 43\u201381 (1997)","journal-title":"TCS"}],"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_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:17:48Z","timestamp":1620130668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33654-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336539","9783642336546"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33654-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}