Skip to main content
Springer Nature Link
Log in

Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements

  • Conference paper
  • First Online:
Agent-Oriented Software Engineering II (AOSE 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2222))

Included in the following conference series:

  • 433 Accesses

Abstract

The main question addressed in this paper is how requirements on the dynamics within an organization model can be specified and how the dy-namics within such an organization can be formally analysed. A specification language is proposed, and a number of different types of requirements for dy-namics at different levels in the organization are identified. Based on a logical analysis and a software environment to check requirements against traces of the dynamics, a diagnostic method is proposed to analyse the malfunctioning of an organization, and pinpoint causes of malfunctioning.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. Brazier, F. M. T., Jonker, C. M., Jungen, F. J., and Treur, J., Distributed Scheduling to Support a Call Centre: a Co-operative Multi-Agent Approach. In: Applied Artificial Intel-ligence Journal, vol. 13, 1999, pp. 65–90. H. S. Nwana and D. T. Ndumu (eds.), Special Issue on Multi-Agent Systems.

    Google Scholar 

  2. Caire, G., Garijo, F., Gomez, J., Pavon, J., Leal, F., Chainho, P., Kearney, P., Stark, J., Evans, R., and Massonet, P., Agent Oriented Analysis Using MESSGE/UML. In: M. Wooldridge, G. Weiss, and P. Ciancarini (eds.), Proc. of the Second International Work-shop on Agent-Oriented Software Engineering, AOSE’01. Lecture Notes in CS, Springer Verlag. This volume.

    Google Scholar 

  3. Dardenne, A., Lamsweerde, A. van, and Fickas, S. (1993). Goal-directed Requirements Acquisition. Science in Computer Programming, vol. 20, pp. 3–50.

    Article  MATH  Google Scholar 

  4. Darimont, R., and Lamsweerde, A. van (1996). Formal Refinement Patterns for Goal-Driven Requirements Elaboration. In: Proc. of the Fourth ACM Symposium on the Foun-dation of Software Engineering (FSE4), pp. 179–190.

    Google Scholar 

  5. Dellarocas, C. and M. Klein. An experimental evaluation of domain-independent fault handling services in open multi-agent systems. In: Proceedings of the 4th International Conference on Multi-Agent Systems (ICMAS-2000), Boston, MA, 2000.

    Google Scholar 

  6. Dellarocas, C., and M. Klein. A knowledge-based approach for handling exceptions in business processes. Information Technology and Management, 1:155–169, 2000.

    Article  Google Scholar 

  7. Dignum, V., Weigand, H., and Xu, L., Agent Societies: Towards Frameworks-based De-sign. In: M. Wooldridge, G. Weiss, and P. Ciancarini (eds.), Proc. of the Second Interna-tional Workshop on Agent-Oriented Software Engineering, AOSE’01. Lecture Notes in CS, Springer Verlag. This volume.

    Google Scholar 

  8. Ferber, J. and Gutknecht, O. (1998). A meta-model for the analysis and design of organi-zations in multi-agent systems. In: Proc. of the Third International Conference on Multi-Agent Systems (ICMAS’ 98) Proceedings. IEEE Computer Society, 1998

    Google Scholar 

  9. Ferber, J. and Gutknecht, O. (1999). Operational Semantics of a role-based agent archi-tecture. Proceedings of the 6th Int. Workshop on Agent Theories, Architectures and Lan-guages. Lecture Notes in AI, Springer-Verlag.

    Google Scholar 

  10. Ferber, J., Gutknecht, O., Jonker, C.M., Mueller, J.P., and Treur, J., Organization Models and Behavioural Requirements Specification for Multi-Agent Systems (extended ab-stract). In: Proc. of the Fourth International Conference on Multi-Agent Systems, ICMAS 2000. IEEE Computer Society Press, 2000. Extended version in: Proc. of the ECAI 2000 Workshop on Modelling Artificial Societies and Hybrid Organizations, 2000.

    Google Scholar 

  11. Herlea, D.E., Jonker, C.M., Treur, J., and 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 

  12. Jonker, C.M., and Treur, J., Compositional Verification of Multi-Agent Systems: a For-mal 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

    Google Scholar 

  13. Kaminka, G.A., and M. Tambe. Robust agent teams via socially-atentive monitoring. In: Journal of Artificial Intelligence Research, 12:105–147, 2000.

    MATH  Google Scholar 

  14. Klein, M., and C. Dellarocas. Exception handling in agent systems. In O. Etzioni, J. Mul-ler, and J. Bradshaw, editors, In: Proceedings of the 3rd International Conference on Autonomous Agents (AA’99), pages 62–68, 1999.

    Google Scholar 

  15. Kontonya, G., and Sommerville, I. (1998). Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York.

    Google Scholar 

  16. Malone, T. W., K. Crowston, J. Lee, B. Pentland, C. Dellarocas, G. Wyner, J. Quimby, C. S. Osborn, A. Bernstein, G. Herman, M. Klein, and E. O’Donnell. Tools for inventing or-ganizations: Toward a handbook for organizatinal processes. In: Management Science, 45:425–443, 2000.

    Article  Google Scholar 

  17. Minar, M., R. Burkhart, C. Langton, and M. Askenazy. The Swarm simulation system: A toolkit for building multi-agent simulations. Technical report, Santa Fe Institute, 1996. http://www.santafe.edu/projects/swarm/.

  18. Parunak, H.V.D., and Odell, J., Representing Social Structures in UML. In: M. Wooldridge, G. Weiss, and P. Ciancarini (eds.), Proc. of the Second International Work-shop on Agent-Oriented Software Engineering, AOSE’01. Lecture Notes in CS, Springer Verlag. This volume. In: M. Wooldridge, G. Weiss, and P. Ciancarini (eds.), Proc. of the Second International Workshop on Agent-Oriented Software Engineering, AOSE’01. Lecture Notes in CS, Springer Verlag. This volume.

    Google Scholar 

  19. Venkatraman, M., and M.P. Singh. Verifying compliance with commitments protocols: enabling open web-based multiagent systems. In: Autonomous Agents and Multi-Agent Systems, 2:217–236, 1999.

    Article  Google Scholar 

  20. Zambonelli, F., N.R. Jennings, and M. Wooldridge. Organizational abstractions for the analysis and design of multi-agent systems. In: P. Ciancarini and M. Wooldridge, editors, Agent-Oriented Software Engineering, LNCS 1957. Springer-Verlag, 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Catholijn Jonker & Jan Treur

  2. Department of Computer Science, Technical University, Baritiu 28, RO-3400, Cluj-Napoca, Romenia

    Ioan Alfred Letia

Authors
  1. Catholijn Jonker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ioan Alfred Letia
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jan Treur
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, The University of Liverpool, Chadwick Building, Peach Street, L69 7ZF, Liverpool, UK

    Michael J. Wooldridge

  2. Technische Universität München, Institut für Informatik, 80290, München, Germany

    Gerhard Weiß

  3. Dipartimento di Scienze dell’Informazione, University of Bologna, Mura Anteo Zamboni 7, 40127, Bologna, Italy

    Paolo Ciancarini

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jonker, C., Alfred Letia, I., Treur, J. (2002). Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds) Agent-Oriented Software Engineering II. AOSE 2001. Lecture Notes in Computer Science, vol 2222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-70657-7_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-70657-7_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43282-1

  • Online ISBN: 978-3-540-70657-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics