Affiliations: Centre of Service Research, The University of Manchester, Booth Street East, Manchester, UK | Knowledge Science group, France Telecom R&D, 4 rue du clos courtel, F-35512 Cesson Sévigné, France, E-mail: [email protected]
Abstract: Web service composition enhanced by semantic technologies is currently one of the most hyped and addressed issues in Service Oriented Computing. This work focuses on both i) conditional composition, i.e., how to automate the composition of services that produces non-deterministic outcomes, and ii) consistent connections between web services (also known as data flows) in the composition. To this end, we suggest the joint use of semantic links and causal laws, respectively, in the area of Description Logics and AI planning. In more detail, an augmented and adapted version of the logic programming language Golog, i.e., sslGolog, is presented as a natural formalism not only for reasoning about the latter semantic links and causal laws, but also for automatically composing non-deterministic services. sslGolog operates as an offline interpreter that supports not only binary but also n-ary sensing services (i.e., services conditioned on their possible output parameters) to achieve conditional compositions of services. Lastly, sslGolog has been implemented and tested in the context of Telecommunication scenarios.
Keywords: Semantic web, web service, service composition, artificial intelligence planning, situation calculus
