A Logic-Based Approach to Web Services Composition and Verification

2009 ◽  
Author(s):  
Hongbing Wang ◽  
Chen Wang ◽  
Yan Liu
Keyword(s):  
Web Services ◽  
Web Services Composition ◽  
Services Composition

Unified Formal Modeling and Analyzing both Functionality and QoS of Web Services Composition

2011 ◽  
Vol 22 (11) ◽  
pp. 2698-2715 ◽  
Author(s):  
Fang-Xiong XIAO ◽  
Zhi-Qiu HUANG ◽  
Zi-Ning CAO ◽  
Li-Zhong TU ◽  
Yi ZHU
Keyword(s):  
Web Services ◽  
Formal Modeling ◽  
Web Services Composition ◽  
Services Composition

scholarly journals A comparative illustration of AI planning-based web services composition

2006 ◽  
Vol 5 (5) ◽  
pp. 1-10 ◽  
Author(s):  
Seog-Chan Oh ◽  
Dongwon Lee ◽  
Soundar R. T. Kumara
Keyword(s):  
Web Services ◽  
Ai Planning ◽  
Web Services Composition ◽  
Services Composition
Sign in / Sign up

Export Citation Format

Share Document