TCOZ approach to semantic web services design

Authors:
Jin Song Dong;Yuan Fang Li;Hai Wang
Affiliations:
National University of Singapore, Singapore;National University of Singapore, Singapore;University of Manchester, UK
Venue:
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Year:
2004

Citing 3
Cited 0

Timed Communicating Object Z

IEEE Transactions on Software Engineering
Object-Z web environment and projections to UML

Proceedings of the 10th international conference on World Wide Web
Semantic Web for Extending and Linking Formalisms

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

Quantified Score

Hi-index	0.00

Visualization

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.