Skip to main content
SpringerLink
Log in

A Note on Modeling Agent Systems by Graph Transformation

  • Conference paper
  • First Online:
Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1779))

Abstract

Specifying and programming with the help of agent systems is gaining more and more interest, especially in the field of distributed and reactive systems. In this paper, we propose a formal model of agent systems based on graph transformation. It is quite natural to visualize systems, especially system states, by means of graphs. Hence, it is also appropriate to specify those systems using graphs. Accordingly, changes from one state into another can be modeled by graph transformation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.M. Bradshaw. Software Agents. The MIT Press, 1997.

    Google Scholar 

  2. H. Bunke. Programmed graph grammars. In V. Claus, H. Ehrig, and G. Rozenberg, eds., Proc. Graph Grammars and Their Application to Computer Science and Biology, LNCS 73, pages 155–166, Springer, 1979.

    Chapter  Google Scholar 

  3. C. Castelfranchi. To Be or Not to Be an “Agent”. In J. P. Müller, 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.

    Google Scholar 

  4. [CEH+97]_A. Corradini, H. Ehrig, R. Heckel, M. Löwe, 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.

    Google Scholar 

  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. To appear.

    Google Scholar 

  6. H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, eds., Handbook of Graph Grammars and Computing by Graph Transformation, Vol. III: Concurrency, Parallelism, and Distribution. World Scientific, Singapore, 1999.

    Google Scholar 

  7. R. Heckel, B. Hoffmann, P. Knirsch, and S. Kuske. Simple modules for GRACE. In 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 [EEKR99]. To appear.

    Google Scholar 

  8. A. Habel, R. Heckel, and G. Taentzer. Graph grammars with negative application conditions. Fundamenta Informaticae, XXVII:1/2, pages 287–313, 1996.

    MathSciNet  Google Scholar 

  9. C.A.R. Hoare. Communicating Sequential Processes. Englewood Cliffs, 1985.

    Google Scholar 

  10. D. Janssens. Actor grammars and lokal actions. In H.-J. Kreowski, U. Montanari, and G. Rozenberg, eds., Handbook of Graph Grammars and Computing by Graph Transformation, Vol. III: Concurrency, Parallelism, and Distribution. World Scientific, Singapore, 1999 [EKMR99], pages 57–106.

    Google Scholar 

  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.

    Google Scholar 

  12. S. Kuske. More about control conditions for transformation units. In 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 [EEKR99]. To appear.

    Google Scholar 

  13. M. Minsky. The Society of Mind. A Touchstone Book, Simon & Schuster, 1985.

    Google Scholar 

  14. U. Montanari, M. Pistore, and F. Rossi. Modeling concurrent, mobile and coordinated systems via graph transformations. In H.-J. Kreowski, U. Montanari, and G. Rozenberg, eds., Handbook of Graph Grammars and Computing by Graph Transformation, Vol. III: Concurrency, Parallelism, and Distribution. World Scientific, Singapore, 1999 [EKMR99], pages 189–263.

    Google Scholar 

  15. C.A. Petri. Kommunikation mit Automaten. PhD thesis, Institut für Instrumentelle Mathematik, Bonn, 1962.

    Google Scholar 

  16. G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Computer Science, 1981.

    Google Scholar 

  17. K. C. Ranze and H. J. Müller. Über den Einsatz von Agenten in Umweltanwendungen. In W. Geiger et al., eds., Proc. der Umweltinformatik’ 97-11. Int. Symposium der Gesellschaft für Informatik, pages 534–545, 1997.

    Google Scholar 

  18. A. Schürr. 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.

    Google Scholar 

  19. G. Taentzer. Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems. PhD thesis, TU Berlin, 1996. Shaker Verlag.

    Google Scholar 

  20. G. Winskel. Event structures. In Advances in Petri nets, LNCS 255, pages 325–392. Springer, Berlin, 1987.

    Google Scholar 

  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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich 3 Mathematik - Informatik, Universität Bremen, Postfach 33 04 40, D-28334, Bremen, Germany

    P. Knirsch & H. -J. Kreowski

Authors
  1. P. Knirsch
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. -J. Kreowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science III, Aachen University of Technology (RWTH), Ahornstr. 55, 52074, Aachen, Germany

    Manfred Nagl  & Manfred Münch  & 

  2. Institute for Software Technology, Department of Computer Science, University of the German Federal Armed Forces Munich, Werner-Heisenberg-Weg 39, 85579, Neubiberg, Germany

    Andreas Schürr

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Knirsch, P., Kreowski, H.J. (2000). A Note on Modeling Agent Systems by Graph Transformation. In: Nagl, M., Schürr, A., Münch, M. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 1999. Lecture Notes in Computer Science, vol 1779. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45104-8_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-45104-8_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67658-4

  • Online ISBN: 978-3-540-45104-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation