Coordinating Web-Service Enabled Business Transactions with Contracts

  • Willem-Jan van den Heuvel
  • Hans Weigand
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2681)


The main contribution of this paper is the development of a contract-based framework for coordinating web-services that are engaged in long-running, cohesive business transactions. The proposed framework offers an amplification to both traditional and reinvented flavors of E-Business ACIDity for statically ensuring e-business transaction robustness and reliability by introducing agreement (atomicity). In addition, this framework provides an agreement-driven model for dynamically coordinating web-service orchestrations.


Business Process Business Transaction Contract Manager Illocutionary Force Port Type 
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.
    J. Yang and M.P. Papazoglou. Interoperation Support for Electronic Business. Communications of the ACM, Vol.43, No. 6, pp. 39–47, June 2000CrossRefGoogle Scholar
  2. 2.
    E. Christensen et al. Web Services Description Language (WSDL) 1.1 W3C Technical Report, March 2001.
  3. 3.
    M Rawlins et al. ebXML Technical Architecture Specifcation, V1.4 2001
  4. 4.
    V. Kashyap and A. Sheth Semantic and Schematic Similarities Between Database Objects: A Context-Based Approach VLDB Journal, 5(4): 276–304, 1996Google Scholar
  5. 5.
    M. Vidal et al. A Meta-Wrapper for Scaling up to Multiple Autonomous Distributed Information Sources Proceedings of Conference on Cooperative Information Systems 148–157, New-York, USA, 1998Google Scholar
  6. 6.
    H. Weigand and W. Hasselbring An Extensible Language for Business Communication In: O. Etzion, P. Scheuermann (Eds), Cooperative Information Systems (COOPIS 2000), Springer-Verlag, 2000.Google Scholar
  7. 7.
    V. Kalogeraki et al. A Peer-to-Peer Architecture for Delivering E-Services HP Technical Report HPL-2001-181, 20010801, 2001.Google Scholar
  8. 8.
    T. Winograd A language/action perspective on the design of cooperative work, In: I. Greif (Ed), Computer Supported Cooperative Work: A Book of Readings, Morgan Kaufmann, 1986.Google Scholar
  9. 9.
    F. Leymann and D. Roller, Production Workflow: Concepts and Techniques, Prentice Hall, New Jersey, 2000.zbMATHGoogle Scholar
  10. 10.
    J. Hanson et al. Conversation support for Business Process Integration, In: Proceedings 6th IEEE International Enterprise Distributed Object Computing Conference (EDOC-2002), IEEE Press, 2002, pp. 65–74.Google Scholar
  11. 11.
    F. Cubera et al. Business Process Execution Language for Web-Services, Version 1.0, (visited: 4-9-2002), Joint BEA Systems, IBM, Microsoft Technical Report, 31 July 2002.
  12. 12.
    F. Cabrera et al. Web Services Transaction (WS-Transaction) (visited: 4-9-2002) Joint BEA Systems, IBM, Microsoft Technical Report, 9 August 2002.
  13. 13.
    F. Cabrera et al. Web Services Coordination (WS-Coordination), (visited: 4-9-2002), Joint BEA Systems, IBM, Microsoft Technical Report, 9 August 2002.
  14. 14.
    A. Ceponkus et al. Business Transaction Protocol, Version 1.0,,documents/specification/2002-0603.BTP_cttee_spec_1.0.pdf (visited: 5-9-2002) OASIS Technical Report, OASIS, 2002.
  15. 15.
    J.D. Tygar Atomicity in Electronic Commerce. netWorker, 22: 32–43, ACM-Mixed Media, 1998.CrossRefGoogle Scholar
  16. 16.
    A. Banerij et al. Web-Services Conversation Language (WSCL), (visited: 23-10-2002), W3C Technical Report, March 2002.
  17. 17.
    R. Bons, Designing Trustworthy Trade Procedures, Phd Thesis, Rotterdam School of Management, 1997.Google Scholar
  18. 18.
    W.J. van den Heuvel and S. Artyshchev Developing A Three-Dimensional Transaction Model for Supporting Atomicity Spheres, Proceedings of International Workshop on Web Services: Research, Standardization, and Deployment (WS-RSD’02), 3-9808628-1-X Erfurt, Germany, October, 2002.Google Scholar
  19. 19.
    A. Arkin et al. Web Service Choreography Interface 1.0. (visited 12-10-2002), BEA Systems, Intalio, SAP, Sun Microsystems Report, 2002.
  20. 20.
    A. Arkin Business Process Modeling Language. BPMI.Org, Last Call Draft Report, 13 November 2002.Google Scholar
  21. 21.
    Business Process Project Team. ebXML Business Process Specification Schema. Last Call Draft Report, 13 November 2002.Google Scholar
  22. 22.
    J. Gray and A. Reuter Transaction Processing: Concepts and Techniques, Morgan Kaufmann, San Francisco, 1993.zbMATHGoogle Scholar
  23. 23.
    N. Lynch et al. Atomic Transactions Morgan Kaufmann, 1993.Google Scholar
  24. 24.
    H. Weigand, F. Dignum and E. Verharen. Integrated Semantics for Information and Communication Systems, In: R. Meersman, L. Mark (Eds), Database Application Semantics. Chapman & Hall, 1997.Google Scholar
  25. 25.
    WebTransact: A Framework for Specifying and Coordinating Realiable Web Services Compositions Paulo de Figueiredo Pires PhD Thesis, University of Rio de Janeiro, June 17, 2002.Google Scholar
  26. 26.
    D. Skeen Nonblocking Commit Protocols Proc. of ACM SIGMOD, June 1982.Google Scholar
  27. 27.
    An ACID Framework for Electronic Commerce In: Proceedings of The First International Conference On Telecommunications and Electronic Commerce, Dallas, TX, USA, November 16–19, 2000.Google Scholar
  28. 28.
    J. Austin How to do things with words, Clarendon Press, 1962.Google Scholar
  29. 29.
    J. Searle, An essay in the philosophy of language, Cambridge University Press, 1969.Google Scholar
  30. 30.
    H. Weigand, E. Verharen and F. Dignum. Interoperable Transactions in Business Models. In P. Constantopoulos, J. Mylopoulos and Y. Vassiliou (eds.), Advanced Information Systems Engineering, pages 193–209, LNCS1080, Springer-Verlag, 1996.Google Scholar
  31. 31.
    J.L.G. Dietz. Business modelling for business redesign. In Proc. HICSS’ 94; pp. 723–732. IEEE Press, 1994.Google Scholar
  32. 32.
    H. Weigand and A. Ngu Flexible specification of interoperable transactions Data & Knowledge Engineering 25 (1998), pp 327–345, 1998.zbMATHCrossRefGoogle Scholar
  33. 33.
    Kimbrough, S. and Lee, R., On formal aspects of electronic commerce: examples of research issues and challenges, In: Proceedings HICSS’96, IEEE Computer Society Press, 1996.Google Scholar
  34. 34.
    S. Kimbrough and S.A. Moore, On automated message processing in electronic commerce and work support systems: Speech Act, ACM Transactions on Information Systems (TOIS), 1997Google Scholar
  35. 35.
    J.R. Taylor, Rethinking the Theory of Organizational Communication, Ablex Publishing Company, 1993.Google Scholar
  36. 36.
    J. Yang and M.P. Papazoglou Web Component: A Substrate for Web Service Reuse and Composition. A. Banks Pidduck, J. Mylopoulos, C.C. Woo, M. Tamer Ozsu (Eds.), Proceedings of CAiSE 2002, 21–36, Springer, LNCS 2348, 2002.Google Scholar
  37. 37.
    K. Sycara at al., Dynamic Service Matchmaking Among Agents in Open Information Environments, SIGMOD Record, (28)1:47–53, 1999.CrossRefGoogle Scholar
  38. 38.
    J. Vonk at al. Cross-organizational Transaction Support for Virtual Enterprises In: O. Etzion, P. Scheuermann (Eds), Cooperative Information Systems (COOPIS 2000). Springer-Verlag, 2000.Google Scholar
  39. 39.
    W.J. van den Heuvel and Z. Maamar Towards a Framework to Compose Intelligent Web-Services: How Intelligent Web-Service support Cross-Organizational Business Transactions. Accepted for publication in: Comunications of the ACM, 2003.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Willem-Jan van den Heuvel
    • 1
  • Hans Weigand
    • 1
  1. 1.INFOLABTilburg UniversityTilburgThe Netherlands

Personalised recommendations