A semantical model for OWL-S based on timed CSP

Author

Yang, Jianshu ; Wu, Jinzhao ; Fang, Liajia

Author_Institution

Chengdu Inst. of Comput. Applic., Chinese Acad. of Sci., Chengdu, China

Volume

3

fYear

2010

fDate

20-22 Aug. 2010

Abstract

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.

Keywords

Web services; knowledge representation languages; semantic Web; Hoare CSP; OWL-S; Web ontology language for services; aviation; e-commerce; formal analyses; military affairs; personal wealth security; public security; real time web service; semantic web; timed CSP; Indium tin oxide; Petroleum; real-time web service; semantic web; timed communicating sequential processes; web ontology language for services;

fLanguage

English

Publisher

ieee

Conference_Titel

Advanced Computer Theory and Engineering (ICACTE), 2010 3rd International Conference on

Conference_Location

Chengdu

ISSN

2154-7491

Print_ISBN

978-1-4244-6539-2

Type

conf

DOI

10.1109/ICACTE.2010.5579635

Filename

5579635