Shapely hierarchical graph transformation

2001 IEEE Symposium on Human-Centric Computing

Volumn , Issue , 2001, Pages 30-37

  Hoffmann, Berthold ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; DATA STRUCTURES; GRAPH THEORY; SEMANTICS;

HIERARCHICAL GRAPHS;

COMPUTER SCIENCE;

EID: 0035791330     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. R. Bardohl, M. Minas, A. Schürr, and G. Taentzer. Application of graph transformation to visual languages. In G. Engels, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, Vol. II: Specification and Programming, chapter 3, pages 105-180. World Scientific, Singapore, 1999.
2. G. Busatto and B. Hoffmann. Comparing notions of hierarchical graph transformation. Electronic Notes in Theoretical Computer Science, 2001. to appear.
3. G. Busatto, H.-J. Kreowski, and S. Kuske. An abstract hierarchical graph data model. Technical report, Fachbereich Mathematik-Informatik, Universität Bremen, to appear 2001.
4. V. Claus, H. Ehrig, and G. Rozenberg, editors. Proc. Graph Grammars and Their Application to Computer Science and Biology, number 73 in Lecture Notes in Computer Science. Springer, 1979.
5. 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. Springer, 1996.
6. F. Drewes, A. Habel, and H.-J. Kreowski. Hyperedge replacement graph grammars. In Rozenberg [20], chapter 2, pages 95-162.
7. F. Drewes, B. Hoffmann, and D. Plump. Hierarchical graph transformation. Journal of Computer and System Sciences, to appear 2001. (A short version appeared in number 1784 of Lecture Notes in Computer Science, pages 98-113, 2000).
8. H. Ehrig. Introduction to the algebraic theory of graph grammars. In Claus et al. [4], pages 1-69.
9. 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-150. Springer, 2000.
10. P. Fradet and D. L. Métayer. Structured Gamma. Science of Computer Programming, 31 (2/3):263-289, 1998.
11. B. Hoffmann. From graph transformation to rule-based programming with diagrams. In M. Nagl, A. Schürr, and M. Münch, editors, Int'l Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), Selected Papers, number 1779 in Lecture Notes in Computer Science, pages 165-180. Springer, 2000.
12. B. Hoffmann and M. Minas. A generic model for diagram syntax and semantics. In J. D. P. Polim, A. Z. Broder, A. Corradini, R. Gorrieri, R. Heckel, J. Hromkovic, U. Vaccaro, and J. B. Wells, editors, ICALP Workshops 2000, number 8 in Proceedings in Informatics, pages 443-450, Waterloo, Ontario, Canada, 2000. Carleton Scientific.
13. G. Huet. Confluent reductions: Abstract properties and applications to term rewriting systems. Journal of the ACM, 27(4):797-821, 1980.
14. C. Lautemann. The complexity of graph languages generated by hyperedge replacement. Acta Informatica, 27:399-421, 1990.
15. M. Minas. Concepts and realisation of DIAGEN. Science of Computer Programming, to appear 2001.
16. M. Minas and B. Hoffmann. Specifying and implementing visual process modeling languages with DIAGEN. Electronic Notes in Theoretical Computer Science, to appear 2001.
17. D. Plump. Church-Rosser hypergraph languages. Talk at the Workshop "Automaten und Formale Sprachen", Schauenburg-Elmshagen, Germany, September 1999.
18. D. Plump and A. Habel. Graph unification and matching. In Cuny et al. [5], pages 75-89.
19. T. W. Pratt. Definition of programming language semantics using grammars for hierarchical graphs. In Claus et al. [4], pages 389-400.
20. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. I: Foundations. World Scientific, Singapore, 1997.
21. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Object Technology Series. Addison Wesley, 1999.
22. 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-50, 1998.
23. A. Schürr, A. Winter, and A. Zündorf. The PROGRES approach: Language and environment. In Rozenberg [20], chapter 13, pages 487-550.
24. D. A. Watt. Analysis-Oriented Two-Level Grammars. PhD thesis, University of Glasgow, 1974.