Home > Research > Publications & Outputs > Correctness properties for multiagent systems
View graph of relations

Correctness properties for multiagent systems

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

Publication date2009
Host publicationDeclarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
EditorsMatteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd
Place of PublicationBerlin
Number of pages16
ISBN (Electronic)978-3-642-11355-0
ISBN (Print)978-3-642-11354-3
Original languageEnglish

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characterizes correctness properties for multiagent systems. These properties are centered on commitments, and capture correctness at a high level. In contrast to existing approaches, commitments underlie key correctness primitives understood in terms of meaning; for example, commitment alignment maps to interoperability; commitment discharge maps to compliance. This paper gives illustrative examples and characterizations of these and other properties. The properties cover the specification of the principal artifacts—protocols, roles, and agents—of an interaction-based approach to designing multiagent systems, and thus provide the formal underpinnings of the approach.