250 search results - page 10 / 50 » Towards Formal Verification of Web Service Composition |
ENTCS
2006
13 years 7 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
ICDE
2006
IEEE
14 years 1 months ago
2006
IEEE
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
Software as a Service (SaaS) and the possibility to compose Web services provisioned over the Internet are important assets for a service-oriented architecture (SOA). However, the ...
IAT
2007
IEEE
14 years 1 months ago
2007
IEEE
We apply our work on Web service discovery with initially incomplete information to the problem of service composition. Rich semantic descriptions of Goals and Web services allow ...