Abstract
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.
Work supported in part by the EC’s Human Potential Programme under contract HPRN-CT-2002-00275, [Research Training Network SegraVis].
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae 26(3,4), 241–266 (1996)
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)
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)
Depke, R., Heckel, R., Küster, J.M.: Formal agent-oriented modeling with graph transformation. Science of Computer Programming 44, 229–252 (2002)
Weiss, G. (ed.): Multiagent Systems. MIT Press, Cambridge (1999)
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)
Foundation for Intelligent Physical Agents (FIPA). Agent communication language. In: FIPA 1997 Specification, Version 2.0. FIPA (1997), http://www.fipa.org
Jennings, N.R., Wooldridge, M.J. (eds.): Agent Technology: Foundations, Applications, and Markets. Springer, Heidelberg (1998)
Object Management Group. UML specification version 1.5 (March 2003), www.omg.org
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)
Varro, D.: Towards automated formal verification of visual modeling languages by model checking. Journal of Software and System Modeling (to appear)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Depke, R., Heckel, R. (2004). Modelling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation. In: Ryan, M.D., Meyer, JJ.C., Ehrich, HD. (eds) Objects, Agents, and Features. Lecture Notes in Computer Science, vol 2975. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25930-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-25930-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21989-7
Online ISBN: 978-3-540-25930-5
eBook Packages: Springer Book Archive