Reasoning about agents and protocols via goals and commitments

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… (More)

4 Figures & Tables



Citations per Year

70 Citations

Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.