loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT-ICIW'06)
Web Services Subsumption with a Specific PDL
Guadeloupe, French Caribbean
February 19-February 25
ISBN: 0-7695-2522-9
ASCII Text
x 
 
Laure Bourgois, Alexandre Delteil, Francois Levy, "Web Services Subsumption with a Specific PDL," Advanced International Conference on Telecommunications / Internet and Web Applications and Services, International Conference on, pp. 158, Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT-ICIW'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/AICT-ICIW.2006.210,
author = {Laure Bourgois and Alexandre Delteil and Francois Levy},
title = {Web Services Subsumption with a Specific PDL},
journal ={Advanced International Conference on Telecommunications / Internet and Web Applications and Services, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2522-9},
pages = {158},
doi = {http://doi.ieeecomputersociety.org/10.1109/AICT-ICIW.2006.210},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Advanced International Conference on Telecommunications / Internet and Web Applications and Services, International Conference on
TI - Web Services Subsumption with a Specific PDL
SN - 0-7695-2522-9
SP
EP
A1 - Laure Bourgois,
A1 - Alexandre Delteil,
A1 - Francois Levy,
PY - 2006
KW - null
VL - 0
JA - Advanced International Conference on Telecommunications / Internet and Web Applications and Services, International Conference on
ER -
 
Laure Bourgois, France Telecom, LIPN, Cedex 9, France
Alexandre Delteil, France Telecom, Cedex 9, France
Francois Levy, LIPN,UMR CNRS, Villetaneuse, France
In this paper, we elaborate a notion of semanticWeb subsumption for processes, i.e. composed Web services. It can be used for the task of cleaning OWL-S processes libraries and to organize collections of plans into hierarchies. To that end, different types of Web services are compared. Then, we give a representation formalism and a subsumption notion for the composition of some Web services, seen as atomic actions, with preconditions and effects. A particular propositional dynamic logic is selected to formalize actions preconditions and effects. A reasoning method, for deciding processes subsumption is presented. At last, we give a customizable implementation of the reasoning method
Citation:
Laure Bourgois, Alexandre Delteil, Francois Levy, "Web Services Subsumption with a Specific PDL," aict-iciw, pp.158, Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT-ICIW'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.