{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214452},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443100"},{"type":"electronic","value":"9783540458326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45832-8_15","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T11:13:34Z","timestamp":1188299614000},"page":"177-191","source":"Crossref","is-referenced-by-count":3,"title":["Abstraction and Control for Shapely Nested Graph Transformation"],"prefix":"10.1007","author":[{"given":"Berthold","family":"Hoffmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"15_CR1","unstructured":"G. Busatto. An Abstract Model of Hierarchical Graphs and Hierarchical Graph Transformation. Dissertation, Universit\u00e4t Paderborn, June 2002."},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1142\/9789812384720_0002","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Vol. I: Foundations","author":"F. Drewes","year":"1997","unstructured":"F. Drewes, A. Habel, and H.-J. Kreowski. Hyperedge replacement graph grammars. In Rozenberg [20], chapter 2, pages 95\u2013162."},{"key":"15_CR3","unstructured":"F. Drewes, B. Hoffmann, and M. Minas. Constructing shapely nested graph transformations. In H.-J. Kreowski and P. Knirsch, editors, Proc. Int\u2019l Workshop on Applied Graph Transformation (AGT\u201902), 2002. 107\u2013118."},{"issue":"2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1006\/jcss.2001.1790","volume":"64","author":"F. Drewes","year":"2002","unstructured":"F. Drewes, B. Hoffmann, and D. Plump. Hierarchical graph transformation. Journal of Computer and System Sciences, 64(2):249\u2013283, 2002.","journal-title":"Journal of Computer and System Sciences"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Vol. II: Applications, Languages, and Tools","year":"1999","key":"15_CR5","unstructured":"G. Engels, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. II: Applications, Languages, and Tools. World Scientific, Singapore, 1999."},{"key":"15_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-45022-X_12","volume-title":"Automata, Languages, and Programming (ICALP 2000 Proc.)","author":"G. Engels","year":"2000","unstructured":"G. Engels and R. Heckel. Graph transformation as a conceptual and formal framework for system modelling and evolution. In U. Montanari, J. Rolim, and E. Welz, editors, Automata, Languages, and Programming (ICALP 2000 Proc.), number 1853 in Lecture Notes in Computer Science, pages 127\u2013150. Springer, 2000."},{"key":"15_CR7","first-page":"551","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Vol. I: Foundations","author":"C. Ermel","year":"1997","unstructured":"C. Ermel, M. Rudolf, and G. Taentzer. The Agg approach: Language and environment. In Engels et al. [5], chapter 14, pages 551\u2013603."},{"issue":"2\/3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/S0167-6423(97)00023-3","volume":"31","author":"P. Fradet","year":"1998","unstructured":"P. Fradet and D. Le M\u00e9tayer. Structured Gamma. Science of Computer Programming, 31(2\/3):263\u2013289, 1998.","journal-title":"Science of Computer Programming"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J. V. Guttag","year":"1978","unstructured":"J. V. Guttag and J. J. Horning. The algebraic specification of abstract data types. Acta Informatica, 10:27\u201351, 1978.","journal-title":"Acta Informatica"},{"key":"15_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Hyperedge Replacement: Grammars and Languages","author":"A. Habel","year":"1992","unstructured":"A. Habel. Hyperedge Replacement: Grammars and Languages. Number 643 in Lecture Notes in Computer Science. Springer, 1992."},{"key":"15_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/3-540-45104-8_12","volume-title":"Int\u2019l Workshop on Applications of Graph Transformations with Industrial Relevance (Agtive\u201999), Selected Papers","author":"B. Hoffmann","year":"2000","unstructured":"B. Hoffmann. From graph transformation to rule-based programming with diagrams. In M. Nagl, A. Sch\u00fcrr, and M. M\u00fcnch, editors, Int\u2019l Workshop on Applications of Graph Transformations with Industrial Relevance (Agtive\u201999), Selected Papers, number 1779 in Lecture Notes in Computer Science, pages 165\u2013180. Springer, 2000."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"B. Hoffmann. Shapely hierarchical graph transformation. In Proc. IEEE Symposia on Human-Centric Computing Languages and Environments, pages 30\u201337. IEEE Computer Press, 2001.","DOI":"10.1109\/HCC.2001.995230"},{"key":"15_CR13","unstructured":"B. Hoffmann and M. Minas. Towards rule-based visual programming of generic visual systems. In N. Dershowitz and C. Kirchner, editors, Proc. Workshop on Rule-Based Languages, Montr\u00e9al, Quebeq, Canada, Sept. 2000."},{"key":"15_CR14","unstructured":"J. W. Klop. Term rewriting systems. In S. Abramsky, D. M. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, pages 1\u2013116. Oxford University Press, 1992."},{"key":"15_CR15","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1142\/9789812815149_0015","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Vol. II: Applications, Languages, and Tools","author":"H.-J. Kreowski","year":"1999","unstructured":"H.-J. Kreowski and S. Kuske. Graph transformation units and modules. In H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. II: Applications, Languages, and Tools. World Scientific, Singapore, 1999 Engels et al. [5], chapter 15, pages 607\u2013638."},{"key":"15_CR16","unstructured":"S. Kuske. Transformation Units-A Structuring Pronciple for Graph Transformation Systems. Dissertation, Universit\u00e4t Bremen, Fachbereich Mathematik u. Informatik, 2000."},{"issue":"2","key":"15_CR17","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0167-6423(02)00037-0","volume":"44","author":"M. Minas","year":"2002","unstructured":"M. Minas. Concepts and realization of a diagram editor generator based on hyper-graph transformation. Science of Computer Programming, 44(2):157\u2013180, 2002.","journal-title":"Science of Computer Programming"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"D. Plump. Computing by Graph Rewriting. Habilitationsschrift, Universit\u00e4t Bremen, 1999.","DOI":"10.1142\/9789812815149_0001"},{"key":"15_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/3-540-61228-9_80","volume-title":"Proc. Graph Grammars and Their Application to Computer Science","author":"D. Plump","year":"1996","unstructured":"D. Plump and A. Habel. Graph unification and matching. In J. E. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors, Proc. Graph Grammars and Their Application to Computer Science, number 1073 in Lecture Notes in Computer Science, pages 75\u201389. Springer, 1996."},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Vol. I: Foundations","year":"1997","key":"15_CR20","unstructured":"G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. I: Foundations. World Scientific, Singapore, 1997."},{"issue":"1","key":"15_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/271510.271517","volume":"20","author":"M. Sagiv","year":"1998","unstructured":"M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems, 20(1):1\u201350, 1998.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR22","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1142\/9789812815149_0013","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Vol. II: Applications, Languages, and Tools","author":"A. Sch\u00fcrr","year":"1999","unstructured":"A. Sch\u00fcrr, A. Winter, and A. Z\u00fcndorf. The Progres approach: Language and environment. In H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. II: Applications, Languages, and Tools. World Scientific, Singapore, 1999 Engels et al. [5], chapter 13, pages 487\u2013550."}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45832-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:13:45Z","timestamp":1556802825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45832-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443100","9783540458326"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45832-8_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}