Incorporating Commitment Protocols into Tropos

13 years 10 months ago

Download www.csc.ncsu.edu

This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including requirements acquisition, architecture, and design, but can beneﬁt from a stronger treatment of ﬂexible interactions. Two, commitment protocols declaratively capture interactions among business partners, thus facilitating ﬂexible behavior and a sophisticated notion of compliance. However, they lack support for engineering concerns such as inducing the desired roles and selecting the right protocols. This paper combines these two directions. For concreteness, we choose the Tropos methodology, which is strong in its requirements analysis, but our results can be ported to other agent-oriented methodologies. Our approach is as follows. First, using Tropos, analyze requirements based on dependencies between actors. Second, select top-level protocols based on the actors’ hard goals, while respecting the logic...

Ashok U. Mallya, Munindar P. Singh

Real-time Traffic