Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
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 -