Structured modeling with GRACE

Electronic Notes in Theoretical Computer Science

Volumn 51, Issue , 2002, Pages 233-245

  Kreowski, Hans Jörg ^a   Busatto, Giorgio ^a   Klempien Hinrichs, Renate ^a   Knirsch, Peter ^a   Kuske, Sabine ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SIMULATION LANGUAGES; DATA PROCESSING; HAMILTONIANS; LOGIC PROGRAMMING; MATHEMATICAL TRANSFORMATIONS; SEMANTICS;

GRACE; GRAPH TRANSFORMATION; GRAPH- AND RULE-CENTERED MODELING LANGUAGE; TRANSFORMATION MODULES;

GRAPH THEORY;

EID: 19344368239     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80206-8     Document Type: Conference Paper

References (21)

1. Andries M., Engels G., Habel A., Hoffmann B., Kreowski H.-J., Kuske S., Plump D., Schürr A., Taentzer G. Graph transformation for specification and programming. Science of Computer Programming. 34:1999;1-54
2. Drewes F., P. Knirsch, H.-J. Kreowski and S. Kuske, Graph transformation modules and their composition, in: M. Nagl, A. Schürr and M. Münch, editors, Proc. Applications of Graph Transformations with Industrial Relevance, Lecture Notes in Computer Science 1779, 2000, pp. 15-30.
3. Ehrig H. and G. Engels, Pragmatic and semantic aspects of a module concept for graph transformation systems, in: J. E. Cuny, H. Ehrig, G. Engels and G. Rozenberg, editors, Proc. Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci., Lecture Notes in Computer Science 1073, 1996, pp. 137-154.
4. Ehrig H., Engels G., Kreowski H.-J., Rozenberg G. "Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools," 1999;World Scientific, Singapore
5. Ehrig H., Kreowski H.-J., Montanari U., Rozenberg G. "Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism, and Distribution," 1999;World Scientific, Singapore
6. Ehrig H. and B. Mahr, "Fundamentals of Algebraic Specification 2: Module Specifications and Constraints," EATCS Monographs on Theoretical Computer Science, Springer Verlag, 1990.
7. Faust M., The GRACEland web page, URL: http://www.informatik.uni-bremen. de/theorie/GRACEland (1998).
8. Große-Rhode M., F. Parisi Presicce and M. Simeoni, Refinements and modules for typed graph transformation systems, in: Workshop on Algebraic Development Techniques, Lecture Notes in Computer Science 1589, 1999, pp. 137-151.
9. Heckel R., G. Engels, H. Ehrig and G. Taentzer, Classification and comparison of module concepts for graph transformation systems, in: Ehrig et al. [4], pp. 639-689.
10. Heckel R., B. Hoffmann, P. Knirsch and S. Kuske, Simple modules for GRACE, in: H. Ehrig, G. Engels, H.-J. Kreowski and G. Rozenberg, editors, Proc. Theory and Application of Graph Transformations, Lecture Notes in Computer Science 1764, 2000, pp. 383-395.
11. Kaplan, S. M., J. P. Loyall and S. K. Goering, Specifying concurrent languages and systems with Δ-GRAMMARS, in: H. Ehrig, H.-J. Kreowski and G. Rozenberg, editors, Proc. Graph Grammars and Their Application to Computer Science, Lecture Notes in Computer Science 532, 1991, pp. 475-489.
12. Kreowski H.-J., G. Busatto and S. Kuske, GRACE as a unifying approach to graph-transformation-based specification, in: Proc. Uniform Approaches to Graphical Process Specification Techniques, Electronic Notes in Theoretical Computer Science 44 (2001), to appear.
13. Kreowski H.-J. and S. Kuske, Graph transformation units and modules, in: Ehrig et al. [4], pp. 607-638.
14. Kreowski H.-J., Kuske S. Graph transformation units with interleaving semantics. Formal Aspects of Computing. 11:1999;690-723
15. Kreowski H.-J., Kuske S., Schürr A. Nested graph transformation units. International Journal on Software Engineering and Knowledge Engineering. 7:1997;479-502
16. Kuske S., More about control conditions for transformation units, in: H. Ehrig, G. Engels, H.-J. Kreowski and G. Rozenberg, editors, Proc. Theory and Application of Graph Transformations, Lecture Notes in Computer Science 1764, 2000, pp. 323-337.
17. Kuske S., "Transformation Units - A Structuring Concept for Graph Transformation Systems," Ph.D. thesis, Universität Bremen (2000).
18. Rozenberg G. "Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1: Foundations," 1997;World Scientific, Singapore
19. Schürr A., Programmed graph transformations and graph transformation units in GRACE, in: J. E. Cuny, H. Ehrig, G. Engels and G. Rozenberg, editors, Proc. Graph Grammars and Their Application to Computer Science, Lecture Notes in Computer Science 1073, 1996, pp. 122-136.
20. Schürr A. and A. J. Winter, UML packages for PROgrammed Graph REwriting Systems, in: H. Ehrig, G. Engels, H.-J. Kreowski and G. Rozenberg, editors, Proc. Theory and Application of Graph Transformations, Lecture Notes in Computer Science 1764, 2000, pp. 396-409.
21. Taentzer, G. and A. Schürr, DIEGO, another step towards a module concept for graph transformation systems, in: A. Corradini and U. Montanari, editors, SEGRAGRA '95, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, Electronic Notes in Theoretical Computer Science 2 (1995)