Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Concurrent Execution Semantics of DAML-S with Subtypes
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Proceedings of the Z User Workshop
Verifying DAML+OIL and Beyond in Z/EVES
Proceedings of the 26th International Conference on Software Engineering
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
Applied Ontology
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
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
| Hi-index | 0.00 |
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, computer-interpretable 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.