A Formal Account of Contracts for Web Services

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.

[1]  Christopher League.  Review of Isomorphisms of Types:: from λ-calculus to information retrieval and language design by Roberto Di Cosmo (Birkhauser, 1995) , 1997, SIGA.

[2]  C. A. R. Hoare,et al.  Stuck-Free Conformance , 2004, CAV.

[3]  Roberto Di Cosmo.  Isomorphisms of Types , 1995, Progress in Theoretical Computer Science.

[4]  Paul J. Walmsley,et al.  XML Schema Part 0: Primer Second Edition , 2004 .

[5]  Rocco De Nicola,et al.  CCS without tau's , 1987, TAPSOFT, Vol.1.

[6]  Jim Webber,et al.  CSP SSDL Protocol Framework , 2005 .

[7]  Iain Phillips,et al.  Refusal Testing , 1986, Theoretical Computer Science.

[8]  Matthew Hennessy,et al.  Acceptance trees , 1985, JACM.

[9]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[10]  Roberto Chinnici,et al.  Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language , 2007 .

[11]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.

[12]  Dorothea Beringer,et al.  Using CDL in a UDDI Registry 1.0: UDDI Working Draft Best Practices Document , 2001 .

[13]  Christian Queinnec.  Inverting back the inversion of control or, continuations versus page-centric programming , 2003, SIGP.

[14]  Mikael Rittri.  Retrieving Library Functions by Unifying Types Modulo Linear Isomorphism , 1993, RAIRO Theor. Informatics Appl..

[15]  David Booth,et al.  Web Services Description Language (WSDL) Version 2.0 Part 0: Primer , 2007 .

[16]  Rocco De Nicola,et al.  Testing Equivalences for Processes , 1984, Theor. Comput. Sci..