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

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).


[img] PDF
Download (477Kb)


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 vari- ants 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.

Item Type: Article
Digital Object Identifier (DOI): doi:10.1016/j.is.2011.07.003
ISSNs: 0306-4379 (print)
Keywords: semantics web service, wsmo, object-z
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 273195
Accepted Date and Publication Date:
March 2012Published
7 August 2011Made publicly available
Date Deposited: 06 Feb 2012 16:16
Last Modified: 31 Mar 2016 14:22
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/273195

Actions (login required)

View Item View Item

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