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

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

doi:10.1142/S0218843097000069

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 Journal › Article › Academic › peer-review

243 Downloads (Pure)

Abstract

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 language	English
Pages (from-to)	67-94
Number of pages	28
Journal	International Journal of Cooperative Information Systems
Volume	06
Issue number	01
DOIs	https://doi.org/10.1142/S0218843097000069
Publication status	Published - 1997

Bibliographical note

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

Access to Document

10.1142/S0218843097000069

IJCIS97Final published version, 97.7 KB

Persistent URL (handle)

Persistent link

Cite this

@article{d2f26e1c989f438fb1f1dc3fdd9c7300,

title = "DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework",

abstract = "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.",

author = "F.M. Brazier and B.M. Dunin-Keplicz and N.R. Jennings and J. Treur",

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

year = "1997",

doi = "10.1142/S0218843097000069",

language = "English",

volume = "06",

pages = "67--94",

journal = "International Journal of Cooperative Information Systems",

issn = "0218-8430",

publisher = "World Scientific Publishing Co. Pte Ltd",

number = "01",

}

TY - JOUR

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

AU - Brazier, F.M.

AU - Dunin-Keplicz, B.M.

AU - Jennings, N.R.

AU - Treur, J.

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

PY - 1997

Y1 - 1997

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

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

U2 - 10.1142/S0218843097000069

DO - 10.1142/S0218843097000069

M3 - Article

SN - 0218-8430

VL - 06

SP - 67

EP - 94

JO - International Journal of Cooperative Information Systems

JF - International Journal of Cooperative Information Systems

IS - 01

ER -

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

Abstract

Bibliographical note

Access to Document

Persistent URL (handle)

Fingerprint

Cite this