Semantic Web Service Composition Based on a Closed World Assumption

Automation of Web service composition i.e., the process of forming new value added Web services is one of the most promising challenges in Web service research area. Such an automation does not involve only a richer semantic for Web service description but also reasoning processes about those descriptions. Semantics is supposed to be one of the key elements for the automation of Web service composi-tion. Indeed semantic Web services enable a rich machine-understandable descriptions of their capabilities and pro-cesses in order to ease automation of processes such as dis-covery, selection and composition. In this paper one stud-ies the functional level description of Web services and its impact on Web service composition hence the presentation of a formal model CLM (Causal link matrix). The model supports a semantic context in order to find a correct, com-plete and consistent plan as a AI planning-based composi-tion. The innovative and formal model follows a forward chaining-oriented composition. Moreover two methods of optimization (i.e., local-oriented and a global-oriented) of Web service composition are introduced to discover the best plan according to a semantic criterion i.e., the causal link between Web services.