A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
IEEE Intelligent Systems
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Proceedings of the Z User Workshop
A semantic model of a small typed functional language using Object-Z
APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
Proceedings of the 2nd international conference on Knowledge capture
A combined approach to checking web ontologies
Proceedings of the 13th international conference on World Wide Web
Verifying DAML+OIL and Beyond in Z/EVES
Proceedings of the 26th International Conference on Software Engineering
Guest Editors' Introduction: Semantic Web Services
IEEE Intelligent Systems
Decentralizing execution of composite web services
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Ontology module extraction for ontology reuse: an ontology engineering perspective
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Formal Specification of OWL-S with Object-Z: the Static Aspect
WI '07 Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence
Applied Ontology
Automating Experiments Using Semantic Data on a Bioinformatics Grid
IEEE Intelligent Systems
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Formal specification of OWL-S with object-Z: the dynamic aspect
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
The web service modeling language WSML: an overview
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Concept map based service specification and discovery
ICDCIT'12 Proceedings of the 8th international conference on Distributed Computing and Internet Technology
Hi-index | 0.00 |
Semantic Web Service, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service Modelling Ontology (WSMO) has been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring, etc.) involved in both intra- and inter-enterprise integration of Web services. To support the standardisation and tool support of WSMO, a formal model of the language is highly desirable. As several variants of WSMO have been proposed by the WSMO community, which are still under development, the syntax and semantics of WSMO should be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z formal model of WSMO, where 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 this paper, can be used to identify and eliminate errors present in existing documentation.