loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
26th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW'06)
Automatic Web Service Composition Using ConGolog
Lisboa, Portugal
July 04-July 07
ISBN: 0-7695-2541-5
ASCII Text
x 
 
Minh Phan, Fumio Hattori, "Automatic Web Service Composition Using ConGolog," Distributed Computing Systems Workshops, International Conference on, pp. 17, 26th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ICDCSW.2006.24,
author = {Minh Phan and Fumio Hattori},
title = {Automatic Web Service Composition Using ConGolog},
journal ={Distributed Computing Systems Workshops, International Conference on},
volume = {0},
year = {2006},
issn = {1545-0678},
pages = {17},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICDCSW.2006.24},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Distributed Computing Systems Workshops, International Conference on
TI - Automatic Web Service Composition Using ConGolog
SN - 1545-0678
SP
EP
A1 - Minh Phan,
A1 - Fumio Hattori,
PY - 2006
KW - null
VL - 0
JA - Distributed Computing Systems Workshops, International Conference on
ER -
 
Minh Phan, Ritsumeikan University, Japan
Fumio Hattori, Ritsumeikan University, Japan
Semantic Web Service, nowadays, is emerging as a solution for interoperating distributed applications on the WWW. Web service composition is the task of combining existing web services to yield a new service in order to achieve a desired goal. In this paper, we propose a formal approach to translate OWL-S web service descriptions into primitive and complex actions of ConGolog, a high level logic programming language with sensing actions for web service composition. In addition, in order to support information gathering with search in an open world initial database, we propose an extended version of the middle-ground ConGolog interpreter which relies on a theorem-prover with prime implicates.
Citation:
Minh Phan, Fumio Hattori, "Automatic Web Service Composition Using ConGolog," icdcsw, pp.17, 26th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.