This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 WRI World Congress on Computer Science and Information Engineering
Reasoning about Web Services with Dynamic Description Logics
Los Angeles, California USA
March 31-April 02
ISBN: 978-0-7695-3507-4
A complex issue for SOA is the behavior of web services which may require services modeling and check approaches. In this paper, a semantic web services modeling approach based on dynamic description logic is proposed. The logic describes dynamic aspects such as the states of the world and the changes of the state the services caused. The dynamic aspects are described in ABox. By using the description logic reasoning, the algorithm for checking the web services realizability is represented. We show how the dynamic behaviors of the service are checked by a case study.
Index Terms:
web services, dynamic description logic, description logic
Citation:
Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, Jun Yang, "Reasoning about Web Services with Dynamic Description Logics," csie, vol. 6, pp.106-110, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.