Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/40071
Title: TCOZ approach to semantic web services design
Authors: Dong, J.S. 
Li, Y.F. 
Wang, H.
Keywords: DAML+OIL
DAML-S
Formal Methods
Semantic Web
TCOZ
Issue Date: 2004
Source: Dong, J.S.,Li, Y.F.,Wang, H. (2004). TCOZ approach to semantic web services design. Thirteenth International World Wide Web Conference Proceedings, WWW2004 : 1174-1175. ScholarBank@NUS Repository.
Abstract: Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise and powerful modelling techniques to capture not only the ontology domain properties but also the services' process behavior and functionalities. In this paper we apply an integrated formal modeling language, Timed Communicating Object Z (TCOZ), to design SW services. Furthermore, the paper presents the development of the systematic translation rules and tools which can automatically extract the SW ontology and services semantic markup from the formal TCOZ design model.
Source Title: Thirteenth International World Wide Web Conference Proceedings, WWW2004
URI: http://scholarbank.nus.edu.sg/handle/10635/40071
ISBN: 158113844X
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

41
checked on Dec 9, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.