International Workshop on Declarative Agent Languages and Technologies

DALT 2009: Declarative Agent Languages and Technologies VII pp 20-34

The Refinement of Choreographed Multi-Agent Systems

  • Lăcrămioara Aştefănoaei
  • Frank S. de Boer
  • Mehdi Dastani
Conference paper

DOI: 10.1007/978-3-642-11355-0_2

Volume 5948 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Aştefănoaei L., de Boer F.S., Dastani M. (2010) The Refinement of Choreographed Multi-Agent Systems. In: Baldoni M., Bentahar J., van Riemsdijk M.B., Lloyd J. (eds) Declarative Agent Languages and Technologies VII. DALT 2009. Lecture Notes in Computer Science, vol 5948. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Lăcrămioara Aştefănoaei
    • 1
  • Frank S. de Boer
    • 1
  • Mehdi Dastani
    • 2
  1. 1.CWIAmsterdamThe Netherlands
  2. 2.Universiteit UtrechtThe Netherlands