Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/78373
DC FieldValue
dc.titleTCOZ approach to OWL-s process model design
dc.contributor.authorWang, H.
dc.contributor.authorSun, J.
dc.contributor.authorDong, J.S.
dc.contributor.authorLi, Y.F.
dc.date.accessioned2014-07-04T03:15:33Z
dc.date.available2014-07-04T03:15:33Z
dc.date.issued2005
dc.identifier.citationWang, H.,Sun, J.,Dong, J.S.,Li, Y.F. (2005). TCOZ approach to OWL-s process model design. 17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005 : 354-359. ScholarBank@NUS Repository.
dc.identifier.isbn9781627486590
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/78373
dc.description.abstractComplex 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.
dc.sourceScopus
dc.subjectFormal methods
dc.subjectOWL
dc.subjectOWL-S
dc.subjectSemantic web
dc.subjectTCOZ
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.sourcetitle17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005
dc.description.page354-359
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Page view(s)

65
checked on Nov 24, 2022

Google ScholarTM

Check

Altmetric


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