A note on modeling agent systems by graph transformation

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

Volumn 1779, Issue , 2000, Pages 79-86

  Knirsch, P ^a   Kreowski, H J ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY;

AGENT SYSTEMS; FORMAL MODEL; GRAPH TRANSFORMATION; MODEL AGENTS; REACTIVE SYSTEM; SYSTEM STATE;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84974667199     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45104-8_6     Document Type: Conference Paper

References (21)

1. J.M. Bradshaw. Software Agents. The MIT Press, 1997.
2. H. Bunke. Programmed graph grammars. In V. Claus, H. Ehrig, and G. Rozenberg, eds., Proe. Graph Grammars and Their Application to Computer Science and Biology, LNCS 73, pages 155-166, Springer, 1979.
3. C. Castelfranchi. To Be or Not to Be an “Agent”. In J. P. Muller, M. J. Wooldridge, and N. R. Jennings, eds., Intelligent Agents III-Agent Theories, Architectures, and Languages (ATAL-96), LNAI 1193, pages 37-40, Springer, 1996.
4. A. Corradini, H. Ehrig, R. Heckel, M. Lowe, U. Montanari, and F. Rossi. Algebraic approaches to graph transformation part I: Basic concepts and double pushout approach. In G. Rozenberg, ed., Handbook of Graph Grammars and Computing by Graph Transformation. Vol. I: Foundations, pages 163-246, World Scientific, 1997.
5. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, eds., Theory and Application of Graph Transformation: 6th International Workshop, Paderborn, Germany, November 1998, LNCS, Springer, 1999.
6. H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, eds., Handbook of Graph Grammars and Computing by Graph Transformation, Vol. Ill: Concurrency, Parallelism, and Distribution. World Scientific, Singapore, 1999.
7. R. Heckel, B. Hoffmann, P. Knirsch, and S. Kuske. Simple modules for GRACE. In [EEKR99], To appear.
8. A. Habel, R. Heckel, and G. Taentzer. Graph grammars with negative application conditions. Fundamenta Informaticae, XXVII: 1/2, pages 287-313, 1996.
9. C.A.R. Hoare. Communicating Sequential Processes. Englewood Cliffs, 1985.
10. D. Janssens. Actor grammars and lokal actions. In [EKMR99], pages 57-106.
11. H.-J. Kreowski and S. Kuske. Graph transformation units and modules. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, eds., Handbook of Graph Grammars and Computing by Graph Transformation, Vol. II: Applications, Languages and Tools, pages 607-635, World Scientific, Singapore, 1999.
12. S. Kuske. More about control conditions for transformation units. In [EEKR99]. To appear.
13. M. Minsky. The Society of Mind. A Touchstone Book, Simon & Schuster, 1985.
14. U. Montanari, M. Pistore, and F. Rossi. Modeling concurrent, mobile and coordinated systems via graph transformations. In [EKMR99], pages 189-263.
15. C.A. Petri. Kommunikation mit Automaten. PhD thesis, Institut fur Instrumentelle Mathematik, Bonn, 1962.
16. G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Computer Science, 1981.
17. K. C. Ranze and H. J. Muller. Uber den Einsatz von Agenten in Umweltanwendungen. In W. Geiger et al., eds., Proc. der Umweltinfor-matik ’97 - 11. Int. Symposium der Gesellschaft fur Informatik, pages 534-545, 1997.
18. A. Schtirr. Introduction to PROGRES, an attribute graph grammar based specification language. In M. Nagl, ed., Proc. Graph-Theoretic Concepts in Computer Science, LNCS 411, pages 151-165, 1990.
19. G. Taentzer. Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems. PhD thesis, TU Berlin, 1996. Shaker Verlag.
20. G. Winskel. Event structures. In Advances in Petri nets, LNCS 255, pages 325-392. Springer, Berlin, 1987.
21. M. Wooldridge and N. R. Jennings. Agent theories, architectures, and languages: A survey. In M. J. Wooldridge and N. R. Jennings, eds., Intelligent Agents: ECAI-94 Workshop on Agent Theories, Architectures, and Languages, pages 1-39, Springer, Berlin, 1994.