SOAP-based complex interactions of multiple end points in Web Services mostly consist of sub-processes or sub-protocols, which are reused as modular and need to comply with corresponding standards and proposals. However, the consistency of local and global properties of interactions is important for practical applications with high security requirement. Therefore, a method is proposed to formal...

This paper describes an algorithm optimizing the discovery process for composed semantic web services. The algorithm can be used to improve discovery of appropriate component services at invocation time. It performs semantic matchmaking of goals of a composed service to appropriate component services at publishing time. The semantic discovery problem at invocation time is therefore reduced to a...

Generically integrating heterogeneous services eases the deployment of promising eBusiness applications, such as multimedia content delivery, eHealth and eCommerce, all of them covering multiple service and data providers. Integration and composition of services is a complex task since services and applications are built by different vendors, using different programming languages, data definiti...

Development of composed services requires a continues adaptation of the composed service to the changing environment of offered services. Services may no longer be available or may change performance characteristics, price, or quality of service criteria after they have been selected and used in a composition. The replacement of such a service requires a good understanding why this service got ...

Web Services are a very appropriate communication mechanism to perform distributed business processes among several organizations. A concept of service composition, combining existing Web services together to from new valed added services. The main problem is the verification of the Composed Web Services. It has to depend on formal verification method which helps to check the correctness of Ser...

The effective use of web services requires that new and more complex web services can be composed of other web services. With such composed web services, or web workflows as they are also called, the issues related to transactional properties are even more important. For example, execution correctness and reliability are needed. In this paper, we represent a meta ontology for transactional web ...

Currently, composition of web services is done by orchestration. An orchestration is a workflow that combines invocations of individual operations of the web services involved. It is therefore a composition of individual operations, rather than a composition of entire web services. In this paper we propose a different approach to web service composition, whereby entire services are composed int...

With the proliferation of web services in business and as the number of web services is increasing, it is anticipated that a single web service will become insufficient to handle multitude, heterogeneous, and complex functions. Hence, web service composition will be used to create new value added services with a wide range of functionalities. Management of a composed web service is a complex is...

In this paper we show how data integration techniques can be used to automatically compose new web services from existing web services. A key challenge is to optimize the execution of the composed web services. We introduce a novel technique termed tuple-level filtering that optimizes the execution of the composed web services by reducing the number of web service requests. Moreover, we combine...

Research in web services has allowed reusable, distributed, loosely coupled components which can easily be composed to build systems or to produce more complex services. Composition of these components is generally done in an ad-hoc manner. As compositions of services become more widely used and, inevitably, more complex, there is a need to ensure that compositions of services obey constraints....