Please use this identifier to cite or link to this item:
|Title:||TCOZ approach to semantic web services design|
|Authors:||Dong, J.S. |
|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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 16, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.