The University of Southampton
University of Southampton Institutional Repository

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

A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
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 Object-Z 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.
Semantic Web, Sematnic Web serivces, Formal methods, semantics
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
Dong, Jin Song
bd96cb31-903d-4fe7-b2e4-12cf685586e3
Sun, Jing
4db759d9-dc7e-47ce-903b-c507d5b76115
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
Dong, Jin Song
bd96cb31-903d-4fe7-b2e4-12cf685586e3
Sun, Jing
4db759d9-dc7e-47ce-903b-c507d5b76115

Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed and Sun, Jun (2007) A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). Dong, Jin Song and Sun, Jing (eds.) Twelfth IEEE International Conference on Engineering of Complex Computer Systems, Auckland, New Zealand. 11 - 14 Jul 2007.

Record type: Conference or Workshop Item (Paper)

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 Object-Z 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.

Text
WSMO-Z_ICECCS-CR.pdf - Other
Download (143kB)

More information

Published date: 2007
Additional Information: Event Dates: July 11 - 14, 2007
Venue - Dates: Twelfth IEEE International Conference on Engineering of Complex Computer Systems, Auckland, New Zealand, 2007-07-11 - 2007-07-14
Keywords: Semantic Web, Sematnic Web serivces, Formal methods, semantics
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 263692
URI: http://eprints.soton.ac.uk/id/eprint/263692
PURE UUID: 7699963a-a706-43be-84c4-1b05f6127671
ORCID for Nick Gibbins: ORCID iD orcid.org/0000-0002-6140-9956

Catalogue record

Date deposited: 15 Mar 2007
Last modified: 15 Mar 2024 02:59

Export record

Contributors

Author: Hai H. Wang
Author: Nick Gibbins ORCID iD
Author: Terry Payne
Author: Ahmed Saleh
Author: Jun Sun
Editor: Jin Song Dong
Editor: Jing Sun

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 http://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.

×