Nested graph transformation units

International Journal of Software Engineering and Knowledge Engineering

Volumn 7, Issue 4, 1997, Pages 479-502

  Kreowski, Hans Jörg ^a   Kuske, Sabine ^a   Schürr, Andy ^b  

^a UNIVERSITY OF BREMEN   (Germany)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

Fixed point semantics; Graph transformation; Operational semantics; Rule based systems; Structuring

Indexed keywords

EID: 0009451209     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194097000278     Document Type: Article

References (32)

1. M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, and G. Taentzer, "Graph transformation for specification and programming", Technical Report 7/96, Universität Bremen, 1996.
2. A. V. Aho, M. Ganapathi, and S. W. K. Tijang, "Code generation using tree matching and dynamic programming", ACM Transactions on Programming Languages and Systems 11, 4 (1996) 491-516.
3. L. Brownston, R. Farrell, and E. Kant, Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming, Addison-Wesley Series in Artificial Intelligence, Addison-Wesley, 1986.
4. S. Bocionek, "Modularization of rule-based programs", in Proc. 8th Int. Workshop on Expert Systems and Their Applications, Avignon, 1988.
5. J. R. Cordy and I. H. Carmichael, "The TXL programming language syntax and informal semantics version 7", External Technical Report 93-355, Queen's University , Kingston, Canada, 1993.
6. J. E. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, eds., Graph Grammars and Their Application to Computer Science, Lecture Notes in Computer Science 1073, Springer Verlag, 1996.
7. A. Corradini, U. Montanari, and F. Rossi, "Graph processes", Fundamenta Informaticae 26, 3 & 4 (1996) 241-265.
8. T. R. Dean and J. R. Cordy, "Software structure characterization using connectivity", in ICSE '93 Workshop, Baltimore, USA, Lecture Notes in Computer Science 1078, Springer Verlag, 1996, pp. 33-44.
9. F. Drewes, H.-J. Kreowski, and N. Schwabe, "COLLAGE-ONE: A system for evaluation and visualisation of collage grammars", in Proc. 4th Int. Conf. on Computer Graphics & Image Processing GKPO'96, Machine Graphics & Vision, vol. 5, Polish Academy of Sciences, Warsaw, Poland, 1996, pp. 393-402.
10. H. Ehrig and G. Engels, "Pragmatic and semantic aspects of a module concept for graph transformation systems", in Cuny et al. [CEER96], pp. 137-154.
11. H. Ehrig, H.-J. Kreowski, and G. Rozenberg, eds., Graph Grammars and Their Application to Computer Science, Lecture Notes in Computer Science 532, Springer Verlag, 1991.
12. H. Fahmy and D. Blostein, "A graph grammar programming style for recognition of music notation", Machine Vision and Applications 6, 2 (1993) 83-99.
13. P. Van Hentenryck, Constraint Satisfaction in Logic Programming, MIT Press, 1989.
14. G. T. Heinemann, G. E. Kaiser, N. S. Barghouti, and I. Z. Ben-Shaul, "Rule chaining in Marvel", IEEE Expert 7, 6 (1992) 26-33.
15. J. Jaffar, S. Michaylov, P. J. Stueckey, and R. H. C. Yap, "The CLP(R) language and system", ACM Trans. on Programming Languages and Systems 14, 3 (1992) 339-416.
16. J. Jahnke, W. Schäfer, and A. Zündorf, "A design environment for migrating relational to object oriented database systems", in Proc. Int. Conf. on Software Management (ICSM'96), IEEE Computer Society Press, 1996, pp. 163-170.
17. H.-J. Kreowski and S. Kuske, "On the interleaving semantics of transformation units - a step into GRACE", in Cuny et al. [CEER96], pp. 89-108.
18. S. C. Kleene, Introduction to Meta-mathematics. Van Nostrand, New York, 1952.
19. U. Kastens and W. M. Waite, "Modularity and reusability in attribute grammars", Acta Informatica 31 (1994) 601-627.
20. W. Leler, Constraint Programming Languages: Their Specification and Gener-ation, Addison Wesley, 1988.
21. Z. Manna, Mathematical Theory of Computation, McGraw-Hill, New York, 1974.
22. D. Le Metayer, "Software architecture styles as graph grammars", in Proc. 4th ACM SIGSOFT Symp. on Foundations of Software Engineering (SIGSOFT'96), volume 21, ACM Press, 1996, pp. 15-23.
23. M. Meyer, ed., Constraint Processing, Lecture Notes in Computer Science 923, Springer Verlag, 1995.
24. A. Maggiolo-Schettini and J. Winkowski, "A kernel language for programmed rewriting of (hyper)graphs", Acta. Informatica 33, 6 (1996) 523-546.
25. M. Nagl, ed., Building Tightly Integrated Software Development Environments: The IPSEN Approach, Lecture Notes in Computer Science 1170, Springer Verlag, 1996.
26. J. Paakki, "Attribute grammar paradigms - a high level methodology in language implementation", ACM Computing Surveys 27, 2 (1995) 196-256.
27. B. Peuschel and W. Schäfer, "Concepts and implementation of a rule-based process engine", in Proc. 12th Int. Conf. on Software Engineering (ICSE), IEEE Computer Society Press, 1992, pp. 262-279.
28. T. Reps and T. Teitelbaum, The Synthesizer Generator: A System for Constructing Language-Based Editors, Springer Verlag, 1988.
29. A. Schurr, A. Winter, and A. Zündorf, "Graph grammar engineering with PROGRES", in Proc. 5th European Software Engineering Conf. (ESEC'95), Lecture Notes in Computer Science 989, Springer Verlag, 1995, pp. 219-234.
30. G. Taentzer, Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems, Dissertation, Technische Universität Berlin, 1996.
31. G. Taentzer and A. Schurr, "DIEGO, another step towards a module concept for graph transformation systems", in Andrea Corradini and Ugo Montana«, eds., Proc. Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, Electronic Notes in Theoretical Computer Science, http://www.elsevier.nl/locate/entcs, 1995.
32. R. M. Wiener and R. Sincovec, Software Engineering with Modula-2 and Ada. Wiley & Sons, 1984.