DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework

This paper discusses an example of the application of a high-level modelling framework which supports both the specification and implementation of a system's conceptual design. This framework, DESIRE (framework for DEsign and Specification of Interacting REasoning components), explicitly models the knowledge, interaction, and coordination of complex tasks and reasoning capabilities in agent systems. For the application domain addressed in this paper, an operational multi-agent system which manages an electricity transportation network for a Spanish electricity utility, a comprehensible specification is presented.

[1]  Antoni Diller,et al.  Z - an introduction to formal methods , 1990 .

[2]  Jan Treur,et al.  Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning , 1994, META.

[3]  Jan Treur,et al.  Compositional Formal Specification of Multi-Agent Systems , 1994, ECAI Workshop on Agent Theories, Architectures, and Languages.

[4]  Cliff B. Jones,et al.  Systematic software development using VDM (2. ed.) , 1990, Prentice Hall International Series in Computer Science.

[5]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[6]  Jan Treur,et al.  Temporal Theories of Reasoning , 1995, J. Appl. Non Class. Logics.

[7]  Jan Treur,et al.  User Centered Knowledge-Based System Design: a Formal Modelling Approach , 1994, EKAW.

[8]  Catholijn M. Jonker,et al.  Modelling project coordination in a multi-agent framework , 1996, Proceedings of WET ICE '96. IEEE 5th Workshop on Enabling Technologies; Infrastucture for Collaborative Enterprises.

[9]  Nicholas R. Jennings,et al.  Formal Specification of Multi-Agent Systems: A Real-World Case , 1995, ICMAS.

[10]  Michael Wooldridge,et al.  Specifying and Verifying Distributed Intelligence Systems , 1993, EPIA.

[11]  Michael Z. Spivey,et al.  The Z notation , 1989 .

[12]  Jan Treur,et al.  Formal Specification of Compositional Architectures , 1992, ECAI.

[13]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[14]  Jan Treur,et al.  A Formal Model for the Dynamics of Compositional Reasoning Systems , 1994, ECAI.

[15]  Nicholas R. Jennings,et al.  ARCHON: a distributed artificial intelligence system for industrial application , 1996 .

[16]  Jan Treur,et al.  Formal Notions for Verification of Dynamics of Knowledge-Based Systems , 1995, EUROVAV.

[17]  Hans-Dieter Burkhard,et al.  Liveness and Fairness Properties in Multi-Agent Systems , 1993, IJCAI.

[18]  Greg M. P. O'Hare.  Agent factory: an environment for the fabrication of multiagent systems , 1996 .

[19]  Michael Luck,et al.  A Formal Framework for Agency and Autonomy , 1995, ICMAS.

[20]  Frances M. T. Brazier,et al.  Modelling Collective User Satisfaction , 1993, HCI.

[21]  Nicholas R. Jennings,et al.  Modelling Distributed Industrial Processes in a Multi-Agent Framework , 1997 .

[22]  D. Mcdonald,et al.  ARCHON : A DISTRIBUTED ARTIFICIAL INTELLIGENCE SYSTEM FOR INDUSTRIAL APPLICATIONS , 1995 .

[23]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[24]  Luc Steels,et al.  A Future for Knowledge Acquisition. Proceedings of the 8th European Knowledge Acquisition Workshop EKAW'94 , 1994 .