Automated testing for intelligent agent systems

This paper describes an approach to unit testing of plan based agent systems, with a focus on automated generation and execution of test cases. Design artefacts, supplemented with some additional data, provide the basis for specification of a comprehensive suite of test cases. Correctness of execution is evaluated against a design model, and a comprehensive report of errors and warnings is provided to the user. Given that it is impossible to design test suites which execute all possible traces of an agent program, it is extremely important to thoroughly test all units in as wide a variety of situations as possible to ensure acceptable behaviour. We provide details of the information required in design models or related data to enable the automated generation and execution of test cases. We also briefly describe the implemented tool which realises this approach

Workshop on Modelling of Objects, Components, and Agents, Aarhus, Denmark, August 27-28, 2001

This booklet contains the proceedings of the workshop Modelling of Objects, Components, and Agents (MOCA'01), August 27-28, 2001. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark and the "Theoretical Foundations of Computer Science" Group at the University of Hamburg, Germany. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop01

A Formal Study of Interactions in Multi-Agent Systems

This paper presents an original approach to model, analyze, and design interactions in multi-agent systems. It combines two complementary paradigms: observation in distributed systems and interaction in multi-agent systems. The first paradigm is frequently used to observe concurrent activities in distributed systems through the causal dependency of events. The second paradigm provides an interesting framework to formalize complex interaction between agents. Our approach is based on distributed observation of events inherent to agents' interactions, which may explain relationships within conversations, or group utterances in order to improve agent's behavior.ou

A Formal Study of Interactions in Multi-agent Systems

This paper presents an original approach to model, analyze, and design interactions in multi-agent systems. It combines two complementary paradigms: observation in distributed systems and interaction in multi-agent systems. The rst paradigm is frequently used to observe concurrent activities in distributed systems through the causal dependency of events. The second paradigm aims to identify interaction-oriented designs and describes them with a formalism enabling to prove their quality. Our approach is based on distributed observation of events inherent to agents' interactions, which may explain relationships within conversations, or group utterances in order to improve agent's behavior