Home > Research > Publications & Outputs > Reasoning about agents and protocols via goals ...
View graph of relations

Reasoning about agents and protocols via goals and commitments

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

Published

Standard

Reasoning about agents and protocols via goals and commitments. / Chopra, Amit K.; Dalpiaz, Fabiano; Giorgini, Paolo et al.

AAMAS '10 Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1. Richmond, S.C. : International Foundation for Autonomous Agents and Multiagent Systems, 2010. p. 457-464.

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

Harvard

Chopra, AK, Dalpiaz, F, Giorgini, P & Mylopoulos, J 2010, Reasoning about agents and protocols via goals and commitments. in AAMAS '10 Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1. International Foundation for Autonomous Agents and Multiagent Systems, Richmond, S.C., pp. 457-464. <http://dl.acm.org/citation.cfm?id=1838206.1838271>

APA

Chopra, A. K., Dalpiaz, F., Giorgini, P., & Mylopoulos, J. (2010). Reasoning about agents and protocols via goals and commitments. In AAMAS '10 Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1 (pp. 457-464). International Foundation for Autonomous Agents and Multiagent Systems. http://dl.acm.org/citation.cfm?id=1838206.1838271

Vancouver

Chopra AK, Dalpiaz F, Giorgini P, Mylopoulos J. Reasoning about agents and protocols via goals and commitments. In AAMAS '10 Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1. Richmond, S.C.: International Foundation for Autonomous Agents and Multiagent Systems. 2010. p. 457-464

Author

Chopra, Amit K. ; Dalpiaz, Fabiano ; Giorgini, Paolo et al. / Reasoning about agents and protocols via goals and commitments. AAMAS '10 Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1. Richmond, S.C. : International Foundation for Autonomous Agents and Multiagent Systems, 2010. pp. 457-464

Bibtex

@inproceedings{a3d3ff839000403889b7b1ca967c200e,
title = "Reasoning about agents and protocols via goals and commitments",
abstract = "This paper seeks to combine two largely independent threads of multiagent systems research---agent specification and protocols. We specify agents in terms of goal models (as used in Tropos). We specify protocols in terms of the commitments among agents. We illustrate and formalize the semantic relationship between agents and protocols by exploiting the relationship between goals and commitments. Given an agent specification and a protocol, the semantics helps us perform two kinds of verification: (1) whether the protocol supports achieving particular agent goals, and (2) whether the agent's specification supports the satisfaction of particular commitments.",
keywords = "agent-oriented software engineering , commitments, communication, compliance, goals, protocols, theory, verification",
author = "Chopra, {Amit K.} and Fabiano Dalpiaz and Paolo Giorgini and John Mylopoulos",
year = "2010",
language = "English",
isbn = "978-0-9826571-1-9",
pages = "457--464",
booktitle = "AAMAS '10 Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1",
publisher = "International Foundation for Autonomous Agents and Multiagent Systems",

}

RIS

TY - GEN

T1 - Reasoning about agents and protocols via goals and commitments

AU - Chopra, Amit K.

AU - Dalpiaz, Fabiano

AU - Giorgini, Paolo

AU - Mylopoulos, John

PY - 2010

Y1 - 2010

N2 - This paper seeks to combine two largely independent threads of multiagent systems research---agent specification and protocols. We specify agents in terms of goal models (as used in Tropos). We specify protocols in terms of the commitments among agents. We illustrate and formalize the semantic relationship between agents and protocols by exploiting the relationship between goals and commitments. Given an agent specification and a protocol, the semantics helps us perform two kinds of verification: (1) whether the protocol supports achieving particular agent goals, and (2) whether the agent's specification supports the satisfaction of particular commitments.

AB - This paper seeks to combine two largely independent threads of multiagent systems research---agent specification and protocols. We specify agents in terms of goal models (as used in Tropos). We specify protocols in terms of the commitments among agents. We illustrate and formalize the semantic relationship between agents and protocols by exploiting the relationship between goals and commitments. Given an agent specification and a protocol, the semantics helps us perform two kinds of verification: (1) whether the protocol supports achieving particular agent goals, and (2) whether the agent's specification supports the satisfaction of particular commitments.

KW - agent-oriented software engineering

KW - commitments

KW - communication

KW - compliance

KW - goals

KW - protocols

KW - theory

KW - verification

M3 - Conference contribution/Paper

SN - 978-0-9826571-1-9

SP - 457

EP - 464

BT - AAMAS '10 Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1

PB - International Foundation for Autonomous Agents and Multiagent Systems

CY - Richmond, S.C.

ER -