Sciweavers

Share
DALT
2009
Springer

The Refinement of Choreographed Multi-Agent Systems

9 years 9 months ago
The Refinement of Choreographed Multi-Agent Systems
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is such that refinement is compositional. This means that refinement at the individual level implies refinement at the multi-agent system level. Compositionality is an important property since it reduces heavily the verification process. Thus having a theory of refinement is a crucial step towards the verification of multi-agent systems' correctness.
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi D
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2009
Where DALT
Authors Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani
Comments (0)
books