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

Record type: Conference or Workshop Item (Paper)

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.

Text

ICMAS95c.pdf - Other

Download (141kB)

More information

Published date: 1995

Additional Information: Event Dates: June 12 - 14

Venue - Dates: 1st Int. Conf. on Multi-Agent Systems (ICMAS '95), San Francisco, United States, 1995-06-12 - 1995-06-14

Organisations: Agents, Interactions & Complexity

Learn more about Agents, Interactions & Complexity research

Identifiers

Local EPrints ID: 252144

URI: http://eprints.soton.ac.uk/id/eprint/252144

PURE UUID: c097a366-8dea-407a-9124-a3edf9a1746c

Catalogue record

Date deposited: 03 Dec 2002

Last modified: 14 Mar 2024 05:17

Export record

Share this record

Share this on Facebook Share this on Twitter Share this on Weibo

Contributors

Author: F. M. T. Brazier

Author: B. D. Keplicz

Author: N. R. Jennings

Author: J. Treur

Download statistics

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

Library staff additional information