A Formal Model of Semantic Web Service Ontology (WSMO) Execution
A Formal Model of Semantic Web Service Ontology (WSMO) Execution
Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge commercial potential. Current Semantic Web Service research focuses on defining models and languages for the semantic markup of all relevant aspects of services, which are accessible through a Web service interface. The Web Service Modelling Ontology (WSMO) is one of the most significant Semantic Web Service framework proposed to date. 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 provides a formal unambiguous specification, which can be used to develop tools and facilitate future development.
111-120
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
31 March 2008
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
Wang, Hai h., Gibbins, Nick, Payne, Terry, Saleh, Ahmed and Sun, Jun
(2008)
A Formal Model of Semantic Web Service Ontology (WSMO) Execution.
The Thirteenth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Belfast, Northern Ireland.
31 Mar - 04 Apr 2008.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge commercial potential. Current Semantic Web Service research focuses on defining models and languages for the semantic markup of all relevant aspects of services, which are accessible through a Web service interface. The Web Service Modelling Ontology (WSMO) is one of the most significant Semantic Web Service framework proposed to date. 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 provides a formal unambiguous specification, which can be used to develop tools and facilitate future development.
Text
Wang-WSMOFinal.pdf
- Other
More information
Published date: 31 March 2008
Additional Information:
Event Dates: 31 Mar 2008 -- 4 Apr 2008
Venue - Dates:
The Thirteenth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Belfast, Northern Ireland, 2008-03-31 - 2008-04-04
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 265337
URI: http://eprints.soton.ac.uk/id/eprint/265337
PURE UUID: 33eb56d3-d474-470b-9161-4ad3b425a22d
Catalogue record
Date deposited: 26 Mar 2008 14:40
Last modified: 15 Mar 2024 02:59
Export record
Contributors
Author:
Hai h. Wang
Author:
Nick Gibbins
Author:
Terry Payne
Author:
Ahmed Saleh
Author:
Jun 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