Desire: Modelling multi-agent systems in a compositional formal framework

被引：120

作者：

Brazier, FMT

DuninKeplicz, BM

Jennings, NR

Treur, J

机构：

[1] UNIV WARSAW, INST INFORMAT, PL-02097 WARSAW, POLAND

[2] UNIV LONDON QUEEN MARY & WESTFIELD COLL, DEPT ELECT ENGN, LONDON E1 4NS, ENGLAND

来源：

INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS | 1997年 / 6卷 / 01期

关键词：

multi-agent system; modelling framework; compositional modelling;

D O I：

10.1142/S0218843097000069

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：67 / 94

页数：28

共 22 条

[1] BRAZIER FMT, 1995, P 1 INT C MULT SYST, P25
[2] BRAZIER FMT, 1994, LECT NOTES ARTIF INT, V867, P283
[3] BRAZIER FMT, 1996, IN PRESS COOPERATIVE
[4] BRAZIER FMT, 1994, IR375 VRIJ U AMST DE
[5] BRAZIER FMT, 1993, P HCL INT 93 ELS AMS, P672
[6] BRAZIER FMT, 1996, IN PRESS P 5 IEEE WO
[7] BURKHARD H, 1993, P 13 INT JOINT C ART, P325
[8] COCKBURN D, 1995, FDN DISTRIBUTED ARTI, P319
[9] DILLER AZ, 1992, INTRO FORMAL METHODS
[10] DUNINKEPLICZ B, 1995, LECT NOTES ARTIF INT, V890, P102

← 1 2 3 →