This Article 
 Bibliographic References 
 Add to: 
Interaction Protocols as Design Abstractions for Business Processes
December 2005 (vol. 31 no. 12)
pp. 1015-1027
Business process modeling and enactment are notoriously complex, especially in open settings, where business partners are autonomous, requirements must be continually finessed, and exceptions frequently arise because of real-world or organizational problems. Traditional approaches, which attempt to capture processes as monolithic flows, have proven inadequate in addressing these challenges. We propose (business) protocols as components for developing business processes. A protocol is an abstract, modular, publishable specification of an interaction among different roles to be played by different participants. When instantiated with the participants' internal policies, protocols yield concrete business processes. Protocols are reusable and refinable, thus simplifying business process design. We show how protocols and their composition are theoretically founded in the \pi-calculus.

[1] OWL, Web Ontology Language, Feb. 2004, /.
[2] SET, Secure Electronic Transactions (SET) Specifications, 2003, http://www.setco.orgset_specifications.html .
[3] BPEL, Business Process Execution Language for Web Services, Version 1.1, May 2003, libraryws-bpel.
[4] M.P. Singh, A.K. Chopra, N. Desai, and A.U. Mallya, “Protocols for Processes: Programming in the Large for Open Systems,” ACM SIGPLAN Notices, vol. 39, no. 12, pp. 73-83, 2004.
[5] N. Desai and M.P. Singh, “Protocol-Based Business Process Modeling and Enactment,” Proc. Int'l Conf. Web Services, pp. 35-42, 2004.
[6] A.U. Mallya and M.P. Singh, “A Semantic Approach for Designing Commitment Protocols,” Developments in Agent Comm., R.V. Eijk, ed., pp. 37-51, Berlin: Springer, 2005.
[7] M.P. Singh, “An Ontology for Commitments in Multiagent Systems: toward a Unification of Normative Concepts,” Artificial Intelligence and Law, vol. 7, pp. 97-113, 1999.
[8] M. Venkatraman and M.P. Singh, “Verifying Compliance with Commitment Protocols: Enabling Open Web-Based Multiagent Systems,” Autonomous Agents and Multi-Agent Systems, vol. 2, no. 3, pp. 217-236, Sept. 1999.
[9] I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean, “SWRL: A Semantic Web Rule Language Combining OWL and RuleML,” May 2004, (W3C Submission), /.
[10] P.B. Ladkin and S. Leue, “Interpreting Message Flow Graphs,” Formal Aspects of Computing, vol. 7, no. 5, pp. 473-509, 1995.
[11] R. Milner, Communicating and Mobile Systems: The Pi-Calculus. Cambridge Univ. Press, 1999.
[12] C. Canal, L. Fuentes, E. Pimentel, J.M. Troya, and A. Vallecillo, “Adding Roles to Corba Objects,” IEEE Trans. Software Eng., vol. 29, no. 3, pp. 242-259, Mar. 2003.
[13] F. Plasil and S. Visnovsky, “Behavior Protocols for Software Components,” IEEE Trans. Software Eng., vol. 28, no. 11, pp. 1056-1076, Nov. 2002.
[14] R. Allen and D. Garlan, “A Formal Basis for Architectural Connection,” ACM Trans. Software Eng. and Methodology, July 1997.
[15] C.A.R. Hoare, Communicating Sequential Processes. Prentice Hall, 1985.
[16] B. Bauer, J. Müller, and J. Odell, Agent UML: A Formalism for Specifying Multiagent Interaction, P. Ciancarini and M. Wooldridge, eds. Springer-Verlag, 2001.
[17] ITU, Message Sequence Charts, Recommendation z.120, Int'l Telecomm. Union, Telecomm. Standardization Sector, 1996.
[18] I. Jacobson, J. Rumbaugh, and G. Booch, The Unified Software Development Process. Addison Wesley, 1999.
[19] J. Whittle and J. Schumann, “Generating Statechart Designs from Scenarios,” Proc. Int'l Conf. Software Eng., pp. 314-323, 2000.
[20] S. Uchitel, J. Kramer, and J. Magee, “Synthesis of Behavioral Models from Scenarios,” IEEE Trans. Software Eng., vol. 29, no. 2, pp. 99-115, Feb. 2003.
[21] S. Uchitel, J. Kramer, and J. Magee, “Incremental Elaboration of Scenario-Based Specifications and Behavior Models Using Implied Scenarios,” ACM Trans. Software Eng. and Methodology, vol. 13, no. 1, pp. 37-85, Jan. 2004.
[22] N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, and Y. Lafon, “Web Services Choreography Description Language,” Dec. 2004, (W3C Working Draft 1. 0),
[23] “DAML-S: Web Service Description for the Semantic Web,” Proc. First Int'l Semantic Web Conf. (ISWC), July 2002.
[24] V. Agarwal, K. Dasgupta, N. Karnik, A. Kumar, A. Kundu, S. Mittal, and B. Srivastava, “A Service Creation Environment Based on End to End Composition of Web Services,” Proc. Int'l World Wide Web Conf., pp. 128-137, 2005.
[25] M. Solanki, A. Cau, and H. Zedan, “Augmenting Semantic Web Service Descriptions with Compositional Specification,” Proc. Int'l World Wide Web Conf., pp. 544-552, 2004.
[26] Ç.E. Gerede, R. Hull, O. Ibarra, and J. Su, “Automated Composition of e-Services: Lookaheads,” Proc. Int'l Conf. Service Oriented Computing, 2004.
[27] Methodologies and Software Engineering for Agent Systems, F. Bergenti, M.-P. Gleizes, and F. Zambonelli, eds. Kluwer, 2004.
[28] P. Bresciani, A. Perini, P. Giorgini, F. Guinchiglia, and J. Mylopolous, “Tropos: An Agent-Oriented Software Development Methodology,” J. Autonomous Agents and Multi-Agent Systems, vol. 8, no. 3, pp. 203-236, May 2004.
[29] F. Zambonelli, N.R. Jennings, and M. Wooldridge, “Developing Multiagent Systems: The Gaia Methodology,” ACM Trans. Software Eng. Methodology, vol. 12, no. 3, pp. 317-370, 2003.
[30] K. Baïna, B. Benatallah, F. Casati, and F. Toumani, “Model-Driven Web Service Development,” Proc. Advanced Information Systems Eng.: 16th Int'l Conf. (CAiSE), June 2004.
[31] RosettaNet, Home Page, 1998,
[32] Organizing Business Knowledge: The MIT Process Handbook, T.W. Malone, K. Crowston, and G.A. Herman, eds. Cambridge, Mass.: MIT Press, 2003.
[33] P. Vitharana, H. Jain, and F.M. Zahedi, “Strategy-Based Design of Reusable Business Components,” IEEE Trans. Systems, Man, and Cybernetics, vol. 34, no. 4, pp. 460-474, Nov. 2004.

Index Terms:
Index Terms- Multiagent systems, software reuse, interaction-based modeling, software design methodologies, rule-based processing, \pi-calculus.
Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar P. Singh, "Interaction Protocols as Design Abstractions for Business Processes," IEEE Transactions on Software Engineering, vol. 31, no. 12, pp. 1015-1027, Dec. 2005, doi:10.1109/TSE.2005.140
Usage of this product signifies your acceptance of the Terms of Use.