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 marku...
Saved in:
Main Authors: | , , , , |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2008
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/5052 https://ink.library.smu.edu.sg/context/sis_research/article/6055/viewcontent/a_formal_model.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
id |
sg-smu-ink.sis_research-6055 |
---|---|
record_format |
dspace |
spelling |
sg-smu-ink.sis_research-60552020-03-12T08:00:08Z A formal model of semantic Web Service Ontology (WSMO) execution WANG, Hai H. GIBBINS, Nick PAYNE, Terry R. SALEH, Ahmed SUN, Jun 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. 2008-04-04T07:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/5052 info:doi/10.1109/ICECCS.2008.25 https://ink.library.smu.edu.sg/context/sis_research/article/6055/viewcontent/a_formal_model.pdf http://creativecommons.org/licenses/by-nc-nd/4.0/ Research Collection School Of Computing and Information Systems eng Institutional Knowledge at Singapore Management University Programming Languages and Compilers Software Engineering |
institution |
Singapore Management University |
building |
SMU Libraries |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
SMU Libraries |
collection |
InK@SMU |
language |
English |
topic |
Programming Languages and Compilers Software Engineering |
spellingShingle |
Programming Languages and Compilers Software Engineering WANG, Hai H. GIBBINS, Nick PAYNE, Terry R. SALEH, Ahmed SUN, Jun A formal model of semantic Web Service Ontology (WSMO) execution |
description |
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. |
format |
text |
author |
WANG, Hai H. GIBBINS, Nick PAYNE, Terry R. SALEH, Ahmed SUN, Jun |
author_facet |
WANG, Hai H. GIBBINS, Nick PAYNE, Terry R. SALEH, Ahmed SUN, Jun |
author_sort |
WANG, Hai H. |
title |
A formal model of semantic Web Service Ontology (WSMO) execution |
title_short |
A formal model of semantic Web Service Ontology (WSMO) execution |
title_full |
A formal model of semantic Web Service Ontology (WSMO) execution |
title_fullStr |
A formal model of semantic Web Service Ontology (WSMO) execution |
title_full_unstemmed |
A formal model of semantic Web Service Ontology (WSMO) execution |
title_sort |
formal model of semantic web service ontology (wsmo) execution |
publisher |
Institutional Knowledge at Singapore Management University |
publishDate |
2008 |
url |
https://ink.library.smu.edu.sg/sis_research/5052 https://ink.library.smu.edu.sg/context/sis_research/article/6055/viewcontent/a_formal_model.pdf |
_version_ |
1770575200448937984 |