Desire: Modelling Multi-Agent Systems in a Compositional Formal Framework
International Journal of Cooperative Information Systems1997Vol. 06(01), pp. 67–94
Citations Over TimeTop 1% of 1997 papers
Abstract
This paper discusses an example of the application of a high-level modelling framework which supports both the specification and implementation of a system's conceptual design. This framework, DESIRE (framework for DEsign and Specification of Interacting REasoning components), explicitly models the knowledge, interaction, and coordination of complex tasks and reasoning capabilities in agent systems. For the application domain addressed in this paper, an operational multi-agent system which manages an electricity transportation network for a Spanish electricity utility, a comprehensible specification is presented.
Related Papers
- → Requirements specification for process-control systems(1994)554 cited
- → Specification of expert systems(2002)2 cited
- → Research on Wide Spectrum Languages and Research Environments for System Design and Specification.(1995)
- → ViennaDoc: An Animatable and Testable Specification Documentation Tool(2020)