12,000

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

93%

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

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

« Back

Reasoning about agents and protocols via goals and commitments

Research output: Contribution in Book/Report/ProceedingsConference contribution

Published

Publication date2010
Host publicationAAMAS '10 Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1
Place of publicationRichmond, S.C.
PublisherInternational Foundation for Autonomous Agents and Multiagent Systems
Pages457-464
Number of pages8
ISBN (Print)978-0-9826571-1-9
Original languageEnglish

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.