Incorporating Commitment Protocols into Tropos
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 benefit from a stronger treatment of flexible interactions. Two, commitment protocols declaratively capture interactions among business partners, thus facilitating flexible 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 logical boundaries of their interactions. Third, select refined protocols based on the actors’ soft goals. Consequently, Tropos provides a rigorous basis for modeling and composing protocols whereas the protocols help produce perspicuous designs that respect the participants’ autonomy. We evaluate our approach using a large existing case.
KeywordsBusiness Process Multiagent System Decomposition Tree Goal Model Interaction Protocol
Unable to display preview. Download preview PDF.
- 4.Giorgini, P., Mylopolous, J., Sebastiani, R.: Goal-oriented requirements analysis and reasoning in the tropos methodology. Engineering Application of Atrificial Intelligence Journal 18(2) (to appear, 2005)Google Scholar
- 5.Mallya, A.U., Singh, M.P.: An algebra for commitment protocols. Journal of Autonomous Agent and Multiagent Systems (2006)Google Scholar
- 6.Singh, M.P., Chopra, A.K., Desai, N.V., Mallya, A.U.: Protocols for processes: programming in the large for open systems (extended abstract). In: OOPSLA 2004: Companion to the 19th annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 120–123. ACM Press, New York (2004)CrossRefGoogle Scholar
- 7.Yu, E.: Modeling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto (1995)Google Scholar
- 8.Yu, E.S.K., Mylopoulos, J.: An actor dependency model of organizational work: with application to business process reengineering. In: COOCS 1993: Proceedings of the conference on Organizational computing systems, pp. 258–268. ACM Press, New York (1993)Google Scholar