Automatic composition of semantic web services with the abductive event calculus

Kırcı, Esra
In today's world, composite web services are widely used in service oriented computing, web mashups and B2B Applications etc. Most of these services are composed manually. However, the complexity of manually composing web services increase exponentially with the increase in the number of available web services, the need for dynamically created/updated/discovered services and the necessity for higher amount of data bindings and type mappings in longer compositions. Therefore, current highly manual web service composition techniques are far from being the answer to web service composition problem. Automatic web service composition methods are recent research efforts to tackle the issues with manual techniques. Broadly, these methods fall into two groups: (i) workflow based methods and (ii) methods using AI planning. This thesis investigates the application of AI planning techniques to the web service composition problem and in particular, it proposes the use of the abductive event calculus in this domain. Web service compositions are defined as templates using OWL-S ("OWL for Services"). These generic composition definitions are converted to Prolog language as axioms for the abductive event calculus planner and solutions found by the planner constitute the specific result plans for the generic composition plan. In this thesis it is shown that abductive planning capabilities of the event calculus can be used to generate the web service composition plans that realize the generic procedure.


A monolithic approach to automated composition of semantic web services with the event calculus
Okutan, Çağla; Çiçekli, Fehime Nihan; Department of Computer Engineering (2009)
In this thesis, a web service composition and execution framework is presented for semanti- cally annotated web services. A monolithic approach to automated web service composition and execution problem is chosen, which provides some benefits by separating the composi- tion and execution phases. An AI planning method using a logical formalism called Event Calculus is chosen for the composition phase. This formalism allows one to generate a nar- rative of actions and temporal orderings using abductive planni...
Modeling of software as a service architectures and investigation on their design alternatives
Öztürk, Karahan; Doğru, Ali Hikmet; Department of Computer Engineering (2010)
In general, a common reference architecture can be derived for Software as a Service (SaaS) architecture. However, while designing particular applications one may derive various different application design alternatives from the same reference SaaS architecture specification. To meet the required functional and nonfunctional requirements of different enterprise applications it is important to model the possible design so that a feasible alternative can be defined. In this thesis, we propose a systematic app...
An approach for including business requirements to soa design
Ocaktürk, Murat; Doğru, Ali Hikmet; Department of Computer Engineering (2010)
In this thesis, a service oriented decomposition approach: Use case Driven Service Oriented Architecture (UDSOA), is introduced to close the gap between business requirements and SOA (Service Oriented Architecture) design by including business use cases and system use cases into decomposition process. The approach is constructed upon Service Oriented Software Engineering (SOSE) modeling technique and aims to fill the deficits of it at the decomposition phase. Further, it aims to involve both business vision...
Natural language query processing in ontology based multimedia databases
Aygül, Filiz Alaca; Çiçekli, Fehime Nihan; Department of Computer Engineering (2010)
In this thesis a natural language query interface is developed for semantic and spatio-temporal querying of MPEG-7 based domain ontologies. The underlying ontology is created by attaching domain ontologies to the core Rhizomik MPEG-7 ontology. The user can pose concept, complex concept (objects connected with an “AND” or “OR” connector), spatial (left, right . . . ), temporal (before, after, at least 10 minutes before, 5 minutes after . . . ), object trajectory and directional trajectory (east, west, southe...
A service oriented collaborative supply chain planning process definition and execution platform
Olduz, Mehmet; Doğaç, Asuman; Department of Computer Engineering (2008)
Currently, there are many software applications handling planning, scheduling, material management, invoicing, workflow management within an organization. However, companies need to plan across a wider span of activities and need to collaborate with their partners to optimize the ''overall'' profitability. This requires collaborative planning within a supply chain and exchange of planning data. Collaborative Planning, Forecast and Replenishment (CPFR) is one of the most prominent initiatives on Collaborativ...
Citation Formats
E. Kırcı, “Automatic composition of semantic web services with the abductive event calculus,” M.S. - Master of Science, Middle East Technical University, 2008.