Automated web services composition with the event calculus
Kesim Cicekli, N.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
142 - 157
MetadataShow full item record
Please cite this item using this persistent URLhttp://hdl.handle.net/11693/26849
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. © 2008 Springer-Verlag Berlin Heidelberg.
- Conference Paper 2294
Showing items related by title, author, creator and subject.
Tansel, A.U.; Tin, E. (1997)We consider the representation of temporal data based on tuple and attribute timestamping. We identify the requirements in modeling temporal data and elaborate on their implications in the expressive power of temporal query ...
Kesim F.N.; Sergot, M. (1996)We present a general approach for modeling temporal aspects of objects in a logic programming framework. Change is formulated in the context of a database which stores explicitly a record of all changes that have occurred ...
Cicekli, N.K.; Cicekli I. (2006)The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper proposes the event calculus as a logic-based methodology for the specification ...