Conference Paper


Evaluating the Ontological Semantic Description of Web Services Generated from Algebraic Specifications

Abstract

The semantics of web services can be described using ontology or formally specified in mathematical notations. The former is comprehensible and searchable, while the latter is testable and verifiable. To take advantage of both, we proposed, in our previous work, a transformation that takes an algebraic specification of a web service to generate a domain ontology and a semantic description of the service on that ontology. This paper investigates the quality of these two outputs by proposing a general framework of ontology evaluation that assesses them on 4 aspects of quality, which are decomposed into 8 factors and then measured by a set of 37 metrics. It reports a case study on 3 real-life examples of web services. The results show that the ontologies and semantic descriptions generated from formal specifications are of satisfactory quality.

Attached files

Authors

Liu, Dongmei
Yang, Yungfei
Chen, Ying
Zhu, Hong
Bayley, Ian
Aldea, Arantza

Oxford Brookes departments

School of Engineering, Computing and Mathematics

Dates

Year of publication: 2016
Date of RADAR deposit: 2020-07-01



© 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.


Related resources

This RADAR resource is the Accepted Manuscript of Evaluating the Ontological Semantic Description of Web Services Generated from Algebraic Specifications

Details