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.


Service Discovery Formal Account Compliance Relation Uddi Registry External Choice 
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.
    Banerji, A., Bartolini, C., Beringer, D., Chopella, V., et al.: Web Services Conversation Language (WSCL) 1.0 (March 2002),
  2. 2.
    Beringer, D., Kuno, H., Lemon, M.: Using WSCL in a uddi Registry 1.0, UDDI Working Draft Best Practices Document (2001),
  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),
  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),
  6. 6.
    Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1 (2001),
  7. 7.
    Colgrave, J., Januszewski, K.: Using wsdl in a uddi registry, version 2.0.2. Technical note, OASIS (2004),
  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),
  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)zbMATHCrossRefMathSciNetGoogle 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)zbMATHCrossRefGoogle 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)zbMATHCrossRefGoogle 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)zbMATHGoogle Scholar
  19. 19.
    Savas Parastatidis and Jim Webber. MEP SSDL Protocol Framework (April 2005),

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