A Formal Account of Contracts for Web Services

  • S. Carpineti
  • G. Castagna
  • C. Laneve
  • L. Padovani
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4184)


We define a formal contract language along with subcontract and compliance relations. We then extrapolate contracts out of processes, that are a recursion-free fragment of ccs. We finally demonstrate that a client completes its interactions with a service provided the corresponding contracts comply. Our contract language may be used as a foundation of Web services technologies, such as wsdl and wscl.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Banerji, A., Bartolini, C., Beringer, D., Chopella, V., et al.: Web Services Conversation Language (WSCL) 1.0 (March 2002), http://www.w3.org/TR/2002/NOTE-wscl10-20020314
  2. 2.
    Beringer, D., Kuno, H., Lemon, M.: Using WSCL in a uddi Registry 1.0, UDDI Working Draft Best Practices Document (2001), http://xml.coverpages.org/HP-UDDI-wscl-5-16-01.pdf
  3. 3.
    Booth, D., Liu, C.K.: Web Services Description Language (WSDL) Version 2.0 Part 0: Primer (March 2006)Google Scholar
  4. 4.
    Chinnici, R., Haas, H., Lewis, A.A., Moreau, J.-J., et al.: Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts (March 2006), http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327
  5. 5.
    Chinnici, R., Moreau, J.-J., Ryman, A., Weerawarana, S.: Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language (March 2006), http://www.w3.org/TR/2006/CR-wsdl20-20060327
  6. 6.
    Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1 (2001), http://www.w3.org/TR/2001/NOTE-wsdl-20010315
  7. 7.
    Colgrave, J., Januszewski, K.: Using wsdl in a uddi registry, version 2.0.2. Technical note, OASIS (2004), http://www.oasis-open.org/committees/uddi-spec/doc/tn/uddi-spec-tc-tn-wsdl-v2.htm
  8. 8.
    Cosmo, R.D.: Isomorphisms of Types: from Lambda Calculus to Information Retrieval and Language Desig. Birkhauser, Basel (1995)Google Scholar
  9. 9.
    Fallside, D.C., Walmsley, P.: XML Schema Part 0: Primer Second Edition (October 2004), http://www.w3.org/TR/xmlschema-0/
  10. 10.
    Fournet, C., Hoare, C.A.R., Rajamani, S.K., Rehof, J.: Stuck-free conformance. Technical Report MSR-TR-2004-69, Microsoft Research (July 2004)Google Scholar
  11. 11.
    Hennessy, M.: Acceptance trees. JACM: Journal of the ACM 32(4), 896–928 (1985)MATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Hennessy, M.C.B.: Algebraic Theory of Processes. In: Foundation of Computing, MIT Press, Cambridge (1988)Google Scholar
  13. 13.
    Milner, R.: A Calculus of Communicating Systems. Springer, New York (1982)Google Scholar
  14. 14.
    Nicola, R.D., Hennessy, M.: Testing equivalences for processes. Theor. Comput. Sci. 34, 83–133 (1984)MATHCrossRefGoogle Scholar
  15. 15.
    Nicola, R.D., Hennessy, M.: CCS without tau’s. In: TAPSOFT 1987/CAAP 1987: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming, vol. 1, pp. 138–152. Springer, Heidelberg (1987)Google Scholar
  16. 16.
    Phillips, I.: Refusal testing. Theor. Comput. Sci. 50(3), 241–284 (1987)MATHCrossRefGoogle Scholar
  17. 17.
    Queinnec, C.: Inverting back the inversion of control or, continuations versus page-centric programming. SIGPLAN Not. 38(2), 57–64 (2003)CrossRefGoogle Scholar
  18. 18.
    Rittri, M.: Retrieving library functions by unifying types modulo linear isomorphism. RAIRO Theoretical Informatics and Applications 27(6), 523–540 (1993)MATHGoogle Scholar
  19. 19.
    Savas Parastatidis and Jim Webber. MEP SSDL Protocol Framework (April 2005), http://ssdl.org

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • S. Carpineti
    • 1
  • G. Castagna
    • 2
  • C. Laneve
    • 1
  • L. Padovani
    • 3
  1. 1.Department of Computer ScienceUniversity of Bologna 
  2. 2.École Normale Supérieure de Paris 
  3. 3.Information Science and Technology InstituteUniversity of Urbino 

Personalised recommendations