Formal Specification of Multi-Agent Systems

Brazier, F. M. T., Keplicz, B. D., Jennings, N. R. and Treur, J. (1995) Formal Specification of Multi-Agent Systems. In, 1st Int. Conf. on Multi-Agent Systems (ICMAS '95), San Francisco, USA, 12 - 14 Jun 1995. , 25-32.


[img] PDF
Download (138Kb)


In this paper the 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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: June 12 - 14
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Agents, Interactions & Complexity
ePrint ID: 252144
Accepted Date and Publication Date:
Date Deposited: 03 Dec 2002
Last Modified: 31 Mar 2016 13:52
Further Information:Google Scholar

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics