Giving Life to Agent Interactions

Agent UML (AUML) is an extension of the standard objectoriented modelling language UML adapted for agent-based systems. In AUML sequence diagrams are extended to describe specific dynamic aspects of agents including dynamic role assignment, nondeterministic choice in agent decisions and concurrent communication. These diagrams are used to describe agent interaction protocols. We describe some of the problems of extended sequence diagrams in AUML. Not all of these problems are specific to agent sequence diagrams and have been previously identified in UML’s sequence diagrams and Message Sequence Charts (MSCs). Live Sequence Charts (LSCs) are a very expressive extension of MSCs that addresses many of these issues in the context of objectoriented systems. We propose an extension of LSCs for agents and show how it is useful for modelling agent interactions, agent commitments, agent society norms and forbidden behaviour. LSCs have the expressiveness of temporal logic and we show how from an LSC we can derive formulae in a simplified variant of the branching time distributed temporal logic Mdtl.

[1]  David Harel,et al.  Playing with time: on the specification and execution of time-enriched LSCs , 2002, Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems.

[2]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1999 .

[3]  Juliana Küster Filipe.  A logic-based Formalization for Component Specification. , 2002 .

[4]  John-Jules Ch. Meyer,et al.  An Organization-oriented Model for Agent Societies , 2008 .

[5]  A. Krall.  Fundamentals of a Module Logic for Distributed Object Systems , 2000 .

[6]  Marc-Philippe Huget.  Extending Agent UML Sequence Diagrams , 2002, AOSE.

[7]  Amílcar Sernadas,et al.  Logics for Specifying Concurrent Information Systems , 1998, Logics for Databases and Information Systems.

[8]  Jörg P. Müller,et al.  Agent UML: A Formalism for Specifying Multiagent Software Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[9]  Reiko Heckel,et al.  Roles in Agent-Oriented Modeling , 2001, Int. J. Softw. Eng. Knowl. Eng..

[10]  Hans Weigand,et al.  Formal Specification of Interaction in Agent Societies , 2002, FAABS.

[11]  Juliana Küster-Filipe,et al.  Foundations of a Module Concept for Distributed Object Systems , 2000 .

[12]  David Harel,et al.  Synthesizing State-Based Object Systems from LSC Specifications , 2000, Int. J. Found. Comput. Sci..

[13]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[14]  Jochen Klose,et al.  An Automata Based Interpretation of Live Sequence Charts , 2001, TACAS.

[15]  Bernhard Bauer,et al.  Agent UML : A formalism for specifying multiagent interaction , 2001 .

[16]  Hans-Dieter Ehrich,et al.  Specifying communication in distributed information systems , 2000, Acta Informatica.

[17]  David Harel,et al.  Specifying and executing requirements: the play-in/play-out approach , 2002, OOPSLA '02.

[18]  James Odell,et al.  Objects and Agents Compared , 2002, J. Object Technol..

[19]  David Harel,et al.  Multiple instances and symbolic variables in executable sequence charts , 2002, OOPSLA '02.

[20]  H. Van Dyke Parunak,et al.  Temporal Aspects of Dynamic Role Assignment , 2003, AOSE.

[21]  Daniel Amyot,et al.  Feature Interactions in Telecommunications and Software Systems VII, June 11-13, 2003, Ottawa, Canada , 2003, FIW.

[22]  H. Van Dyke Parunak,et al.  Representing Agent Interaction Protocols in UML , 2000, AOSE.

[23]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..