Enhanced semantic access to formal software models

Authors:
Hai H. Wang;Danica Damljanovic;Jing Sun
Affiliations:
School of Engineering and Applied Science, Aston University;Department of Computer Science, University of Sheffield;Department of Computer Science, The University of Auckland, New Zealand
Venue:
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Year:
2010

Citing 9
Cited 0

The Z notation: a reference manual

The Z notation: a reference manual
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
A Formal Object Approach to the Design of ZML

Annals of Software Engineering
Z on the Web Using Java

ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Visualizing Z Notation in HTML Documents

ZUM '98 Proceedings of the 11th 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
An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
OWLIM – a pragmatic semantic repository for OWL

WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The success of the Semantic Web, as the next generation of Web technology, can have profound impact on the environment for formal software development. It allows both the software engineers and machines to understand the content of formal models and supports more effective software design in terms of understanding, sharing and reusing in a distributed manner. To realise the full potential of the Semantic Web in formal software development, effectively creating proper semantic metadata for formal software models and their related software artefacts is crucial. In this paper, a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them.