Advertisement

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

  • Catholijn Jonker
  • Ioan Alfred Letia
  • Jan Treur
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2222)

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.

Keywords

Multiagent System Organization Model Software Environment Group Instance Local Bank 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 3.
    Dardenne, A., Lamsweerde, A. van, and Fickas, S. (1993). Goal-directed Requirements Acquisition. Science in Computer Programming, vol. 20, pp. 3–50.zbMATHCrossRefGoogle Scholar
  4. 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. 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. 6.
    Dellarocas, C., and M. Klein. A knowledge-based approach for handling exceptions in business processes. Information Technology and Management, 1:155–169, 2000.CrossRefGoogle Scholar
  7. 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. 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, 1998Google Scholar
  9. 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. 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. 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. 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–380Google Scholar
  13. 13.
    Kaminka, G.A., and M. Tambe. Robust agent teams via socially-atentive monitoring. In: Journal of Artificial Intelligence Research, 12:105–147, 2000.zbMATHGoogle Scholar
  14. 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. 15.
    Kontonya, G., and Sommerville, I. (1998). Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York.Google Scholar
  16. 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.CrossRefGoogle Scholar
  17. 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. 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. 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.CrossRefGoogle Scholar
  20. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Catholijn Jonker
    • 1
  • Ioan Alfred Letia
    • 2
  • Jan Treur
    • 1
  1. 1.Department of Artificial IntelligenceVrije Universiteit AmsterdamAmsterdamThe Netherlands
  2. 2.Department of Computer ScienceTechnical UniversityCluj-Napoca

Personalised recommendations