Diagnosis of the dynamics within an organization by trace checking of behavioural requirements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2222, Issue , 2002, Pages 17-32

  Jonker, Catholijn ^a   Letia, Ioan Alfred ^b   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b TECHNICAL UNIVERSITY OF CLUJ NAPOCA   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE AGENTS; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES;

DIAGNOSTIC METHODS; LOGICAL ANALYSIS; ORGANIZATION MODEL; SOFTWARE ENVIRONMENTS;

DYNAMICS;

EID: 84959048678     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-70657-7_2     Document Type: Conference Paper

References (20)

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 Intelligence Journal, vol. 13, 1999, pp. 65-90. H. S. Nwana and D. T. Ndumu (eds.), Special Issue on Multi-Agent Systems.
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 Workshop on Agent-Oriented Software Engineering, AOSE’01. Lecture Notes in CS, Springer Verlag. This volume.
3. Dardenne, A., van Lamsweerde, A., and Fickas, S. (1993). Goal-directed Requirements Acquisition. Science in Computer Programming, vol. 20, pp. 3-50.
4. Darimont, R., and van Lamsweerde, A. (1996). Formal Refinement Patterns for Goal- Driven Requirements Elaboration. In: Proc. of the Fourth ACM Symposium on the Foundation of Software Engineering (FSE4), pp. 179-190.
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.
6. Dellarocas, C., and M. Klein. A knowledge-based approach for handling exceptions in business processes. Information Technology and Management, 1:155-169, 2000.
7. Dignum, V., Weigand, H., and Xu, L., Agent Societies: Towards Frameworks-based Design. 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.
8. Ferber, J. and Gutknecht, O. (1998). A meta-model for the analysis and design of organizations in multi-agent systems. In: Proc. of the Third International Conference on Multi- Agent Systems (ICMAS’98) Proceedings. IEEE Computer Society, 1998
9. Ferber, J. and 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.
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 abstract). 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.
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.
12. Jonker, C.M., and Treur, J., 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
13. Kaminka, G.A., and M. Tambe. Robust agent teams via socially-atentive monitoring. In: Journal of Artificial Intelligence Research, 12:105-147, 2000.
14. Klein, M., and C. Dellarocas. Exception handling in agent systems. In O. Etzioni, J. Muller, and J. Bradshaw, editors, In: Proceedings of the 3rd International Conference on Autonomous Agents (AA’99), pages 62-68, 1999.
15. Kontonya, G., and Sommerville, I. (1998). Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York.
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 organizations: Toward a handbook for organizatinal processes. In: Management Science, 45:425-443, 2000.
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 Workshop 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.
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.
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.