Sound Multi-party Business Protocols for Service Networks

  • Michele Mancioppi
  • Manuel Carro
  • Willem-Jan van den Heuvel
  • Mike P. Papazoglou
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5364)


Service networks comprise large numbers of long-running, highly dynamic complex end-to-end service interactions reflecting asynchronous message flows that typically transcend several organizations and span several geographical locations. At the communication level, service network business protocols can be flexible ranging from conventional inter-organizational point-to-point service interactions to fully blown dynamic multi-party interactions of global reach within which each participant may contribute its activities and services. In this paper we introduce a formal framework enriched with temporal constraints to describe multi-party business protocols for service networks. We extend this framework with the notion of multi-party business protocol soundness and show how it is possible to execute a multi-party protocol consistently in a completely distributed manner while guaranteeing eventual termination.


Business Process Time Condition Service Network Message Exchange Automatic Transition 
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.


  1. 1.
    Mancioppi, M.: A Formal Framework for Multi-Party Business Protocols. CentER Discussion Paper 2008-79, Tilburg University (September 2008),
  2. 2.
    Ponge, J., Benatallah, B., Casati, F., Toumani, F.: Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 599–614. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  3. 3.
    Benyoucef, M., Keller, R.K.: An Evaluation of Formalisms for Negotiations in E-commerce. In: Kropf, P.G., Babin, G., Plaice, J., Unger, H. (eds.) DCW 2000. LNCS, vol. 1830, pp. 45–54. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  4. 4.
    Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126(2), 183–235 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Nitzsche, J., van Lessen, T., Karastoyanova, D., Leymann, F.: BPEL\(^{\mbox{light}}\). In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 214–229. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  6. 6.
    Yellin, D.M., Strom, R.E.: Protocol Specifications and Component Adaptors. ACM Transactions on Programming Languages and Systems 19(2), 292–333 (1997)CrossRefGoogle Scholar
  7. 7.
    Benatallah, B., Casati, F., Toumani, F.: Representing, Analysing and Managing Web Service Protocols. Data Knowledge Engineering 58(3), 327–357 (2006)CrossRefGoogle Scholar
  8. 8.
    Benatallah, B., Casati, F., Toumani, F.: Analysis and Management of Web Service Protocols. In: Atzeni, P., Chu, W.W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol. 3288, pp. 524–541. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    Ryu, S.H., Saint-Paul, R., Benatallah, B., Casati, F.: A Framework for Managing the Evolution of Business Protocols in Web Services. In: Roddick, J.F., Hinze, A. (eds.) APCCM. CRPIT, vol. 67, pp. 49–59. Australian Computer Society (2007)Google Scholar
  10. 10.
    Wombacher, A., Mahleko, B.: Finding Trading Partners to Establish Ad-hoc Business Processes. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, pp. 339–355. Springer, Heidelberg (2002)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Michele Mancioppi
    • 1
  • Manuel Carro
    • 2
  • Willem-Jan van den Heuvel
    • 1
  • Mike P. Papazoglou
    • 1
  1. 1.INFOLAB, Dept. of Information Systems and ManagementTilburg UniversityThe Netherlands
  2. 2.Universidad Politécnica de MadridSpain

Personalised recommendations