Dynamic Discovery and Composition of Semantic Web Services Using Abductive Event Calculus

Service Oriented Computing (SOC) is gaining prominence as the technology of choice for integrating applications in diverse and heterogeneous distributed environments. Web Service technology is an important instance of Service Oriented Computing aiming at facilitating the integration of new applications, avoiding difficulties due to different platforms, languages etc. In this regard building complex services from simpler ones is called composition. In this paper a composition strategy using abductive planning capability of the Event Calculus (EC) is proposed. An algorithm for abductive planning, that creates a partially ordered list of events of the required services is presented. This algorithm performs a fine-grained matching at the level of atomic process, rather than at the level of entire services for process level discovery, composition and execution.