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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Carpineti, S., & Laneve, C. (2006). A basic contract language for web services. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3924 LNCS, pp. 197–213). https://doi.org/10.1007/11693024_14
Mendeley helps you to discover research relevant for your work.