305 search results - page 28 / 61 » Proof as Composition: An approach for the Large-granularity ... |
SEMWEB
2005
Springer
14 years 2 months ago
2005
Springer
In many Web service composition problems, information may be needed from Web services during the composition process. Existing research on Web service composition (WSC) procedures...
ICWS
2007
IEEE
13 years 10 months ago
2007
IEEE
Service Oriented Architectures (SOAs) are constantly gaining ground for the provision of business to business as well as user-centric services, mainly in the form of Web Services ...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
The recent evolution of Internet, driven by the Web services technology, is extending the role of the Web from a support of information interaction to a middleware for B2B interac...
WETICE
2007
IEEE
14 years 2 months ago
2007
IEEE
With orchestrations, one service may be realized through the cooperation of several services. This cooperation has to be formally described. In this paper, we propose to describe ...
CBSE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...