A Basic Contract Language for Web Services


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.

DOI: 10.1007/11693024_14

Extracted Key Phrases

2 Figures and Tables


Citations per Year

52 Citations

Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Carpineti2006ABC, title={A Basic Contract Language for Web Services}, author={Samuele Carpineti and Cosimo Laneve}, booktitle={ESOP}, year={2006} }