Automated Web Services Composition with the Event Calculus

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.

[1]  Liming Chen,et al.  Applying AI Planning to Semantic Web Services for Workflow Generation , 2005, 2005 First International Conference on Semantics, Knowledge and Grid.

[2]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

[3]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[4]  Onur Aydın.  AUTOMATED WEB SERVICE COMPOSITION , 2005 .

[5]  Munindar P. Singh,et al.  Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols , 2004, Annals of Mathematics and Artificial Intelligence.

[6]  Murray Shanahan,et al.  An abductive event calculus planner , 2000, J. Log. Program..

[7]  Ahmed K. Elmagarmid,et al.  Composing Web services on the Semantic Web , 2003, The VLDB Journal.

[8]  Mihhail Matskin,et al.  Logic-based Web services composition: from service description to process model , 2004 .

[9]  James A. Hendler,et al.  Automatic Web Services Composition Using SHOP2 , 2003, WWW.

[10]  J. D. Quintero.  Reactive Pascal and the Event Calculus: a Platform to Program Reactive, Rational Agents Extended Abstract , 1996 .

[11]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..

[12]  James A. Hendler,et al.  Semi-automatic Composition ofWeb Services using Semantic Descriptions , 2003, WSMAI.

[13]  Jeffrey M. Bradshaw,et al.  Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment , 2004, SEMWEB.

[14]  James A. Hendler,et al.  Information gathering during planning for Web Service composition , 2005, J. Web Semant..

[15]  Olivera Marjanovic.  Managing the Normative Context of Composite E-services , 2003, ICWS-Europe.

[16]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[17]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[18]  Kostas Stathis,et al.  Competence Checking for the Global E-Service Society Using Games , 2006, ESAW.

[19]  Joachim Peer,et al.  Web Service Composition as AI Planning { a Survey ⁄ , 2005 .

[20]  Nihan Kesim Cicekli,et al.  Formalizing Workflows Using the Event Calculus , 2000, DEXA.

[21]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[22]  Murray Shanahan,et al.  The Event Calculus Explained , 1999, Artificial Intelligence Today.

[23]  Nihan Kesim Cicekli,et al.  Formalizing the specification and execution of workflows using the event calculus , 2006, Inf. Sci..

[24]  Drew McDermott,et al.  Estimated-Regression Planning for Interactions with Web Services , 2002, AIPS.

[25]  Soundar R. T. Kumara,et al.  A comparative illustration of AI planning-based web services composition , 2006, SECO.

[26]  Yushun Fan,et al.  TOWARDS FORMAL VERIFICATION OF WEB SERVICE COMPOSITION , 2005 .

[27]  Michael Wooldridge,et al.  Artificial Intelligence Today , 1999, Lecture Notes in Computer Science.

[28]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.