| Formal Specification of OWL-S with Object-Z (2008) | |||||||||||||||
Abstract | |||||||||||||||
| Abstract. Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has been recognized as a promising technology that exhibits huge commercial potential, and attracts a great deal of attention from both the research community and Industry. OWL-S, one of the most significant Semantic Web Service ontologies proposed to date, provides Web Service providers with a core ontological framework and guidelines for describing the properties and capabilities of their Web Services in unambiguous, computerintepretable form. 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. 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 the paper, can be used to identify and eliminate errors in the current documentation. 1 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||