DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework
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 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.
Multi-agent system, modelling framework, compositional modelling
67-94
Brazier, F. M. T.
17ad805f-e250-4e8f-a5f9-587b8e6fbd64
Dunin-Keplicz, B. M.
5fcb52c2-730f-4403-9785-e9c431f9b226
Jennings, N. R.
ab3d94cc-247c-4545-9d1e-65873d6cdb30
Treur, J.
5060c32a-e431-4578-9555-3baa76298025
1997
Brazier, F. M. T.
17ad805f-e250-4e8f-a5f9-587b8e6fbd64
Dunin-Keplicz, B. M.
5fcb52c2-730f-4403-9785-e9c431f9b226
Jennings, N. R.
ab3d94cc-247c-4545-9d1e-65873d6cdb30
Treur, J.
5060c32a-e431-4578-9555-3baa76298025
Brazier, F. M. T., Dunin-Keplicz, B. M., Jennings, N. R. and Treur, J.
(1997)
DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework.
International Journal of Cooperative Information Systems, 6 (1), .
Abstract
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.
Text
IJCIS96b.pdf
- Other
More information
Published date: 1997
Keywords:
Multi-agent system, modelling framework, compositional modelling
Organisations:
Agents, Interactions & Complexity
Identifiers
Local EPrints ID: 252110
URI: http://eprints.soton.ac.uk/id/eprint/252110
PURE UUID: b64c9526-1d47-4cb7-ac9f-56f832046e14
Catalogue record
Date deposited: 03 Dec 2002
Last modified: 14 Mar 2024 05:15
Export record
Contributors
Author:
F. M. T. Brazier
Author:
B. M. Dunin-Keplicz
Author:
N. R. Jennings
Author:
J. Treur
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics