Formal Specification of OWL-S with Object-Z: the Static Aspect

Authors:
Hai H. Wang;Ahmed Saleh;Terry Payne;Nick Gibbins
Affiliations:
-;-;-;-
Venue:
WI '07 Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence
Year:
2007

Citing 0
Cited 2

A formal model of the Semantic Web Service Ontology (WSMO)

Information Systems
A methodology for standards-driven metamodel fusion

MEDI'11 Proceedings of the First international conference on Model and data engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

To support standardization and tool support of OWL-S, a formal semantics of the language is highly desirable. In this paper, we present a formal Object-Z semantics of OWL-S. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in the paper, can be used to identify and eliminate errors in the current documentation.