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
LEADER 01077 am a22001573u 4500
001 252110
042 |a dc 
100 1 0 |a Brazier, F. M. T.  |e author 
700 1 0 |a Dunin-Keplicz, B. M.  |e author 
700 1 0 |a Jennings, N. R.  |e author 
700 1 0 |a Treur, J.  |e author 
245 0 0 |a DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework 
260 |c 1997. 
856 |z Get fulltext  |u https://eprints.soton.ac.uk/252110/1/IJCIS96b.pdf 
520 |a 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. 
655 7 |a Article