Abstract
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable specification language for dynamics within an organisation is proposed as a basis for simulation. Moreover, to be able to specify and analyse dynamic properties within an organisation, another declarative specification language is put forward, which is much more expressive than the executable language for simulations. Supporting tools have been implemented that consist of a software environment for simulation of organisation models and a software environment for analysis of dynamic properties against traces of dynamics within an organisation.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Barringer H, Fisher M, Gabbay D, Owens R, Reynolds M (1996) The imperative future: principles of executable temporal logic, Research Studies Press Ltd. and John Wiley & Sons
Bosse T, Jonker CM, van der Meij L, Treur J (2005) LEADSTO: a language and environment for analysis of dynamics by simulaTiOn. In: Eymann T, Kluegl F, Lamersdorf W, Klusch M, Huhns MN (eds) Proc. of the third german conference on multi-agent system technologies, MATES’05. Lecture Notes in Artificial Intelligence, vol. 3550. Springer Verlag, pp 165–178
Bosse T, Jonker CM, van der Meij L, Sharpanskykh A, Treur J (2006) Specification and verification of dynamics in cognitive agent models. In: Proceedings of the sixth international conference on intelligent agent technology, IAT’06. IEEE Computer Society Press, to appear.
Brazier FMT, Jonker CM, Treur J (2002) Principles of component-based design of intelligent agents. Data and Knowledge Engineering, 41:1–28. Also In: Cuena J, Demazeau Y, Garcia A, Treur J (eds) (2004) Knowledge engineering and agent technology. IOS Press, pp 89–113
Brazier FMT, Jonker CM, Jüngen FJ, Treur J (1999) Distributed scheduling to support a call centre: a co-operative multi-agent approach. In: Nwana HS, Ndumu DT (eds) Applied artificial intelligence journal, vol. 13. Special Issue on Multi-Agent Systems, pp 65–90
Bouajjani A, Lakhnech Y, Yovine S (1996) Model checking for extended timed temporal logic. In: Jonsson B, Parrow J (eds) Proc. of the 4th international symposium formal techniques in real-time and fault-tolerant systems, FTRTFT’96, Uppsala, Sweden, September 1996. Lecture Notes in Computer Science, vol. 1135, Springer-Verlag, pp 306–326
Clarke EM, Grumberg O, Peled DA (2000) Model checking. MIT Press
Ferber J, Gutknecht O (1998) A meta-model for the analysis and design of organisations in multi-agent systems. In: Demazeau Y (ed) Proc of the third international conference on multi-agent systems (ICMAS ’98) Proceedings. IEEE Computer Society, pp 128–135
Ferber J, Gutknecht O (2000) Operational semantics of a role-based agent architecture. In: Jennings NR, Lesperance Y (eds) Intelligent Agents IV, Proceedings of the 6th Int. Workshop on Agent Theories, Architectures and Languages. Lecture Notes in AI, vol. 1757, Springer-Verlag, pp 205–217.
Ferber J, Gutknecht O, Jonker CM, Müller JP, Treur J (2000) Organisation models and behavioural requirements specification for multi-agent systems. In: Demazeau Y, Garijo F (eds) Multi-agent system organisations. Proc. of the 10th European workshop on modelling autonomous agents in a multi-agent world, MAAMAW’01, pp 1–19.
Ferber J, Gutknecht O, Michel F (2004) From agents to organizations: an organizational view of multi-agent systems. In: Giorgini P, Muller JP, Odell J (eds) Agent-oriented software engineering IV: Proc. of the fourth international workshop, AOSE 2003, Lecture Notes in AI, vol 2935, Springer Verlag, Berlin, 2004, pp 214–230
Fisher M (1994) A survey of concurrent metateM—the language and its applications. In: Gabbay DM, Ohlbach HJ (eds) Temporal logic—proceedings of the first international conference, Lecture Notes in AI, vol. 827, pp 480–505
Fisher M (2005) Temporal development methods for agent-based systems. J Auton Agents Multi-Agent Syst 10:41–66
Galton A (2003) Temporal logic. Stanford Encyclopedia of Philosophy, URL: http://plato.stanford.edu/entries/logic-temporal/#2
Galton A (2006) Operators vs arguments: the ins and outs of reification. Synthese 150:415–441
Henzinger T, Nicollin X, Sifakis J, Yovine S (1994) Symbolic model checking for real-time systems. Inf Comput 111(2):193–244, Academic Press
Herlea DE, Jonker CM, Treur J, Wijngaards NJE (1999) Specification of behavioural requirements within compositional multi-agent system design. In: Garijo FJ, Boman M (eds) Multi-agent system engineering, Proc of the 9th european workshop on modelling autonomous agents in a multi-agent world, MAAMAW’99. Lecture Notes in AI, vol. 1647, Springer Verlag, pp 8–27
Herlea Damian DE, Jonker CM, Treur J, Wijngaards NJE (2005) Integration of behavioural requirements specification within compositional knowledge engineering. Knowl-Based Syst J 18:353–365
Hölldobler S, Thielscher M (1990) A new deductive approach to planning. New Gener Comput 8:225–244
Hodkinson I, Reynolds M (2005) Separation – past, present and future. In: Artemov S, Barringer H, d’Avila Garcez AS, Lamb LC, Woods J (eds) We will show them: essays in honour of Dov Gabbay, Vol 2. College Publications, pp 117–142
Jonker CM, Letia IA, Treur J (2002) Diagnosis of the dynamics within an organisation by trace checking of behavioural requirements. In: Wooldridge M, Weiss G, Ciancarini P (eds) Proc. of the 2nd international workshop on agent-oriented software engineering, AOSE’01. Lecture Notes in Computer Science, vol. 2222. Springer Verlag, pp 17–32
Jonker CM, Treur J (2002) Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness. Int J Coop Inf Syst 11:51–92. Earlier shorter version in: de Roever WP, Langmaack H, Pnueli A (eds) (1998) Proceedings of the international workshop on compositionality, COMPOS’97. Lecture Notes in Computer Science, Springer Verlag, vol. 1536, pp 350–380
Jonker CM, Treur J (2003) Relating structure and dynamics in an organisation model. In: Sichman JS, Bousquet F, Davidson P (eds) Multi-Agent-Based Simulation II, Proc. of the third international workshop on multi-agent based simulation, MABS’02. Lecture Notes in AI, vol. 2581, Springer Verlag, pp 50–69
Kowalski R, Sergot M (1986) A logic-based calculus of events. New Gener Comput 4:67–95
Manna Z, Pnueli A (1995) Temporal verification of reactive systems: safety. Springer Verlag.
McCarthy J, Hayes P (1969) Some philosophical problems from the standpoint of artificial intelligence. Mach Intell 4:463–502
Moss S, Gaylard H, Wallis S, Edmonds B (1998) SDML: A multi-agent language for organizational modelling. Comput Math Organ Theory 4(1):43–70
Port RF, van Gelder T (eds) (1995) Mind as motion: explorations in the dynamics of cognition. MIT Press, Cambridge, Mass
Prietula M, Gasser L, Carley K (1997) Simulating organizations. MIT Press
Reiter R (2001) Knowledge in action: Logical oundations for specifying and implementing dynamical systems. MIT Press, Cambridge, MA
Stirling C (2001) Modal and temporal properties of processes. Springer Verlag
Yovine S (1997) Kronos: a verification tool for real-time systems. Int J Softw Tools Technol Transfer 1:123–133
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License ( https://creativecommons.org/licenses/by-nc/2.0 ), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Jonker, C.M., Treur, J. & Wijngaards, W.C.A. Specification, analysis and simulation of the dynamics within an organisation. Appl Intell 27, 131–152 (2007). https://doi.org/10.1007/s10489-006-0024-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10489-006-0024-0