Computer Science and Information Engineering, World Congress on (2009)
Los Angeles, California USA
Mar. 31, 2009 to Apr. 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
G. Shen, Z. Huang, J. Yang and X. Zhu, "Reasoning about Web Services with Dynamic Description Logics," 2009 WRI World Congress on Computer Science and Information Engineering, CSIE(CSIE), Los Angeles, CA, 2009, pp. 106-110.