GRACE as a unifying approach to graph-transformation-based specification

Electronic Notes in Theoretical Computer Science

Volumn 44, Issue 4, 2001, Pages 1-15

  Kreowski, Hans Jörg ^a   Busatto, Giorgio ^a   Kuske, Sabine ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; DATA PROCESSING; GRAPH THEORY; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; VISUALIZATION;

BINARY RELATIONS; GRAPH TRANSFORMATION; GRAPHICAL PROCESSES; MODULARIZATION;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 18944400754     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80939-3     Document Type: Conference Paper

References (21)

1. Andries Marc, Engels Gregor, Habel Annegret, Hoffmann Berthold, Kreowski Hans-Jörg, Kuske Sabine, Plump Detlef, Schürr Andy, Taentzer Gabriele. Graph transformation for specification and programming. Science of Computer Programming. 34:(1):1999;1-54
2. Bottoni Paolo, Koch Manuel, Parisi-Presicce Francesco, Taentzer Gabriele. Consistency checking and visualization of OCL constraints. Evans Andy, Kent Stuart, Selic Bran. Proc. UML 2000 - The Unified Modeling Language. Advancing the Standard, volume 1939 of Lecture Notes in Computer Science. 2000;294-308
3. Giorgio Busatto, Hans-Jörg Kreowski, and Sabine Kuske. An abstract hierarchical graph data model. In preparation, 2001.
4. Drewes Frank, Knirsch Peter, Kreowski Hans-Jörg, Kuske Sabine. Graph transformation modules and their composition. Nagl Manfred, Scürr Andreas, Münch Manfred. Proc. Applications of Graph Transformations With Industrial Relevance, volume 1779 of Lecture Notes in Computer Science. 2000;15-30
5. Ehrig Hartmut, Engels Gregor, Kreowski Hans-Jörg, Rozenberg Grzegorz. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools. 1999;World Scientific, Singapore
6. Ehrig Hartmut, Kreowski Hans-Jörg, Montanari Ugo, Rozenberg Grzegorz. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism, and Distribution. 1999;World Scientific, Singapore
7. Martin Faust. The GRACEland web page. URL: http://www.informatik.uni- bremen.de/theorie/GRACEland, 1998.
8. 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-689.
9. Heckel Reiko, Hoffmann Berthold, Knirsch Peter, Kuske Sabine. Simple modules for GRACE. Ehrig Hartmut, Engels Gregor, Kreowski Hans-Jörg, Rozenberg Grzegorz. Proc. Theory and Application of Graph Transformations, volume 1764 of Lecture Notes in Computer Science. 2000;383-395
10. Hans-Jörg Kreowski. Graph grammars for software specification and programming: An eulogy in praise of GRACE. In Francesc Rossellö Llompart and Gabriel Valiente Feruglio, editors, Proc. Colloquium on Graph Transformation and its Application in Computer Science, Technical Report, Palma de Mallorca, pages 55-61, 1995.
11. Kreowski Hans-Jörg, Kuske Sabine. On the interleaving semantics of transformation units - a step into GRACE. Cuny Janice E., Ehrig Hartmut, Engels Gregor, Rozenberg Grzegorz. Proc. Graph Grammars and Their Application to Computer Science, volume 1073 of Lecture Notes in Computer Science. 1996;89-108
12. Hans-Jög Kreowski and Sabine Kuske. Graph transformation units and modules. In Ehrig et al. [5], pages 607-638.
13. Kreowski Hans-Jörg, Kuske Sabine. Graph transformation units with interleaving semantics. Formal Aspects of Computing. 11:(6):1999;690-723
14. Hans-Jörg 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ät Berlin, pages 41-49, 2000.
15. Hans-Jörg Kreowski and Sabine Kuske. Suggestions on the modularization of rule-based systems. In Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, and Wolfgang Reif, editors, Proc. Rigorose Entwicklung software-intensiver Systeme, Technical Report 0005, University of Munich, pages 73-82, 2000.
16. Kreowski Hans-Jörg, Kuske Sabine, Schürr Andy. Nested graph transformation units. International Journal on Software Engineering and Knowledge Engineering. 7:(4):1997;479-502
17. Sabine Kuske. Semantic aspects of the graph and rule centered language GRACE. In Francesc Rossellö Llompart and Gabriel Valiente Feruglio, editors, Proc. Colloquium on Graph Transformation and its Application in Computer Science, Technical Report, Palma de Mallorca, pages 63-70, 1995.
18. Kuske Sabine. More about control conditions for transformation units. Ehrig Hartmut, Engels Gregor, Kreowski Hans-Jörg, Rozenberg Grzegorz. Proc. Theory and Application of Graph Transformations, volume 1764 of Lecture Notes in Computer Science. 2000;323-337
19. Sabine Kuske. Transformation Units - A Structuring Concept for Graph Transformation Systems. PhD thesis, Universitát Bremen, 2000.
20. Rozenberg Grzegorz. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations. 1997;World Scientific, Singapore
21. Schürr Andy. Programmed graph transformations and graph transformation units in GRACE. Cuny Janice E., Ehrig Hartmut, Engels Gregor, Rozenberg Grzegorz. Proc. Graph Grammars and Their Application to Computer Science, volume 1073 of Lecture Notes in Computer Science. 1996;122-136