Please use this identifier to cite or link to this item: https://doi.org/10.1109/ICECCS.2008.25
Title: A formal model of semantic web service ontology (WSMO) execution
Authors: Wang, H.H.
Gibbins, N.
Payne, T.
Saleh, A.
Sun, J. 
Issue Date: 2008
Source: Wang, H.H., Gibbins, N., Payne, T., Saleh, A., Sun, J. (2008). A formal model of semantic web service ontology (WSMO) execution. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS : 111-120. ScholarBank@NUS Repository. https://doi.org/10.1109/ICECCS.2008.25
Abstract: Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge commercial potential. Current Semantic Web Service research focuses on defining models and languages for the semantic markup of all relevant aspects of services, which are accessible through a Web service interface. The Web Service Modelling Ontology (WSMO) is one of the most significant Semantic Web Service framework proposed to date. 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 Object-Z semantics of WSMO. Different aspects of the language have been precisely defined within one unified framework. This model provides a formal unambiguous specification, which can be used to develop tools and facilitate future development. © 2008 IEEE.
Source Title: Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
URI: http://scholarbank.nus.edu.sg/handle/10635/41398
ISBN: 0769531393
DOI: 10.1109/ICECCS.2008.25
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

5
checked on Mar 14, 2018

WEB OF SCIENCETM
Citations

2
checked on Mar 14, 2018

Page view(s)

51
checked on Mar 11, 2018

Google ScholarTM

Check

Altmetric


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