The Community for Technology Leaders
RSS Icon
Subscribe
Los Angeles, CA
March 31, 2009 to April 2, 2009
ISBN: 978-0-7695-3507-4
pp: 106-110
ABSTRACT
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, 2009, 2009 WRI World Congress on Computer Science and Information Engineering, CSIE, 2009 WRI World Congress on Computer Science and Information Engineering, CSIE 2009, pp. 106-110, doi:10.1109/CSIE.2009.232
40 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool