Formal Specification of OWL-S with Object-Z: the Static Aspect
Hai H. Wang, Ahmed I. Saleh, Terry R. Payne, Nick Gibbins · 2007
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.