The University of Southampton
University of Southampton Institutional Repository

A formal model of the Semantic Web Service Ontology (WSMO)

A formal model of the Semantic Web Service Ontology (WSMO)
A formal model of the Semantic Web Service Ontology (WSMO)
Semantic Web Service, 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 been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring and etc.) involved in both intra- and inter-enterprise integration of Web Services. To support the standardisation and tool support of WSMO, a formal model of the language is highly desirable. As several variants of WSMO have been proposed by the WSMO community, which are still under development, the syntax and semantics of WSMO should be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z formal model of WSMO, where 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 present in existing documentation.
semantics web service, wsmo, object-z
0306-4379
33-60
Wang, H.W.
832852a1-a3bc-4d2c-8700-a8083339a148
Gibbins, N.
98efd447-4aa7-411c-86d1-955a612eceac
Payne, T.R.
e0956864-a64d-4333-b63b-e0dc4e8008b3
Redavid, D.
9dcacd4a-5e80-4787-a54f-c02e33dbc774
Wang, H.W.
832852a1-a3bc-4d2c-8700-a8083339a148
Gibbins, N.
98efd447-4aa7-411c-86d1-955a612eceac
Payne, T.R.
e0956864-a64d-4333-b63b-e0dc4e8008b3
Redavid, D.
9dcacd4a-5e80-4787-a54f-c02e33dbc774

Wang, H.W., Gibbins, N., Payne, T.R. and Redavid, D. (2012) A formal model of the Semantic Web Service Ontology (WSMO). Information Systems, 37 (1), 33-60. (doi:10.1016/j.is.2011.07.003).

Record type: Article

Abstract

Semantic Web Service, 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 been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring and etc.) involved in both intra- and inter-enterprise integration of Web Services. To support the standardisation and tool support of WSMO, a formal model of the language is highly desirable. As several variants of WSMO have been proposed by the WSMO community, which are still under development, the syntax and semantics of WSMO should be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z formal model of WSMO, where 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 present in existing documentation.

Text
elsarticle-template-num.pdf - Accepted Manuscript
Download (488kB)

More information

e-pub ahead of print date: 7 August 2011
Published date: March 2012
Keywords: semantics web service, wsmo, object-z
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 273195
URI: http://eprints.soton.ac.uk/id/eprint/273195
ISSN: 0306-4379
PURE UUID: 80856c82-5c50-4dc3-91da-b09725f44c54
ORCID for N. Gibbins: ORCID iD orcid.org/0000-0002-6140-9956

Catalogue record

Date deposited: 06 Feb 2012 16:16
Last modified: 15 Mar 2024 03:00

Export record

Altmetrics

Contributors

Author: H.W. Wang
Author: N. Gibbins ORCID iD
Author: T.R. Payne
Author: D. Redavid

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.

×