A Basic Contract Language for Web Services

  • Samuele Carpineti
  • Cosimo Laneve
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3924)


We design a schema language that includes channel schemas with capabilities of input, output, and input-output. These schemas may describe documents containing references to operations of remote services on the web. In this language, the subschema relation turns out to have an exponential cost. We therefore discuss a language restriction that admits a subschema relation with a polynomial cost.


Tree Automaton Proof Tree Primitive Type Basic Contract Channel Schema 


  1. 1.
    Acciai, L., Boreale, M.: XPi: a typed process calculus for XML messaging. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 47–66. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  2. 2.
    Amadio, R.M., Cardelli, L.: Subtyping recursive types. ACM Transactions on Programming Languages and Systems 15(4), 575–631 (1993)CrossRefGoogle Scholar
  3. 3.
    Brown, A., Laneve, C., Meredith, L.: PiDuce: A process calculus with native xml datatypes. In: RSCTC 2000. LNCS (2005)Google Scholar
  4. 4.
    Castagna, G., Nicola, R.D., Varacca, D.: Semantic subtyping for the π-calculus. In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005). IEEE Computer Society, Los Alamitos (2005)Google Scholar
  5. 5.
    Clark, J., Murata, M.: Relax ng specification (2001) , Available on: http://www.oasis-open.org/committees/relax-ng/spec-20011203.html (December 3, 2001)
  6. 6.
    Hosoya, H., Pierce, B.C.: XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology (TOIT) 3(2), 117–148 (2003)CrossRefGoogle Scholar
  7. 7.
    Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. ACM SIGPLAN Notices 35(9), 11–22 (2000)CrossRefMATHGoogle Scholar
  8. 8.
    Comon, H., et al.: Tree automata techniques and applications (October 2002), At www.grappa.univ-lille3.fr/tata
  9. 9.
    W3C XML Schema Working Group. XML Schema Part 2: Datatypes Second Edition. Available on: http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/datatypes.html (W3C Recommendation - October, 28th 2004)
  10. 10.
    Web Services Description Working Group. Web Services Description Language (WSDL) Version 2.0 Part 0: Primer. Available on: http://www.w3.org/TR/2005/WD-wsdl20-primer-20050510/ (W3C Working Draft 10 May 2005)
  11. 11.
    Web Services Description Working Group. Web Services Description Language (WSDL)1.1. Available on: http://www.w3.org/TR/2001/NOTE-wsdl-20010315 (W3C Note 15 March 2001)
  12. 12.
    XML Protocol Working Group. Extensible markup language (xml) 1.0 (third edition) (2004), Available on: http://www.w3.org/TR/2004/REC-xml-20040204 (February 4, 2004)
  13. 13.
    Murata, M., Lee, D., Mani, M.: Taxonomy of XML schema languages using formal language theory. In: Extreme Markup Languages, Montreal, Canada (2001)Google Scholar
  14. 14.
    Pierce, B.C., Sangiorgi, D.: Typing and subtyping for mobile processes. Logic in Computer Science, 1993. Full version in Mathematical Structures in Computer Science 6(5) (1996)Google Scholar
  15. 15.
    Vinosky, S.: Web service notifications. IEEE Internet Computing magazine (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Samuele Carpineti
    • 1
  • Cosimo Laneve
    • 1
  1. 1.Department of Computer ScienceUniversity of BolognaItaly

Personalised recommendations