Derivations in Object-Oriented Graph Grammars

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3256, Issue , 2004, Pages 416-430

  Ferreira, Ana Paula Lüdtke ^a   Ribeiro, Leila ^b  

^a UNIVERSIDADE DO VALE DO RIO DOS SINOS   (Brazil)

^b FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT SENSITIVE GRAMMARS; FORMAL LANGUAGES; GRAPH THEORY; SYSTEMS ANALYSIS;

CLASS HIERARCHIES; GRAPH TRANSFORMATION; INHERITANCE AND OVERRIDING; MODEL SYSTEM; OBJECT ORIENTED; OBJECT-ORIENTED PROGRAM; OBJECT-ORIENTED SYSTEM; PUSH-OUT;

OBJECT ORIENTED PROGRAMMING;

EID: 34247331278     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (28)

1. ANDRIES, M., ENGELS, G., HABEL, A., HOFFMANN, B., KREOWSKI, H.-J., KUSKE, S., PLUMP, D., SCHURR, A., AND TAENTZER, G. Graph transformation for specification and programming. Science of Computer Programming 34 (1999), 1-54.
2. BLOSTEIN, D., FAHMY, H., AND GRBAVEC, A. Practical use of graph rewriting. Tech. Rep. 95-373, Queen's University, Kingston, Ontario, Canada, 1995.
3. BRANDENBURG, F. J. On partially ordered graph grammars. In 3rd International Workshop on Graph Grammars and their Application to Computer Science (Warrenton, Virginia, USA, 1986),
4. H. Ehrig, M. Nagl, G. Rozenberg, and A. Rosenfeld, Eds., Lecture Notes in Computer Science 291, Springer-Verlag, pp. 99-111.
5. CARDELLI, L., AND WEGNER, P. On understanding types, data abstraction and polymorphism. ACM Computing Surveys 17, 4 (1985), 471-522.
6. COOK, W. R. Object-oriented programming versus abstract data type, vol. 489 of Lecture Notes in Computer Science. Springer, Berlin, 1990, pp. 151-178.
7. COOK, W. R., HILL, W. L., AND CANNING, P. S. Inheritance is not subtyping. In POPL'90 - 17th Annual ACM Symposium on Principles of Programming Languages (January 1990), Kluwer Academic Publishers.
8. CORRADINI, A., EHRIG, H., LöWE, M., MONTANARI, U., AND PADBERG, J. The category of typed graph grammars and its adjunctions with categories of derivations. In [11] (1994), pp. 56-74.
9. CORRADINI, A., MONTANARI, U., AND Rossi, F. Graph processes. Fundamentae Informatica 26, 3-4 (1996), 241-265.
10. DAVEY, B. A., AND PRIESTLEY, H. A. Introduction to Lattices and Order, 2 ed. Cambridge University Press, Cambridge, 2002. 298p.
11. DOTTI, F. L., AND RlBEIRO, L. Specification of mobile code using graph grammars. In Formal Methods for Open Object-Based Distributed Systems IV (2000), Kluwer Academic Publishers, pp. 45-64.
12. EHRIG, H., ENGELS, G., AND ROZENBERG, G., Eds. 5th International Workshop on Graph Grammars and their Application to Computer Science (Williamsburg, 1994), Lecture Notes in Computer Science 1073, Springer-Verlag.
13. EHRIG, H., HECKEL, R., KORFF, M., LöWE, M., RIBEIRO, L., WAGNER, A., AND CORRADINI, A. Algebraic approaches to graph transformation. Part II: singlepushout approach and comparison with double pushout approach. In [13]. ch. 4, pp. 247-312.
14. EHRIG, H., KREOWSKI, H.-J., MONTANARI, U., AND ROZEMBERG, G. Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1 (Foundations). World Scientific, Singapore, 1996.
15. EHRIG, H., KREOWSKI, H.-J., MONTANARI, U., AND ROZEMBERG, G. Handbook of Graph Grammars and Computing by Graph Transformation, vol. 3 (Concurrency, Parallelism, and Distribution). World Scientific, Singapore, 1999.
16. EHRIG, H., AND LöWE, M. Parallel and distributed derivations in the singlepushout approach. Theoretical Computer Science 109 (1993), 123-143.
17. FERREIRA, A. P. L., AND RIBEIRO, L. Towards object-oriented graphs and grammars. In Proceedings of the 6th IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2003) (Paris, November 19-21 2003),
18. E. Najm, U. Nestmann, and P. Stevens, Eds., vol. 2884 of Lecture Notes in Computer Science, Springer-Verlag, pp. 16-31.
19. FERREIRA, A. P. L., AND RIBEIRO, L. A graph-based semantics for object-oriented programming constructs. In Proceedings of the International Conference on Category Theory and Computer Science (CTCS2004) (Copenhagen, DK, August 12-14 2004), To appear as a special issue of Eletronic Notes in Theoretical Computer Science. 15p.
20. KORFF, M. Generalized Graph Structure Grammars with Applications to Concurrent Object-Oriented Systems. PhD Thesis, Technische Universität Berlin, Berlin, 1995.
21. LÖWE, M. Extended Algebraic Graph Transformation. PhD thesis, Technischen Universität Berlin, Berlin, Feb 1991.
22. MONTANARI, U., PISTORE, M., AND Rossi, F. Modeling concurrent, mobile and coordinated systems via graph transformations. In [14]- ch. 4, pp. 189-268.
23. PARISI-PRESICCE, F., EHRIG, H., AND MONTANARI, U. Graph rewriting with unification and composition. In 3rd International Workshop on Graph Grammars and their Application to Computer Science (Warrenton, Virginia, USA, 1986),
24. H. Ehrig, M. Nagl, G. Rozenberg, and A. Rosenfeld, Eds., Lecture Notes in Computer Science 291, Springer-Verlag, pp. 496-514.
25. RIBEIRO, L. Parallel Composition and Unfolding Semantics of Graph Grammars. PhD Thesis, Technische Universitat Berlin, Berlin, June 1996. 202p.
26. TAENTZER, G. Parallel and Distributed Graph Transformation Formal Description and Application to Communication-Based Systems. PhD Thesis, TU Berlin, Berlin, 1996.
27. TROVER, O. D., AND JANSSEN, R. On modularity for conceptual data models and the consequences for subtyping, inheritance and overriding. In Proceedings of the 9th IEEE Conference on Data Engineering (ICDE 93) (1993), IEEE CS Press, pp. 678-685.
28. UNGAR, D., CHAMBERS, C., CHANG, B.-W., AND HöLZLE, U. Organizing programs without classes. Lisp and Symbolic Computation 3, 4 (1991).