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.