61 search results - page 1 / 13 » A Basic Contract Language for Web Services |
ESOP
2006
Springer
13 years 8 months ago
2006
Springer
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 operat...
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We define a language for Web services contracts as a parallelfree fragment of ccs and we study a natural notion of compliance between clients and services in terms of th...
POPL
2008
ACM
14 years 5 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
ICIW
2009
IEEE
13 years 2 months ago
2009
IEEE
Abstract--The OGSA
EEE
2005
IEEE
13 years 10 months ago
2005
IEEE
Comprehensive contractual description of Web Services and Web Service compositions is needed for selection of appropriate Web Services and their service and quality of service (Qo...