Distributed Graphs and Graph Transformation

Applied Categorical Structures

Volumn 7, Issue 4, 1999, Pages 431-462

  Taentzer, Gabriele ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Distributed systems; Formal specification; Graph transformation

Indexed keywords

EID: 0042636615     PISSN: 09272852     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008683005045     Document Type: Article

References (22)

1. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., and Löwe, M.: Algebraic approaches to graph transformation I: Basic concepts and double pushout approach, in G. Rozenberg (ed.), Handbook of Graph Grammars and Computing by Graph transformation, Volume 1: Foundations, World Scientific, 1997.
2. Degano, P. and Montanari, U.: A model of distributed systems based on graph rewriting, J. of the ACM 34(2) 1987, 411-449.
3. Ehrig, H., Böhm, P., Hummert, U., and Löwe, M.: Distributed parallelism of graph transformation, in 13th Int. Workshop on Graph Theoretic Concepts in Computer Science, Lecture Notes in Comput. Sci. 314, Springer-Verlag, Berlin, 1988, pp. 1-19.
4. Ehrig, H., Habel, A., Kreowski, H.-J., and Parisi-Presicce, F.: Parallelism and concurrency in high-level replacement systems, Math. Structures in Comput. Sci. 1 (1991), 361-404.
5. Ehrig, H.: Introduction to the algebraic theory of graph grammars, in V. Claus, H. Ehrig, and G. Rozenberg (eds), 1st Graph Grammar Workshop, Lecture Notes in Comput. Sci. 73, Springer-Verlag, 1979, pp 1-69.
6. Ehrig, H., Kreowski, H.-J., and Rozenberg, G. (eds): 4th International Workshop on Graph Grammars and Their Application to Computer Science, Lecture Notes in Comput. Sci. 532, Springer-Verlag, 1991.
7. Ehrig, H. and Löwe, M.: Categorical principles, techniques and results for high-level replacement systems in computer science, Appl. Categorical Structures 1(1) (1993), 21-50.
8. Ehrig, H., Pfender, M., and Schneider, H.: Graph grammars: An algebraic approach, in 14th Annual IEEE Symposium on Switching and Automata Theory, IEEE, 1973, pp. 167-180.
9. Herrlich, H. and Strecker, G.: Category Theory, Allyn and Bacon, Rockleigh, New Jersey, 1973.
10. Janssens, D. and Rozenberg, G.: Structured transformations and computation graphs for actor grammars, in Ehrig et al. [6], Lecture Notes in Comput. Sci. 532, pp. 446-460.
11. Kips, D. and Heidenreich, G.: Project flow graphs - a meta-model to support quality assurance in software-engineering, in Proc. of IEPM'95, 1995.
12. Kaplan, S., Loyall, J., and Goering, S.: Specifying concurrent languages and systems with Δ-grammars, in Ehrig et al. [6], Lecture Notes in Comput. Sci. 532, pp. 475-489.
13. Koch, M.: Bedingte verteilte Graphtransformation und ihre Anwendung auf verteilte Transaktionen, Technical Report 97-11, Technical University of Berlin, Dep. of Comp. Sci., 1997.
14. Korff, M.: Single pushout transformations of equationally defined graph structures with applications to actor systems, in Proc. Graph Grammar Workshop Dagstuhl 93, Lecture Notes in Comput. Sci. 776, Springer-Verlag, 1994, pp. 234-247.
15. Mac Lane, S.: Categories for the Working Mathematician, Vol. 5 of Graduate Texts in Mathematics, Springer, New York, 1971.
16. Pepper, P. and Wirsing, M., et al.: KORSO - A methodology for the development of correct software, in M. Broy and S. Jähnichen (eds), KORSO, Correct Software by Formal Methods, Lecture Notes Comput. Sci., Springer, 1994.
17. Schied, G.: Über Graphgrammatiken, eine Spezifikationsmethode für Programmiersprachen und verteilte Regelsysteme, Arbeitsberichte des Institus für mathematische Maschinen und Datenverarbeitung (Informatik), University of Erlangen, 1992.
18. Schneider, H.-J.: On categorical graph grammars integrating structural transformation and operations on labels, TCS 109 (1993) 257-274.
19. Taentzer, G.: Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems, PhD Thesis, TU Berlin, 1996. Shaker Verlag.
20. Taentzer, G., Fischer, I., Koch, M., and Volle, V.: Visual design of distributed systems by graph transformation, to appear as an article in Graph Grammar Handbook, Vol. 3, Concurrency and Distribution, 1998.
21. Taentzer, G. and Koch, M.: Distributing attributed graph transformation, in First European Workshop on "General Theory of Graph Transformation Systems", Bordeaux, Oct. 8-10, 1997, 1997.
22. Wolz, D.: Tool design for structuring mechanisms for algebraic specification languages with initial semantics, in Recent Trends in Data Type Specifications, Proc. of the 11th Int. Workshop on the Specification of Abstract Data Types, Oslo, Lecture Notes in Comput. Sci., Springer, 1995, p. 1130.