Formal Specification of Multi-Agent Systems: a Real World Case

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

Formal Specification of Multi-Agent Systems: a Real World Case

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

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

63 Downloads (Pure)

Abstract

In this paper the modelling framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real- world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems.

Original language	English
Title of host publication	Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95
Editors	V. Lesser
Place of Publication	San Francisco, CA, USA
Publisher	MIT Press
Pages	25-32
Number of pages	8
ISBN (Print)	0-262-62102-9
Publication status	Published - 1995

Bibliographical note

Brazier.ea:95*1

Access to Document

ICMAS95Final published version, 56.8 KB

http://www.mendeley.com/research/formal-specification-multiagent-systems-realworld-case

Persistent URL (handle)

Persistent link

Cite this

@inproceedings{359614790f994043a15cdc97f9c51ede,

title = "Formal Specification of Multi-Agent Systems: a Real World Case",

abstract = "In this paper the modelling framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real- world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems.",

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

note = "Brazier.ea:95*1 ",

year = "1995",

language = "English",

isbn = "0-262-62102-9",

pages = "25--32",

editor = "V. Lesser",

booktitle = "Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95",

publisher = "MIT Press",

}

Formal Specification of Multi-Agent Systems: a Real World Case. / Brazier, F.M.; Dunin-Keplicz, B.M.; Jennings, N.R. et al.
Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95. ed. / V. Lesser. San Francisco, CA, USA: MIT Press, 1995. p. 25-32.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Formal Specification of Multi-Agent Systems: a Real World Case

AU - Brazier, F.M.

AU - Dunin-Keplicz, B.M.

AU - Jennings, N.R.

AU - Treur, J.

N1 - Brazier.ea:95*1

PY - 1995

Y1 - 1995

N2 - In this paper the modelling framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real- world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems.

AB - In this paper the modelling framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real- world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems.

M3 - Conference contribution

SN - 0-262-62102-9

SP - 25

EP - 32

BT - Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95

A2 - Lesser, V.

PB - MIT Press

CY - San Francisco, CA, USA

ER -

Formal Specification of Multi-Agent Systems: a Real World Case

Abstract

Bibliographical note

Access to Document

Persistent URL (handle)

Fingerprint

Cite this