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 At 1st Int. Conf. on Multi-Agent Systems (ICMAS '95), United States. 12 - 14 Jun 1995. , pp. 25-32.

Download

[img] PDF ICMAS95c.pdf - Other
Download (141kB)

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
Venue - Dates: 1st Int. Conf. on Multi-Agent Systems (ICMAS '95), United States, 1995-06-12 - 1995-06-14
Organisations: Agents, Interactions & Complexity
ePrint ID: 252144
Date :
Date Event
1995Published
Date Deposited: 03 Dec 2002
Last Modified: 17 Apr 2017 23:36
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/252144

Actions (login required)

View Item View Item