Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
From Theory to Practice in Multi-Agent Systems (CEEMAS 2001)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2296))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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. 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, 1998

    Google Scholar 

  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. 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. 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. 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. Hölldobler, S. & Thielscher, M. (1990). A new deductive approach to planning. New Generation Computing, 8:225–244, 1990.

    MATH  Google Scholar 

  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. 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. 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. Kowalski, R. & Sergot, M. (1986). A logic-based calculus of events. New Generation Computing, 4:67–95, 1986.

    Article  Google Scholar 

  14. McCarthy, J. & P. Hayes, P. (1969). Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4:463–502, 1969.

    MATH  Google Scholar 

  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.

    Article  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Department of Artificial Intelligence, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081, Amsterdam, HV, The Netherlands

    Catholijn M. Jonker, Jan Treur & Wouter C.A. Wijngaards

Authors
  1. Catholijn M. Jonker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan Treur
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wouter C.A. Wijngaards
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Informatics, Warsaw University, ul. Banacha 2, 02-097, Warsaw, Poland

    Barbara Dunin-Keplicz

  2. Department of Computer Science, University of Mining and Metallurgy, al. Mickiewicza 30, 30-059, Krakow, Poland

    Edward Nawarecki

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jonker, C.M., Treur, J., Wijngaards, W.C. (2002). Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation. In: Dunin-Keplicz, B., Nawarecki, E. (eds) From Theory to Practice in Multi-Agent Systems. CEEMAS 2001. Lecture Notes in Computer Science(), vol 2296. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45941-3_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-45941-3_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43370-5

  • Online ISBN: 978-3-540-45941-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation