Detection of Missing Web Services: The Partial Deduction Approach

Abstract

Many methods have been recently proposed for composing automatically Web services from existing ones. The methods range from AI planning to automated theorem proving and graph search algorithms. However, the usability of these methods is greatly affected by two assumptions. Firstly, it is assumed that developers provide consistent declarative descriptions of Web services. Secondly, it is assumed that there exists a sufficient set of atomic Web services, which would facilitate the composition of all other Web services. In this paper we propose a method to ensure these two assumptions by using analysis of Web services' descriptions. In particular, we apply partial deduction for identifying possible inconsistencies in Web service descriptions. Our method also determines possibly missing atomic Web services, which should be implemented in order to compose a requested composite Web service.

Validating trustworthy service composition through VIPLE and pi-calculus

“…Unlike other methods, applying the non-functional attributes is only the filtering of the resulting schemes. The study in Küngas and Matskin (2005) is based on partial deductive technique extended LL theory to prove and design a composition engine, in order to detect missing web services. At the same time, it is shown that the natural attributes of LL's resource awareness make the distinction between the resources, the statistics and even the dynamic update of the resources become possible.…”

Towards Extending Service Discovery with Automated Composition Capabilities

“…In situations like that, services need to be discovered based on needs identified by the composition component. For example, during the composition a "gap" might be identified [7] which cannot be bridged by using any of the known services. To bridge such a gap, new services need to be found.…”