1083 search results - page 4 / 217 » On the Use of Behavioural Equivalences for Web Services' Dev... |
POPL
2008
ACM
14 years 7 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
2008
IEEE
14 years 1 months ago
2008
IEEE
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
AINA
2007
IEEE
13 years 7 months ago
2007
IEEE
A workflow aggregates the underlying Web Services in a manner consistent with the desired functionality. Since CWS can contain atomic and other CWS they encourage the development ...
ENTCS
2007
13 years 7 months ago
2007
Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of s...
GI
2004
Springer
14 years 22 days ago
2004
Springer
: The development of Web Service compositions has not yet been automated. Web Service-based process definitions can be created automatically using Web Service compositions template...