Web Service Composition creates new composite Web Services from existing Web Services which embodies the added values of Web Service technology and is a key technology to solve cross-organizational business process integrations. We do a survey on formal methods for Web Service Composition in the following way. Through analyses of Web Service Composition, we establish a reference model called RM...

Web service composition has been one of the most researched topics of the past decade. Novel methods of web service composition are being proposed in the literature include Semantics-based composition, WSDLbased composition. Although these methods provide promising results for composition, search and discovery of web service based on QoS parameter of network and semantics or ontology associated...

To enhance the credibility of Web service composition, Pi-calculus based formal modeling of trust Web service composition is proposed. Trust Web service composition is firstly defined abstractly; then Picalculus is used to depict structure and internal interaction of Trust Web service composition, the mapping relation between trust entity and Pi-calculus is provided. Automatic reasoner MWB is a...

Flexible and dynamic interoperation of autonomous information systems often requires automated or semiautomated combination of several highly distributed and heterogeneous web services. Web service composition aims to accelerate rapid application development and service reuse as well as to provide access to a variety of complex services. There are several approaches developed for the web servic...

Web Service: Self-contained software module available via a network. SOA: Service-oriented architecture, a software architecture based on Web services. BP: A Business Process “consists of a set of activities that are performed in coordination in an organizational and technical environment.”[42] BPM: Business Process Management “includes concepts, methods, and techniques to support the design, a...

Director I certify that this thesis satisfies all the requirements as a thesis for the degree of Master of Science. This is to certify that we have read this thesis and that in our opinion it is fully adequate, in scope and quality, as a thesis for the degree of Master of Science. I hereby declare that all information in this document has been obtained and presented in accordance with academic ...

In general, Policy-based approaches play an important role in the management of web services, for instance, in the choice of semantic web service and quality of services (QoS) in particular. The present research work illustrates a procedure for the web service selection among functionality similar web services based on WS-Policy semantic matching. In this study, the procedure of WS-Policy publi...