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.

Download

[img] PDF
Download (138Kb)

Description/Abstract

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
Date Deposited: 03 Dec 2002
Last Modified: 27 Mar 2014 19:54
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/252144

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