Please use this identifier to cite or link to this item: https://doi.org/10.1109/ICECCS.2007.9
Title: A formal semantic model of the semantic Web Service Ontology (WSMO)
Authors: Wang, H.H.
Gibbins, N.
Payne, T.
Saleh, A.
Sun, J. 
Issue Date: 2007
Source: Wang, H.H., Gibbins, N., Payne, T., Saleh, A., Sun, J. (2007). A formal semantic model of the semantic Web Service Ontology (WSMO). Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS : 74-83. ScholarBank@NUS Repository. https://doi.org/10.1109/ICECCS.2007.9
Abstract: Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service Modelling Ontology (WSMO) has recently been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring, etc.) involved in both intra- and inter-enterprise integration of Web Services. To support the standardization and tool support of WSMO, a formal semantics of the language is highly desirable. As there are a few variants of WSMO and it is still under development, the semantics of WSMO needs to be formally defined to facilitate easy reuse and future development. In this paper, we present a formal ObjectZ semantics of WSMO. Different aspects of the language have been precisely defined within one unified framework. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in this paper, can be used to identify and eliminate errors presented in existing documentation. © 2007 IEEE.
Source Title: Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
URI: http://scholarbank.nus.edu.sg/handle/10635/40462
ISBN: 0769528953
DOI: 10.1109/ICECCS.2007.9
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

8
checked on Dec 6, 2017

WEB OF SCIENCETM
Citations

2
checked on Nov 20, 2017

Page view(s)

56
checked on Dec 10, 2017

Google ScholarTM

Check

Altmetric


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