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

F.M. Brazier, B.M. Dunin-Keplicz, N.R. Jennings, J. Treur

Research output: Contribution to JournalArticleAcademicpeer-review

161 Downloads (Pure)


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.
Original languageEnglish
Pages (from-to)67-94
Number of pages28
JournalInternational Journal of Cooperative Information Systems
Issue number01
Publication statusPublished - 1997

Bibliographical note

Brazier.ea:97 Special Issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems


Dive into the research topics of 'DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework'. Together they form a unique fingerprint.

Cite this