Skip to main content
SpringerLink
Log in

A Formal Account of Contracts for Web Services

  • Conference paper
Web Services and Formal Methods (WS-FM 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4184))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. Booth, D., Liu, C.K.: Web Services Description Language (WSDL) Version 2.0 Part 0: Primer (March 2006)

    Google Scholar 

  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. 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. 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. 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. Cosmo, R.D.: Isomorphisms of Types: from Lambda Calculus to Information Retrieval and Language Desig. Birkhauser, Basel (1995)

    Google Scholar 

  9. Fallside, D.C., Walmsley, P.: XML Schema Part 0: Primer Second Edition (October 2004), http://www.w3.org/TR/xmlschema-0/

  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. Hennessy, M.: Acceptance trees. JACM: Journal of the ACM 32(4), 896–928 (1985)

    Article  MATH  MathSciNet  Google Scholar 

  12. Hennessy, M.C.B.: Algebraic Theory of Processes. In: Foundation of Computing, MIT Press, Cambridge (1988)

    Google Scholar 

  13. Milner, R.: A Calculus of Communicating Systems. Springer, New York (1982)

    Google Scholar 

  14. Nicola, R.D., Hennessy, M.: Testing equivalences for processes. Theor. Comput. Sci. 34, 83–133 (1984)

    Article  MATH  Google Scholar 

  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. Phillips, I.: Refusal testing. Theor. Comput. Sci. 50(3), 241–284 (1987)

    Article  MATH  Google Scholar 

  17. Queinnec, C.: Inverting back the inversion of control or, continuations versus page-centric programming. SIGPLAN Not. 38(2), 57–64 (2003)

    Article  Google Scholar 

  18. Rittri, M.: Retrieving library functions by unifying types modulo linear isomorphism. RAIRO Theoretical Informatics and Applications 27(6), 523–540 (1993)

    MATH  Google Scholar 

  19. Savas Parastatidis and Jim Webber. MEP SSDL Protocol Framework (April 2005), http://ssdl.org

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bologna,  

    S. Carpineti & C. Laneve

  2. École Normale Supérieure de Paris,  

    G. Castagna

  3. Information Science and Technology Institute, University of Urbino,  

    L. Padovani

Authors
  1. S. Carpineti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. Castagna
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. C. Laneve
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. L. Padovani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Bologna,  

    Mario Bravetti

  2. Dept. Sistemas Informáticos y Programación Facultad de Informática, Universidad Complutense de Madrid, 28040, Madrid, Spain

    Manuel Núñez

  3. Dip. Scienze dell’Informazione, Università di Bologna, Italy

    Gianluigi Zavattaro

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Carpineti, S., Castagna, G., Laneve, C., Padovani, L. (2006). A Formal Account of Contracts for Web Services. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds) Web Services and Formal Methods. WS-FM 2006. Lecture Notes in Computer Science, vol 4184. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841197_10

Download citation

  • DOI: https://doi.org/10.1007/11841197_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-38862-3

  • Online ISBN: 978-3-540-38865-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation