A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
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.
Semantic Web, Sematnic Web serivces, Formal methods, semantics
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
Dong, Jin Song
bd96cb31-903d-4fe7-b2e4-12cf685586e3
Sun, Jing
4db759d9-dc7e-47ce-903b-c507d5b76115
2007
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
Dong, Jin Song
bd96cb31-903d-4fe7-b2e4-12cf685586e3
Sun, Jing
4db759d9-dc7e-47ce-903b-c507d5b76115
Wang, Hai H., Gibbins, Nick, Payne, Terry, Saleh, Ahmed and Sun, Jun
(2007)
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO).
Dong, Jin Song and Sun, Jing
(eds.)
Twelfth IEEE International Conference on Engineering of Complex Computer Systems, Auckland, New Zealand.
11 - 14 Jul 2007.
Record type:
Conference or Workshop Item
(Paper)
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.
Text
WSMO-Z_ICECCS-CR.pdf
- Other
More information
Published date: 2007
Additional Information:
Event Dates: July 11 - 14, 2007
Venue - Dates:
Twelfth IEEE International Conference on Engineering of Complex Computer Systems, Auckland, New Zealand, 2007-07-11 - 2007-07-14
Keywords:
Semantic Web, Sematnic Web serivces, Formal methods, semantics
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 263692
URI: http://eprints.soton.ac.uk/id/eprint/263692
PURE UUID: 7699963a-a706-43be-84c4-1b05f6127671
Catalogue record
Date deposited: 15 Mar 2007
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
Editor:
Jin Song Dong
Editor:
Jing 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