Open access
Formal Specification of Multi-Agent Systems
BD Keplicz, N. R. Jennings, FMT Brazier, J Treur, B. D. Keplicz, NR Jennings, J. Treur, F. M. T. Brazier
1995-01-01 0 citations
Looking for the full paper…
Papers open inside SciRah from the original publisher or repository; SciRah never hosts them.
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