Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation

  • Catholijn M. Jonker
  • Jan Treur
  • Wouter C.A. Wijngaards
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2296)


In this paper a modelling approach to the dynamics within a multi- agent organisation is presented. A declarative, executable temporal modelling language for organisation dynamics is proposed as a basis for simulation. Moreover, to be able to specify and analyse dynamic properties, another temporal 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 multi-agent organisation models and a software environment for analysis of dynamic properties against traces organisation dynamics.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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.Google Scholar
  2. 2.
    Brazier, F.M.T., Jonker, C.M. & Treur, J., Principles of Compositional Multi-agent System Development. In: J. Cuena (ed.), Proceedings of the 15th IFIP World Computer Congress, WCC’98, Conference on Information Technology and Knowledge Systems, IT&KNOWS’98, 1998, pp. 347–360. To be published by IOS Press, 2002.Google Scholar
  3. 3.
    Brazier, F. M. T., Jonker, C. M., Jüngen, F. J. & Treur, J. (1999). Distributed Scheduling to Support a Call Centre: a Co-operative Multi-Agent Approach. In: Applied Artificial Intelligence Journal, vol. 13, pp. 65–90. H. S. Nwana and D. T. Ndumu (eds.), Special Issue on Multi-Agent Systems.Google Scholar
  4. 4.
    Ferber, J. & Gutknecht, O. (1998). A meta-model for the analysis and design of organisations in multi-agent systems. In: Proc. of the Third International Conference on Multi-Agent Systems (ICMAS’ 98) Proceedings. IEEE Computer Society, 1998Google Scholar
  5. 5.
    Ferber, J. & Gutknecht, O. (1999). Operational Semantics of a role-based agent architecture. Proceedings of the 6th Int. Workshop on Agent Theories, Architectures and Languages. Lecture Notes in AI, Springer-Verlag.Google Scholar
  6. 6.
    Ferber, J., Gutknecht, O., Jonker, C.M., Mueller, J.P. & Treur, J. (2000). Organisation Models and Behavioural Requirements Specification for Multi-Agent Systems (extended abstract). In: Proc. of the Fourth International Conference on Multi-Agent Systems, ICMAS 2000. IEEE Computer Society Press, 2000. Extended version in: Proc. of MAAMAW’01.Google Scholar
  7. 7.
    Fisher, M., A survey of Concurrent METATEM — the language and its applications. In: D.M. Gabbay & H.J. Ohlbach (eds.), Temporal Logic — Proceedings of the First International Conference, Lecture Notes in AI, vol. 827, pp. 480–505.Google Scholar
  8. 8.
    Herlea, D.E., Jonker, C.M., Treur, J. & Wijngaards, N.J.E. (1999). Specification of Behavioural Requirements within Compositional Multi-Agent System Design. In: F.J. Garijo & M. Boman (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, 1999, pp. 8–27.Google Scholar
  9. 9.
    Hölldobler, S. & Thielscher, M. (1990). A new deductive approach to planning. New Generation Computing, 8:225–244, 1990.zbMATHGoogle Scholar
  10. 10.
    Jonker, C.M., Letia, I.A. & Treur, J. (2001). Diagnosis of the Dynamics within an Organisation by Trace Checking of Behavioural Requirements. In: Wooldridge, M., Ciancarini, P., and Weiss, G. (eds.), Proc. of the 2nd International Workshop on Agent-Oriented Software Engineering, AOSE’01. Lecture Notes in Computer Science, Springer Verlag, to appear.Google Scholar
  11. 11.
    Jonker, C.M., & Treur, J. (1998). Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In: W.P. de Roever, H. Langmaack, A. Pnueli (eds.), Proceedings of the International Workshop on Compositionality, COMPOS’97. Lecture Notes in Computer Science, vol. 1536, Springer Verlag, 1998, pp. 350–380. Extended version in: International Journal of Cooperative Information Systems. In press, 2002.Google Scholar
  12. 12.
    Kim, J. (1998). Mind in a Physical world: an Essay on the Mind-Body Problem and Mental Causation. MIT Press, Cambridge, Mass, 1998.Google Scholar
  13. 13.
    Kowalski, R. & Sergot, M. (1986). A logic-based calculus of events. New Generation Computing, 4:67–95, 1986.CrossRefGoogle Scholar
  14. 14.
    McCarthy, J. & P. Hayes, P. (1969). Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4:463–502, 1969.zbMATHGoogle Scholar
  15. 15.
    Moss, S., Gaylard, H., Wallis, S. & Edmonds, B. (1998), SDML: A Multi-Agent Language for Organizational Modelling, Computational and Mathematical Organization Theory 4, (1), 43–70.CrossRefGoogle Scholar
  16. 16.
    Port, R.F. & Gelder, T. van (eds.). (1995) Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge, Mass, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Catholijn M. Jonker
    • 1
  • Jan Treur
    • 1
  • Wouter C.A. Wijngaards
    • 1
  1. 1.Department of Artificial IntelligenceVrije Universiteit AmsterdamAmsterdamThe Netherlands

Personalised recommendations