TCOZ approach to OWL-s process model design

Hai Wang, Jing Sun, Jin Song Dong, Yuan Fang Li

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

Abstract

Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such Slf services systems requires precise and powerful modelling techniques to capture not only the ontology domain properties but also the services' process behavior and functionalities. Timed Communicating Object Z (TCOZ) is an integrated formal design language which builds on the strengths of Object- Z in modelling complex data stale and strength of Timed CSP in modelling concurrent interaction. In this paper, we illustrate how TCOZ can be used as a high level design language lo design SW sen-ices. Furthermore, the paper presents the development of the systematic translation rules and too! which can automatically extract the services semantic markup (OWL-S) from the formal TCOZ design model The online talk discovery system is used as a demonstrating case study.

Original languageEnglish
Title of host publication17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005
Pages354-359
Number of pages6
Publication statusPublished - 1 Dec 2005
Externally publishedYes
EventInternational Conference on Software Engineering and Knowledge Engineering, SEKE 2005 - Taipei, Taiwan
Duration: 14 Jul 200516 Jul 2005
Conference number: 17th

Conference

ConferenceInternational Conference on Software Engineering and Knowledge Engineering, SEKE 2005
Abbreviated titleSEKE 2005
CountryTaiwan
CityTaipei
Period14/07/0516/07/05

Keywords

  • Formal methods
  • OWL
  • OWL-S
  • Semantic web
  • TCOZ

Cite this