A semantical model for OWL-S based on timed CSP

In consideration of personal wealth and public security, time is one of the most significant factors influencing the real-time web service, such as E-Commerce, aviation, military affairs, etc. However, there is no suitable timed model for OWL-S to support modeling the real-time web service in semantic web. In this paper, web service is defined in OWL-S, the standard ontology language of semantic web. Then, in order to formal analyses the time property of web services, Timed CSP which is an extension of Hoare's CSP is utilized to model OWL-S in detail. Finally, Our future working plan is also given in this paper.