Modelling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation

  • Ralph Depke
  • Reiko Heckel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2975)


Extending mainstream object-oriented concepts, the agent paradigm promotes the concept of goals realized by means of strategies. To account for such specific aspects, dedicated techniques for agent-oriented modelling are required which go beyond standard techniques of object-oriented modelling.

In this paper, an agent-oriented modelling notation for goals and strategies is proposed. Based on graph transformation as semantic domain we show how the behavior of agents can be described in terms of goals and the strategies or communication protocols for achieving them. Model checking is used to verify, in a given situation, that a chosen strategy actually achieves its goal.


Model Check Multiagent System Graph Transformation Winning Strategy Type Graph 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alur, R., de Alfaro, L., Grosu, R., Henzinger, T., Kang, M., Majumdar, R., Mang, F., Kirsch, C., Wang, B.: Mocha: A model checking tool that exploits design structure. In: Proc. 23rd Intl. Conference on Software Engineering (ICSE 2001), pp. 835–836. IEEE Computer Society Press, Los Alamitos (2001)CrossRefGoogle Scholar
  2. 2.
    Baldan, P., Corradini, A., Ehrig, H., Löwe, M., Montanari, U., Rossi, F.: Concurrent semantics of algebraic graph transformation. In: Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation. Concurrency and Distribution, vol. 3, pp. 107–188. World Scientific, Singapore (1999)Google Scholar
  3. 3.
    Bauer, B., Müller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 91–104. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  4. 4.
    Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae 26(3,4), 241–266 (1996)zbMATHMathSciNetGoogle Scholar
  5. 5.
    Depke, R., Hausmann, J.H., Heckel, R.: Design of an agent-based modeling language based on graph transformation. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 106–119. Springer, Heidelberg (2004) (to appear)CrossRefGoogle Scholar
  6. 6.
    Depke, R., Heckel, R., Küster, J.M.: Roles in agent-oriented modeling. Int. Journal of Software Engineering and Knowledge Engineering 11(3), 281–302 (2001)CrossRefGoogle Scholar
  7. 7.
    Depke, R., Heckel, R., Küster, J.M.: Formal agent-oriented modeling with graph transformation. Science of Computer Programming 44, 229–252 (2002)zbMATHCrossRefGoogle Scholar
  8. 8.
    Weiss, G. (ed.): Multiagent Systems. MIT Press, Cambridge (1999)Google Scholar
  9. 9.
    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. IEEE, Los Alamitos (1973)CrossRefGoogle Scholar
  10. 10.
    Foundation for Intelligent Physical Agents (FIPA). Agent communication language. In: FIPA 1997 Specification, Version 2.0. FIPA (1997),
  11. 11.
    Jennings, N.R., Wooldridge, M.J. (eds.): Agent Technology: Foundations, Applications, and Markets. Springer, Heidelberg (1998)zbMATHGoogle Scholar
  12. 12.
    Object Management Group. UML specification version 1.5 (March 2003),
  13. 13.
    Smith, R.G.: The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transaction on Computers C-29(12), 1104–1113 (1980)CrossRefGoogle Scholar
  14. 14.
    Varro, D.: Towards automated formal verification of visual modeling languages by model checking. Journal of Software and System Modeling (to appear)Google Scholar
  15. 15.
    Wooldridge, M.J., Jennings, N.R., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems 3(3), 285–312 (2000)CrossRefGoogle Scholar
  16. 16.
    Wooldridge, M., Fisher, M., Huget, M.-P., Parsons, S.: Model checking multi-agent systems with MABLE. In: Gini, M., Ishida, T., Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), July 2002, pp. 952–959. ACM Press, New York (2002)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Ralph Depke
    • 1
  • Reiko Heckel
    • 1
  1. 1.Faculty of Computer Science, Electrical Engineering and MathematicsUniversity of PaderbornPaderbornGermany

Personalised recommendations