Formal Specification of Multi-Agent Systems
Frances M.T. Brazier, B. D. Keplicz, Nicholas R. Jennings, Jan Treur · ePrints Soton (University of Southampton) · 1995
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.