We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK


93% of Lancaster students go into work or further study within six months of graduating

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

« Back

Correctness properties for multiagent systems

Research output: Contribution in Book/Report/ProceedingsChapter


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.