TCOZ approach to semantic web services design

Jin Song Dong, Yuan-Fang Li, Hai Wang

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)


Complex SemanticWeb (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.

Original languageEnglish
Title of host publicationProceedings of the 13th International Conference on World Wide Web
EditorsMarc Najork, Craig Wills
Place of PublicationNew York NY USA
PublisherAssociation for Computing Machinery (ACM)
Number of pages2
ISBN (Electronic)9781581139129
ISBN (Print)1581139128
Publication statusPublished - 19 May 2004
Externally publishedYes
EventInternational World Wide Web Conference 2004 - New York NY USA, New York NY USA
Duration: 1 Jan 2004 → …


ConferenceInternational World Wide Web Conference 2004
CityNew York NY USA
Period1/01/04 → …


  • DAML+oil
  • DAML-S
  • Formal methods
  • Semantic web
  • TCOZ

Cite this