loading...
Toward Knowledge Preconditions for Composition of SemanticWeb Services
Tokyo, Japan April 09-April 09
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DEEC.2005.23International Workshop on Data Engine ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sang-Kyun Kim, Dept. of Computer Engineering, Chungnam National University, South Korea
Taekyung Lee, Dept. of Computer Engineering, Chungnam National University, South Korea
Kyu-Chul Lee, Dept. of Computer Engineering, Chungnam National University, South Korea

Several researches have been proposed to formalize the knowledge preconditions problem; an action or a plan is epistemically feasible. However, since the feasibility is only checked at design-time and is assumed that it also will be carried out at run-time, it is not suitable in the context of Web services composition, where the transaction is important in the distributed environment. In this paper, we address the Interfering Agent Problem, which many of agents interferes the execution of Web services composition and define the transactionally executability of the Web services composition in order to guarantee the atomicity of Web services composition; i.e. an agent predicts the infeasible action before its execution, compose them together with the compensating ones. Besides, we use the TL-ALCF, which has proposed[16] for representing time, actions, and plans so that we can provide decidable, sound, and complete procedures for computing subsumption for Web services composition.

Citation:
Sang-Kyun Kim, Taekyung Lee, Kyu-Chul Lee, "Toward Knowledge Preconditions for Composition of SemanticWeb Services," deec, pp.88-94, International Workshop on Data Engineering Issues in E-Commerce, 2005
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions