Please use this identifier to cite or link to this item:
Title: TCOZ approach to semantic web services design
Authors: Dong, J.S. 
Li, Y.F. 
Wang, H.
Keywords: DAML+OIL
Formal Methods
Semantic Web
Issue Date: 2004
Citation: 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
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)

checked on Sep 22, 2022

Google ScholarTM



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