The University of Southampton
University of Southampton Institutional Repository

A Formal Model of Semantic Web Service Ontology (WSMO) Execution

A Formal Model of Semantic Web Service Ontology (WSMO) Execution
A Formal Model of Semantic Web Service Ontology (WSMO) Execution
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.
111-120
Wang, Hai h.
94445d8a-231a-4e73-b2b1-addc72e0e778
Gibbins, Nick
98efd447-4aa7-411c-86d1-955a612eceac
Payne, Terry
0bb13d45-2735-45a3-b72c-472fddbd0bb4
Saleh, Ahmed
84c6e56c-080b-4aa8-a398-3d7cd3d7736e
Sun, Jun
cbc6b83e-3571-4f6a-b77d-51a8a20ac839
Wang, Hai h.
94445d8a-231a-4e73-b2b1-addc72e0e778
Gibbins, Nick
98efd447-4aa7-411c-86d1-955a612eceac
Payne, Terry
0bb13d45-2735-45a3-b72c-472fddbd0bb4
Saleh, Ahmed
84c6e56c-080b-4aa8-a398-3d7cd3d7736e
Sun, Jun
cbc6b83e-3571-4f6a-b77d-51a8a20ac839

Wang, Hai h., Gibbins, Nick, Payne, Terry, Saleh, Ahmed and Sun, Jun (2008) A Formal Model of Semantic Web Service Ontology (WSMO) Execution. The Thirteenth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008). 31 Mar - 04 Apr 2008. pp. 111-120 .

Record type: Conference or Workshop Item (Paper)

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.

Text
Wang-WSMOFinal.pdf - Other
Download (236kB)

More information

Published date: 31 March 2008
Additional Information: Event Dates: 31 Mar 2008 -- 4 Apr 2008
Venue - Dates: The Thirteenth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), 2008-03-31 - 2008-04-04
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 265337
URI: https://eprints.soton.ac.uk/id/eprint/265337
PURE UUID: 33eb56d3-d474-470b-9161-4ad3b425a22d
ORCID for Nick Gibbins: ORCID iD orcid.org/0000-0002-6140-9956

Catalogue record

Date deposited: 26 Mar 2008 14:40
Last modified: 20 Jul 2019 01:11

Export record

Contributors

Author: Hai h. Wang
Author: Nick Gibbins ORCID iD
Author: Terry Payne
Author: Ahmed Saleh
Author: Jun Sun

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×