Incorporating Commitment Protocols into Tropos

  • Ashok U. Mallya
  • Munindar P. Singh
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3950)


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.


Business Process Multiagent System Decomposition Tree Goal Model Interaction Protocol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bergenti, F., Gleizes, M.-P., Zambonelli, F.: Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook. Kluwer Academic Publishers, Dordrecht (2004)CrossRefzbMATHGoogle Scholar
  2. 2.
    Bresciani, P., Perini, A., Giorgini, P., Guinchiglia, F., Mylopolous, J.: Tropos: An agent-oriented software development methodology. Journal of Autonomous Agents and Multi-Agent Systems 8(3), 203–236 (2004)CrossRefGoogle Scholar
  3. 3.
    Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P.: Interaction protocols as design abstractions for business processes. IEEE Transactions on Software Engineering 31(12), 1015–1027 (2005)CrossRefGoogle Scholar
  4. 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. 5.
    Mallya, A.U., Singh, M.P.: An algebra for commitment protocols. Journal of Autonomous Agent and Multiagent Systems (2006)Google Scholar
  6. 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. 7.
    Yu, E.: Modeling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto (1995)Google Scholar
  8. 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
  9. 9.
    Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: The Gaia methodology. ACM Transactions on Software Engineering Methodology 12(3), 317–370 (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Ashok U. Mallya
    • 1
  • Munindar P. Singh
    • 1
  1. 1.Department of Computer ScienceNorth Carolina State UniversityRaleighUSA

Personalised recommendations