{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:38Z","timestamp":1761611138952},"reference-count":21,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2001,7,1]],"date-time":"2001-07-01T00:00:00Z","timestamp":993945600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4411,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,7]]},"DOI":"10.1016\/s1571-0661(04)80939-3","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"1-15","source":"Crossref","is-referenced-by-count":3,"title":["GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems)."],"prefix":"10.1016","volume":"44","author":[{"given":"Hans-J\u00f6rg","family":"Kreowski","sequence":"first","affiliation":[]},{"given":"Giorgio","family":"Busatto","sequence":"additional","affiliation":[]},{"given":"Sabine","family":"Kuske","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/S1571-0661(04)80939-3_NEWBIB1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0167-6423(98)00023-9","article-title":"Graph transformation for specification and programming","volume":"34","author":"Andries","year":"1999","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB2","series-title":"Proc. UML 2000 - The Unified Modeling Language. Advancing the Standard, volume 1939 of Lecture Notes in Computer Science","first-page":"294","article-title":"Consistency checking and visualization of OCL constraints","author":"Bottoni","year":"2000"},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB3","unstructured":"Giorgio Busatto, Hans-J\u00f6rg Kreowski, and Sabine Kuske. An abstract hierarchical graph data model. In preparation, 2001."},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB4","series-title":"Proc. Applications of Graph Transformations With Industrial Relevance, volume 1779 of Lecture Notes in Computer Science","first-page":"15","article-title":"Graph transformation modules and their composition","author":"Drewes","year":"2000"},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB5","series-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools","year":"1999"},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB6","series-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism, and Distribution","year":"1999"},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB7","unstructured":"Martin Faust. The GRACEland web page. URL: http:\/\/www.informatik.uni-bremen.de\/theorie\/GRACEland, 1998."},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Reiko Heckel, Gregor Engels, Hartmut Ehrig, and Gabriele Taentzer. Classification and comparison of module concepts for graph transformation systems. In Ehrig et al. [5], pages 639\u2013689.","DOI":"10.1142\/9789812815149_0017"},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB9","series-title":"Proc. Theory and Application of Graph Transformations, volume 1764 of Lecture Notes in Computer Science","first-page":"383","article-title":"Simple modules for GRACE","author":"Heckel","year":"2000"},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB10","unstructured":"Hans-J\u00f6rg Kreowski. Graph grammars for software specification and programming: An eulogy in praise of GRACE. In Francesc Rossell\u00f3 Llompart and Gabriel Valiente Feruglio, editors, Proc. Colloquium on Graph Transformation and its Application in Computer Science, Technical Report, Palma de Mallorca, pages 55\u201361, 1995."},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB11","series-title":"Proc. Graph Grammars and Their Application to Computer Science, volume 1073 of Lecture Notes in Computer Science","first-page":"89","article-title":"On the interleaving semantics of transformation units - a step into GRACE","author":"Kreowski","year":"1996"},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB12","doi-asserted-by":"crossref","unstructured":"Hans-J\u00f6g Kreowski and Sabine Kuske. Graph transformation units and modules. In Ehrig et al. [5], pages 607\u2013638.","DOI":"10.1142\/9789812815149_0015"},{"issue":"6","key":"10.1016\/S1571-0661(04)80939-3_NEWBIB13","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1007\/s001659970005","article-title":"Graph transformation units with interleaving semantics","volume":"11","author":"Kreowski","year":"1999","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB14","unstructured":"Hans-J\u00f6rg Kreowski and Sabine Kuske. Note on approach-independent structuring concepts for rule-based systems. In Hartmut Ehrig and Gabi Taentzer, editors, Proc. Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems, Technical Report Nr. 2000-2, Technische Universit\u00e4t Berlin, pages 41\u201349, 2000."},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB15","unstructured":"Hans-J\u00f6rg Kreowski and Sabine Kuske. Suggestions on the modularization of rule-based systems. In Martin Wirsing, Martin Gogolla, Hans-J\u00f6rg Kreowski, Tobias Nipkow, and Wolfgang Reif, editors, Proc. Rigorose Entwicklung software-intensiver Systeme, Technical Report 0005, University of Munich, pages 73\u201382, 2000."},{"issue":"4","key":"10.1016\/S1571-0661(04)80939-3_NEWBIB16","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1142\/S0218194097000278","article-title":"Nested graph transformation units","volume":"7","author":"Kreowski","year":"1997","journal-title":"International Journal on Software Engineering and Knowledge Engineering"},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB17","unstructured":"Sabine Kuske. Semantic aspects of the graph and rule centered language GRACE. In Francesc Rossell\u00f3 Llompart and Gabriel Valiente Feruglio, editors, Proc. Colloquium on Graph Transformation and its Application in Computer Science, Technical Report, Palma de Mallorca, pages 63\u201370, 1995."},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB18","series-title":"Proc. Theory and Application of Graph Transformations, volume 1764 of Lecture Notes in Computer Science","first-page":"323","article-title":"More about control conditions for transformation units","author":"Kuske","year":"2000"},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB19","unstructured":"Sabine Kuske. Transformation Units - A Structuring Concept for Graph Transformation Systems. PhD thesis, Universit\u00e4t Bremen, 2000."},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB20","series-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations","year":"1997"},{"key":"10.1016\/S1571-0661(04)80939-3_NEWBIB21","series-title":"Proc. Graph Grammars and Their Application to Computer Science, volume 1073 of Lecture Notes in Computer Science","first-page":"122","article-title":"Programmed graph transformations and graph transformation units in GRACE","author":"Sch\u00fcrr","year":"1996"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809393?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809393?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:55:46Z","timestamp":1549191346000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104809393"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,7]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2001,7]]}},"alternative-id":["S1571066104809393"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80939-3","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,7]]}}}