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.

• Type: Conference
• Year: 2006
• Where: ESOP
• Authors: Samuele Carpineti, Cosimo Laneve
• Keywords: Channel Schemas, Documents Containing References, ESOP 2006, Programming Languages, Subschema Relation