Abstract
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for object-oriented system modeling is presented, incorporating both the static aspects of system modeling and the dynamic aspects of computation of object-oriented programs.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., Plump, D., Schurr, A., Taentzer, G.: Graph transformation for specification and programming. Science of Computer Programming 34, 1–54 (1999)
Cook, W.R., Hill, W.L., Canning, P.S.: Inheritance is not subtyping. In: POPL 1990 - 17th Annual ACM Symposium on Principles of Programming Languages. Kluwer Academic Publishers, Dordrecht (1990)
Dotti, F.L., Ribeiro, L.: Specification of mobile code using graph grammars. In: Formal Methods for Open Object-Based Distributed Systems IV. Kluwer Academic Publishers, Dordrecht (2000)
Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation. part ii: single pushout approach and comparison with double pushout approach. In: Rozemberg, G. (ed.) GI 1973. Foundations, vol. 1, ch. 4, pp. 247–312. World Scientific, Singapore (1996)
Ehrig, H., Pfender, M., Schneider, H.J.: Graph grammars: an algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory, pp. 167–180 (1973)
Fiadeiro, J.L., Sernadas, C., Maibaum, T., Saake, G.: Proof-theoretic semantics of object-oriented specification constructs. In: Kent, W., Meersman, R., Khosla, S. (eds.) Object-Oriented Databases: Analysis, Design and Construction, pp. 243–284. North-Holland, Amsterdam (1991)
Habel, A.: Hyperedge Replacement: Grammars and Languages. LNCS, vol. 643. Springer, Heidelberg (1992)
Loreto, A.B., Ribeiro, L., Toscani, L.V.: Decodability and tractability of a problem in object-based graph grammars. In: 17th IFIP World Computer Congress - Theoretical Computer Science, Montreal. Kluwer, Dordrecht (2002)
Löwe, M.: Extended Algebraic Graph Transformation. PhD thesis, Technischen Universität Berlin, Berlin (February 1991)
Montanari, U., Pistore, M., Rossi, F.: Modeling concurrent, mobile and coordinated systems via graph transformations. In: Ehrig, H., Kreowski, H.-J., Montanari, U., Rozemberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation. Concurrency, Parallelism and Distribution, vol. 3, ch. 4. World Scientific, Singapore (2000)
Papadopoulos, G.A.: Concurrent object-oriented programming using term graph rewriting techniques. Information and Software Technology (38), 539–547 (1996)
Ribeiro, L.: Parallel Composition and Unfolding Semantics of Graph Grammars. Phd thesis, Technische Universität Berlin, Berlin, p. 202 (June 1996)
Ungar, D., Chambers, C., Chang, B.-W., Hölzle, U.: Organizing programs without classes. Lisp and Symbolic Computation 3(4) (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 IFIP International Federation for Information Processing
About this paper
Cite this paper
Lüdtke Ferreira, A.P., Ribeiro, L. (2003). Towards Object-Oriented Graphs and Grammars. In: Najm, E., Nestmann, U., Stevens, P. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 2003. Lecture Notes in Computer Science, vol 2884. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39958-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-39958-2_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20491-6
Online ISBN: 978-3-540-39958-2
eBook Packages: Springer Book Archive