Automated Web Services Composition with the Event Calculus

Authors:
Onur Aydın;Nihan Kesim Cicekli;Ilyas Cicekli
Affiliations:
Microsoft Corporation, Seattle, USA;Department of Computer Engineering, METU, Ankara, Turkey;Department of Computer Engineering, Bilkent University, Ankara, Turkey
Venue:
Engineering Societies in the Agents World VIII
Year:
2008

Citing 11
Cited 2

A logic-based calculus of events

New Generation Computing
Semantic Web Services

IEEE Intelligent Systems
Formalizing Workflows Using the Event Calculus

DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Composing Web services on the Semantic Web

The VLDB Journal — The International Journal on Very Large Data Bases
Logic-based Web Services Composition: From Service Description to Process Model

ICWS '04 Proceedings of the IEEE International Conference on Web Services
Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols

Annals of Mathematics and Artificial Intelligence
A comparative illustration of AI planning-based web services composition

ACM SIGecom Exchanges
Applying AI Planning to Semantic Web Services for Workflow Generation

SKG '05 Proceedings of the First International Conference on Semantics, Knowledge and Grid
Competence checking for the global e-service society using games

ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
The event calculus explained

Artificial intelligence today
Towards formal verification of web service composition

BPM'06 Proceedings of the 4th international conference on Business Process Management

Behavior based service composition

WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Event calculus-based adaptive services composition policy for ami systems

AMT'12 Proceedings of the 8th international conference on Active Media Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

As the web services proliferate and complicate it is becoming an overwhelming job to manually prepare the web service compositions which describe the communication and integration between web services. This paper analyzes the usage of the Event Calculus, which is one of the logical action-effect definition languages, for the automated preparation and execution of web service compositions. In this context, abductive planning capabilities of the Event Calculus are utilized. It is shown that composite process definitions in OWL-S can be translated into Event Calculus axioms so that planning with generic process definitions is possible within this framework.