Home > Research > Publications & Outputs > Compositional Correctness for Multiagent Intera...

Electronic data

  • Atomicity-shc-v94

    Accepted author manuscript, 577 KB, PDF document

    Available under license: CC BY-NC: Creative Commons Attribution-NonCommercial 4.0 International License

Links

View graph of relations

Compositional Correctness for Multiagent Interactions

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

Published

Standard

Compositional Correctness for Multiagent Interactions. / V, Samuel H. Christie; Chopra, Amit K.; Singh, Munindar P.

Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. ed. / M. Dastani; G. Sukthankar; E. Andre; S. Koenig. Richmond SC : IFAAMAS, 2018. p. 1159-1167.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

Harvard

V, SHC, Chopra, AK & Singh, MP 2018, Compositional Correctness for Multiagent Interactions. in M Dastani, G Sukthankar, E Andre & S Koenig (eds), Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, Richmond SC, pp. 1159-1167, 17th International Conference on Autonomous Agents and Multi-agent Systems, Stockholm, Sweden, 10/07/18.

APA

V, S. H. C., Chopra, A. K., & Singh, M. P. (2018). Compositional Correctness for Multiagent Interactions. In M. Dastani, G. Sukthankar, E. Andre, & S. Koenig (Eds.), Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (pp. 1159-1167). Richmond SC: IFAAMAS.

Vancouver

V SHC, Chopra AK, Singh MP. Compositional Correctness for Multiagent Interactions. In Dastani M, Sukthankar G, Andre E, Koenig S, editors, Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. Richmond SC: IFAAMAS. 2018. p. 1159-1167

Author

V, Samuel H. Christie ; Chopra, Amit K. ; Singh, Munindar P. / Compositional Correctness for Multiagent Interactions. Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. editor / M. Dastani ; G. Sukthankar ; E. Andre ; S. Koenig. Richmond SC : IFAAMAS, 2018. pp. 1159-1167

Bibtex

@inproceedings{f9ecdf719f5c4f81b20e7af481b3364e,
title = "Compositional Correctness for Multiagent Interactions",
abstract = "An interaction protocol specifies the constraints on communication between agents in a multiagent system. Ideally, we would like to be able to treat protocols as modules and compose them in a declarative manner to systematically build more complex protocols. Supporting composition correctly requires taking into account information-based causality relationships between protocols. One important problem that may arise from inadequate consideration of such relationships is that the enactment of a composite protocol may violate atomicity ; that is, some components may be initiated but prevented from completing. We use the well-known all or nothing principle as the basis for formalizing atomicity as a novel correctness property for protocols. Our contributions are the following. One, we motivate and formalize atomicity and highlight its distinctiveness from related correctness notions. Two, we give a decision procedure for verifying atomicity and report results from an implementation. For concreteness of exposition and technical development, we adopt BSPL as an exemplar of information causality approaches.",
author = "V, {Samuel H. Christie} and Chopra, {Amit K.} and Singh, {Munindar P.}",
year = "2018",
month = "7",
day = "10",
language = "English",
isbn = "9781450356497",
pages = "1159--1167",
editor = "M. Dastani and G. Sukthankar and E. Andre and S. Koenig",
booktitle = "Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems",
publisher = "IFAAMAS",

}

RIS

TY - GEN

T1 - Compositional Correctness for Multiagent Interactions

AU - V, Samuel H. Christie

AU - Chopra, Amit K.

AU - Singh, Munindar P.

PY - 2018/7/10

Y1 - 2018/7/10

N2 - An interaction protocol specifies the constraints on communication between agents in a multiagent system. Ideally, we would like to be able to treat protocols as modules and compose them in a declarative manner to systematically build more complex protocols. Supporting composition correctly requires taking into account information-based causality relationships between protocols. One important problem that may arise from inadequate consideration of such relationships is that the enactment of a composite protocol may violate atomicity ; that is, some components may be initiated but prevented from completing. We use the well-known all or nothing principle as the basis for formalizing atomicity as a novel correctness property for protocols. Our contributions are the following. One, we motivate and formalize atomicity and highlight its distinctiveness from related correctness notions. Two, we give a decision procedure for verifying atomicity and report results from an implementation. For concreteness of exposition and technical development, we adopt BSPL as an exemplar of information causality approaches.

AB - An interaction protocol specifies the constraints on communication between agents in a multiagent system. Ideally, we would like to be able to treat protocols as modules and compose them in a declarative manner to systematically build more complex protocols. Supporting composition correctly requires taking into account information-based causality relationships between protocols. One important problem that may arise from inadequate consideration of such relationships is that the enactment of a composite protocol may violate atomicity ; that is, some components may be initiated but prevented from completing. We use the well-known all or nothing principle as the basis for formalizing atomicity as a novel correctness property for protocols. Our contributions are the following. One, we motivate and formalize atomicity and highlight its distinctiveness from related correctness notions. Two, we give a decision procedure for verifying atomicity and report results from an implementation. For concreteness of exposition and technical development, we adopt BSPL as an exemplar of information causality approaches.

M3 - Conference contribution/Paper

SN - 9781450356497

SP - 1159

EP - 1167

BT - Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems

A2 - Dastani, M.

A2 - Sukthankar, G.

A2 - Andre, E.

A2 - Koenig, S.

PB - IFAAMAS

CY - Richmond SC

ER -