Los Angeles, CA
March 31, 2009 to April 2, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSIE.2009.232
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.
web services, dynamic description logic, description logic
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