Formal Methods and Software Engineering

Volume 6447 of the series Lecture Notes in Computer Science pp 237-252

Enhanced Semantic Access to Formal Software Models

  • Hai H. WangAffiliated withSchool of Engineering and Applied Science, Aston University
  • , Danica DamljanovicAffiliated withDepartment of Computer Science, University of Sheffield
  • , Jing SunAffiliated withDepartment of Computer Science, The University of Auckland

* Final gross prices may vary according to local VAT.

Get Access


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.


Semantic Web OWL Formal Methods Z/Object-Z