A Formal Model of Multi-Agent Organisations

Issue title: Special Issue on Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Köhler, Michael

Affiliations: Department for Informatics, University of Hamburg Vogt-Kölln-Str. 30, 22527 Hamburg, German. E-mail: koehler@informatik.uni-hamburg.de

Abstract: Agent oriented software engineering is seen as the approach taking object oriented approaches one step ahead. The design of agent systems is based on three fundamental perspectives: the functional, the team-interactional and the organisational perspective. The organisational perspective becomes a central design issue if the number of agents is large or the environment is unstable. While the functional perspective is well founded in the planning theory of artificial intelligence and the interactional perspective is rooted in the theory of speech-acts and formal ontologies, the organisational perspective is still an active research area with several open questions. In this paper we define a formal organisation model for agent systems based on Petri nets and show how agent oriented software engineering can benefit from this model.

Journal: Fundamenta Informaticae, vol. 79, no. 3-4, pp. 415-430, 2007