Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Object-Z web environment and projections to UML
Proceedings of the 10th international conference on World Wide Web
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Semantic Web for Extending and Linking Formalisms
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Verifying DAML+OIL and Beyond in Z/EVES
Proceedings of the 26th International Conference on Software Engineering
Software Modeling Techniques and the Semantic Web
Proceedings of the 26th International Conference on Software Engineering
Extending SOA with Semantic Mediators
Advanced Internet Based Systems and Applications
Hi-index | 0.00 |
The Semantic Web (SW) service is a web application using Semantic Web techniques which usually involve cooperation between several intelligent agents. The design of SW systems requires precise modelling techniques to capture ontology domain properties and application functionalities. We believe that Z as a specification technique can contribute to the Semantic Web-based system development in many ways. In this paper, we firstly conduct a case study of applying Z to the design of a SW service system (online talk discovery), and then present translation techniques and tools which can extract the SW ontology from the Z model automatically. Furthermore, we discuss how existing Z tools, i.e. Z/EVES, can be used to improve the quality of SW ontology design.