Add to ORKGWe report preliminary results on our attempt to devise a type theory to decribe the detailed behaviour of web services and relate them. Our goal is to devise a type system that is as much minimal and language neutral as possible. We outline the possible practical impact of such a work, and the perspectives of future research it opens. 1
Web services are distributed processes with a public description of their behavior, or contract. The...
There are numerous existing notations and standards in the Web service community. These may be group...
International audienceWe present an extension of the PEWS language, named PEWS-CT1, for reliably com...
<p>Contracts are behavioral descriptions of Web services. We devise a theory of contracts that...
Abstract. A contract describes the observable behavior of a Web service. When looking for Web servic...
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formali...
International audienceContracts are behavioural descriptions of Web services. We devise a theory of ...
Comprehensive contractual description of Web Ser-vices and Web Service compositions is needed for se...
Abstract. We define a language for Web services contracts as a parallel-free fragment of ccs and we ...
International audienceWe study a natural notion of compliance between clients and services in terms ...
We define a formal contract language along with subcontract and compliance relations. We then extrap...
The fast evolution of the Internet has popularized service-oriented architectures dynamic IT-support...
AbstractWeb services are distributed processes exposing a public description of their behavior, or c...
Based on real development experience, the paper presents a collection of design techniques for build...
The recent trend in Web services is fostering a computing scenario where loosely coupled parties int...
Web services are distributed processes with a public description of their behavior, or contract. The...
There are numerous existing notations and standards in the Web service community. These may be group...
International audienceWe present an extension of the PEWS language, named PEWS-CT1, for reliably com...
<p>Contracts are behavioral descriptions of Web services. We devise a theory of contracts that...
Abstract. A contract describes the observable behavior of a Web service. When looking for Web servic...
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formali...
International audienceContracts are behavioural descriptions of Web services. We devise a theory of ...
Comprehensive contractual description of Web Ser-vices and Web Service compositions is needed for se...
Abstract. We define a language for Web services contracts as a parallel-free fragment of ccs and we ...
International audienceWe study a natural notion of compliance between clients and services in terms ...
We define a formal contract language along with subcontract and compliance relations. We then extrap...
The fast evolution of the Internet has popularized service-oriented architectures dynamic IT-support...
AbstractWeb services are distributed processes exposing a public description of their behavior, or c...
Based on real development experience, the paper presents a collection of design techniques for build...
The recent trend in Web services is fostering a computing scenario where loosely coupled parties int...
Web services are distributed processes with a public description of their behavior, or contract. The...
There are numerous existing notations and standards in the Web service community. These may be group...
International audienceWe present an extension of the PEWS language, named PEWS-CT1, for reliably com...