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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
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 and Applied Science > Electronics and Computer Science > Agents, Interactions & Complexity |
| Item ID: | 252144 |
| Date Deposited: | 03 Dec 2002 |
| Last Modified: | 02 Mar 2012 14:02 |
| Contributors: | Brazier, F. M. T. (Author) Keplicz, B. D. (Author) Jennings, N. R. (Author) Treur, J. (Author) |
| Date: | 1995 |
| Additional Information: | Event Dates: June 12 - 14 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/252144 |
Actions (login required)
 |
View Item |
