Reasoning about Web Services with Dynamic Description Logics

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.