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 proceedingConference contributionAcademicpeer-review

25 Downloads (Pure)


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 languageEnglish
Title of host publicationProceedings of the First International Conference on Multi-Agent Systems, ICMAS'95
EditorsV. Lesser
Place of PublicationSan Francisco, CA, USA
PublisherMIT Press
Number of pages8
ISBN (Print)0-262-62102-9
Publication statusPublished - 1995

Bibliographical note



Dive into the research topics of 'Formal Specification of Multi-Agent Systems: a Real World Case'. Together they form a unique fingerprint.

Cite this