We propose a specification-driven approach to Web service composition. Our framework allows the users (or service developers) to start with a high-level, possibly incomplete specification of a desired (goal) service that is to be realized using a subset of the available component services. These services are represented using labeled transition systems augmented with guards over variables with infinite domains and are used to determine a strategy for their composition that would realize the goal service functionality. However, in the event the goal service cannot be realized using the available services, our approach identifies the cause(s) for such failure which can then be used by the developer to reformulate the goal specification. Thus, the technique supports Web service composition through iterative reformulation of the functional specification. We present a prototype implementation in a tabled-logic programming environment that illustrates the key features of the proposed approach. Keywords: Service-oriented architectures; web services; composition; symbolic transition systems; tabled-logic programming. 109 110 J. Pathak et al. 1.

Abstract. Web Services composition has received much interest from both the academic researchers and industry to support cross-enterprise application integration. Promising research projects and their prototypes are being developed. At the same time the web service environment is getting more dynamic as numerous web services are being published by the service providers in the Internet. To meet the users requirements regarding on-demand delivery of customized services, dynamic web service composition approaches have emerged. But still many compositional issues have to be overcome like dynamic discovery of services, compositional correctness, transactional supports etc. In this paper we discuss some of these issues and then investigate some of the representative dynamic web service composition approaches. We evaluate those approaches on the basis of the issues and present how the future research can benefit by addressing those issues of dynamic web service composition. 1

Abstract:. New systems can be designed by composing them out-of-existing software components which are accessible as web services and provided by the service providers. Governmental organizations can act as service providers by providing information or functionality like authenticating. The basic premise is that by reusing components, development and maintenance costs can be lowered and flexibility is created. As such, public agencies are looking for support to create new compositions. Several composition approaches can be found in the literature, however none of these evaluations take into account the e-government specific requirements originating from the involvement of multiple parties having different interests. In this paper we present a composition evaluation approach which extends the existing evaluation approaches by including the multi-actor dimension. We illustrate this method using an example. Further research is aimed at executing the proposed approach and comparing semantic and multi-actor-based compositions methods.

Abstract: Process modelling has proved to be a powerful instrument to describe and manage the increasingly complex processes within and across enterprises. Yet, it requires a significant amount of manual work to create, adapt and maintain process models. This workload could be reduced if the process models are automatically generated and adapted. Semantic Business Process Management in combination with planning approaches can contribute to the solution. In this paper we describe that existing planning algorithms show drawbacks for this application and therefore introduce an innovative algorithm that is suitable for the semanticbased planning of process models. 1

Abstract not found