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 enables 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...

Full description

Bibliographic Details
Main Authors: Brazier, F. M. T. (Author), Dunin-Keplicz, B. M. (Author), Jennings, N. R. (Author), Treur, J. (Author)
Format: Article
Language:English
Published: 1997.
Subjects:
Online Access:Get fulltext
Description
Summary:This paper discusses an example of the application of a high-level modelling framework which enables 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.