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

Hai Wang; Nick  Gibbins; Terry  Payne; Domenico 	 Redavid

doi:10.1016/j.is.2011.07.003

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

Hai Wang, Nick Gibbins, Terry Payne, Domenico Redavid

Computer Science Research Group

Research output: Contribution to journal › Article › peer-review

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

Original language	English
Pages (from-to)	33-60
Number of pages	28
Journal	Information Systems
Volume	37
Issue number	1
DOIs	https://doi.org/10.1016/j.is.2011.07.003
Publication status	Published - Mar 2012

Bibliographical note

NOTICE: this is the author’s version of a work that was accepted for publication in Information systems. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Wang, H, Gibbins, N, Payne, T & Redavid, D, 'A formal model of the Semantic Web Service Ontology (WSMO)' Information systems, vol 37, no. 1 (2012) DOi http://dx.doi.org/10.1016/j.is.2011.07.003

Keywords

Semantic Web Service, Sematnic, Formal Methods

Access to Document

10.1016/j.is.2011.07.003

Formal model of the Semantic Web Service Ontology (WSMO)
NOTICE: this is the author’s version of a work that was accepted for publication in Information systems. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Wang, H, Gibbins, N, Payne, T & Redavid, D, 'A formal model of the Semantic Web Service Ontology (WSMO)' Information systems, vol 37, no. 1 (2012) DOi http://dx.doi.org/10.1016/j.is.2011.07.003
Submitted manuscript, 477 KB

Cite this

@article{39b6119a5cd54dfb919e3509f419eee9,

title = "A formal model of the Semantic Web Service Ontology (WSMO)",

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, 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.",

keywords = "Semantic Web Service, Sematnic, Formal Methods",

author = "Hai Wang and Nick Gibbins and Terry Payne and Domenico Redavid",

note = "NOTICE: this is the author{\textquoteright}s version of a work that was accepted for publication in Information systems. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Wang, H, Gibbins, N, Payne, T & Redavid, D, 'A formal model of the Semantic Web Service Ontology (WSMO)' Information systems, vol 37, no. 1 (2012) DOi http://dx.doi.org/10.1016/j.is.2011.07.003",

year = "2012",

month = mar,

doi = "10.1016/j.is.2011.07.003",

language = "English",

volume = "37",

pages = "33--60",

journal = "Information Systems",

issn = "0306-4379",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

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

AU - Wang, Hai

AU - Gibbins, Nick

AU - Payne, Terry

AU - Redavid, Domenico

N1 - NOTICE: this is the author’s version of a work that was accepted for publication in Information systems. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Wang, H, Gibbins, N, Payne, T & Redavid, D, 'A formal model of the Semantic Web Service Ontology (WSMO)' Information systems, vol 37, no. 1 (2012) DOi http://dx.doi.org/10.1016/j.is.2011.07.003

PY - 2012/3

Y1 - 2012/3

N2 - 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, 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.

AB - 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, 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.

KW - Semantic Web Service, Sematnic, Formal Methods

UR - http://www.scopus.com/inward/record.url?scp=80053602334&partnerID=8YFLogxK

U2 - 10.1016/j.is.2011.07.003

DO - 10.1016/j.is.2011.07.003

M3 - Article

SN - 0306-4379

VL - 37

SP - 33

EP - 60

JO - Information Systems

JF - Information Systems

IS - 1

ER -

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

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this