As a way to compose independent service together to fulfill a function, service composition is an important means for flexible and rapid information integration of complex distribution application in open and heterogeneous environment. However, the diversity of requirements makes it difficult to guarantee the correctness of service composition. This paper proposes a hierarchical dynamic service...

of the Dissertation Robust Service Composition

Service-oriented architecture (SOA) promises an elegant model that can easily handle dynamic and heterogeneous environments such as pervasive computing systems. However, in reality, frequent failures of resource-poor and low-cost sensors greatly diminish the guarantees on reliability and availability offered and expected by SOA. To provide a framework for building fault-resilient service-orient...

Service composition in Service Oriented Computing concerns not only integration of heterogeneous distributed applications but also dynamic selection of services. Quality of Service (QoS) plays a key role in service composition as services providing the same functionalities can be differentiated according to their QoS guarantees. At subscription time, a service requester and a provider may sign ...

Run-time service composition has been a goal of the Service-Oriented Architecture paradigm for many years, and several projects have demonstrated means of doing this composition. However, none of these efforts has focused on optimizing the composition of available services to ensure the user is getting a composition that meets his or her needs or falls within constraints that the user must conf...

State-of-the-art workflow languages for web services are much better suited for web service composition than traditional general-purpose programming languages. Such workflow languages, however, still require a lot of in-depth technical knowledge. In order to facilitate service composition without requiring such in-depth technical knowledge, a higher level of abstraction is required. We therefor...

The determination of evolution type plays an important role in securing the accurate and efficient evolution of service composition. Based on the applied level in the evolution of service composition, using openbisimulation theory, evolution type can be decided from three dimensions, which are respectively single state node, single service and service composition, and the determination rule as ...

Web service composition has become the optimum technique for Service Oriented Architecture applications because it provides a way to obtain value-added services by combining several Web services. One key issue is that service composition must meet user’s deadline requirements. In this paper we focus our attention on modeling and analyzing time-related properties in service composition. A model ...

In component-based systems, the behavior of components is usually described at component interfaces and the components are characterized as requester (active) and provider (reactive) components. Two interacting components are considered compatible if all possible sequences of services requested by one component can be provided by the other component. This concept of component compatibility can ...

Current approaches to service composition range from industrial standards (like BPEL and OWL-S) to formal methods (like Petri nets and process algebras). In this paper, we survey several such approaches and compare them on the basis of a selected set of characteristics (like compensations, trust and performance). Our conclusion is that formal methods, including tool support, are ideal to assist...