Formal Specification of Multi-Agent Systems : a Real-World Case

  • Frances Braziera, Barbara Dunin KepHczb, Jan Treura
  • Published 2001
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.