A Note on Modeling Agent Systems by Graph Transformation

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 syst...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Knirsch, P., Kreowski, H. -J.
Format: Buchkapitel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-45104-8_6