Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
4-2008
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.
Discipline
Programming Languages and Compilers | Software Engineering
Research Areas
Software and Cyber-Physical Systems
Publication
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Belfast, Northern Ireland, March 31 - April 4
First Page
111
Last Page
120
ISBN
9780769531397
Identifier
10.1109/ICECCS.2008.25
Publisher
IEEE
City or Country
Belfast, Northern Ireland
Citation
WANG, Hai H.; GIBBINS, Nick; PAYNE, Terry R.; SALEH, Ahmed; and SUN, Jun.
A formal model of semantic Web Service Ontology (WSMO) execution. (2008). Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Belfast, Northern Ireland, March 31 - April 4. 111-120.
Available at: https://ink.library.smu.edu.sg/sis_research/5052
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Additional URL
https://doi.org/10.1109/ICECCS.2008.25