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

Authors:
Hai H. Wang;Nick Gibbins;Terry Payne;Ahmed Saleh;Jun Sun
Affiliations:
University of Southampton, UK;University of Southampton, UK;University of Southampton, UK;University of Southampton, UK;National University of Singapore, Singapore
Venue:
ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
Year:
2007

Citing 0
Cited 4

Decoupling of Heterogeneous Semantic Service Annotations and Their Semantic Models --- Towards an Integrated Approach in a Multi-Service-Provider-Scenario

Service-Oriented Computing - ICSOC 2007 Workshops
Formal specification of OWL-S with object-Z: the dynamic aspect

WISE'07 Proceedings of the 8th international conference on Web information systems engineering
A Semantic Web Services-based approach for production systems control

Advanced Engineering Informatics
On Utilizing Web Service Equivalence for Supporting the Composition Life Cycle

International Journal of Web Services Research

Quantified Score

Hi-index	0.00

Visualization

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.