{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:09:04Z","timestamp":1762459744449},"reference-count":30,"publisher":"Cambridge University Press (CUP)","issue":"6","license":[{"start":{"date-parts":[[2018,4,19]],"date-time":"2018-04-19T00:00:00Z","timestamp":1524096000000},"content-version":"unspecified","delay-in-days":7809,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1996,12]]},"abstract":"<jats:p>Using a categorical semantics that has been developed recently as a basis, we study composition and refinement as horizontal and vertical structuring techniques for typed graph transformation systems. Composition of graph transformation systems with respect to common subsystems is shown to be compatible with the semantics,<jats:italic>i.e.<\/jats:italic>, the semantics of the composed system is obtained as the composition of the semantics of the component systems. Moreover, the structure of a composed graph transformation system is preserved during a refinement step in the sense that compatible refinements of the components induce a refinement of the composition. The concepts and results are illustrated by a sample development of a small information system using entity relationship modelling techniques.<\/jats:p>","DOI":"10.1017\/s0960129500070110","type":"journal-article","created":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T19:42:44Z","timestamp":1557690164000},"page":"613-648","source":"Crossref","is-referenced-by-count":34,"title":["Horizontal and vertical structuring of typed graph transformation systems"],"prefix":"10.1017","volume":"6","author":[{"given":"Reiko","family":"Heckel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"L\u00f6we","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2018,4,19]]},"reference":[{"key":"S0960129500070110_ref030","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80206-3"},{"key":"S0960129500070110_ref027","article-title":"Web grammars","volume":"609","author":"Pfaltz","year":"1969","journal-title":"Int. Joint Conference on Artificial Intelligence"},{"key":"S0960129500070110_ref025","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500000724"},{"key":"S0960129500070110_ref024","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(70)90135-X"},{"key":"S0960129500070110_ref023","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90013-8"},{"key":"S0960129500070110_ref019","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61228-9_81"},{"key":"S0960129500070110_ref018","unstructured":"Korff M. (1996) Generalized graph structure grammars with applications to concurrent object-oriented systems, Ph.D. thesis, TU Berlin."},{"key":"S0960129500070110_ref017","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61228-9_93"},{"key":"S0960129500070110_ref016","doi-asserted-by":"crossref","unstructured":"Heckel R. and Wagner A. (1995) Ensuring consistency of conditional graph grammars - a constructive approach. Proceedings of SEGRAGRA'95. In: Corradini A. and Montanari U. (eds.) Electronic Notes in Theoretical Computer Science 2 (http:\/\/www.elsevier.nl\/locate\/entcs\/volume2.html)","DOI":"10.1016\/S1571-0661(05)80188-4"},{"key":"S0960129500070110_ref015","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","article-title":"Graph grammars with negative application condition","volume":"26","author":"Habel","year":"1996","journal-title":"Fundamenta Informaticae"},{"key":"S0960129500070110_ref014","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500000050"},{"key":"S0960129500070110_ref011","volume-title":"EATCS Monographs on Theoretical Computer Science","volume":"6","author":"Ehrig","year":"1985"},{"key":"S0960129500070110_ref010","volume-title":"The Handbook of Graph Grammars, Volume 1: Foundations","author":"Ehrig","year":"1996"},{"key":"S0960129500070110_ref008","first-page":"1","volume-title":"1st Graph Grammar Workshop","volume":"73","author":"Ehrig","year":"1979"},{"key":"S0960129500070110_ref006","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","article-title":"Graph processes","volume":"26","author":"Corradini","year":"1996","journal-title":"Fundamenta Informaticae"},{"key":"S0960129500070110_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61228-9_79"},{"key":"S0960129500070110_ref003","first-page":"2","volume-title":"Informatik Aktuell","author":"Cla\u00dfen","year":"1994"},{"key":"S0960129500070110_ref002","unstructured":"Cla\u00dfen I. and L\u00f6we M. (1995) Scheme evolution in object-oriented models: A graph transformation approach. In: Proc. Workshop on Formal Methods at the ISCE'95, Seattle."},{"key":"S0960129500070110_ref001","article-title":"The Entity-Relationship model \u2013 toward a unified view of data","volume":"9","author":"Chen","year":"1976","journal-title":"ACM Transactions on Database Systems"},{"key":"S0960129500070110_ref029","volume-title":"4th Int. Workshop on Graph Grammars and their Application to Computer Science","volume":"532.","author":"Sch\u00fcrr","year":"1991"},{"key":"S0960129500070110_ref028","unstructured":"Ribeiro L. (1996) Parallel Composition and Unfolding Semantics of Graph Grammars, Ph.D. thesis, TU Berlin."},{"key":"S0960129500070110_ref007","volume-title":"The Handbook of Graph Grammars, Volume 1: Foundations","author":"Corradini","year":"1996"},{"key":"S0960129500070110_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61228-9_84"},{"key":"S0960129500070110_ref012","volume-title":"EATCS Monographs on Theoretical Computer Science","volume":"21","author":"Ehrig","year":"1990"},{"key":"S0960129500070110_ref013","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1973.11"},{"key":"S0960129500070110_ref005","doi-asserted-by":"crossref","unstructured":"Corradini A. and Heckel R. (1995) A compositional approach to structuring and refinement of typed graph grammars. Proceedings of SEGRAGRA'95. In: Corradini A. and Montanari U. (eds.) Electronic Notes in Theoretical Computer Science 2 (http:\/\/www.elsevier.nl\/locate\/entcs\/volume2.html)","DOI":"10.1016\/S1571-0661(05)80180-X"},{"key":"S0960129500070110_ref022","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"S0960129500070110_ref021","first-page":"79","volume-title":"Tagungsband Alternative Konzepte fur Sprachen und Rechner","volume":"94","author":"L\u00f6we","year":"1994"},{"key":"S0960129500070110_ref026","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61228-9_103"},{"key":"S0960129500070110_ref020","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90068-5"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500070110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,12]],"date-time":"2020-12-12T13:00:16Z","timestamp":1607778016000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500070110\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":30,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["S0960129500070110"],"URL":"https:\/\/doi.org\/10.1017\/s0960129500070110","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}