An automated tool for semantic accessing to formal software models

Hai H. Wang*, Danica Damljanovic, Jing Sun

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


Many software engineers have found that it is difficult to understand, incorporate and use different formal models consistently in the process of software developments, especially for large and complex software systems. This is mainly due to the complex mathematical nature of the formal methods and the lack of tool support. It is highly desirable to have software models and their related software artefacts systematically connected and used collaboratively, rather than in isolation. 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. This paper proposed a framework that allows users to interconnect the knowledge about formal software models and other related documents using the semantic technology. We first propose a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them. We then develop a Semantic Web environment for representing and sharing formal Z/OZ models. A method with prototype tool is presented to enhance semantic query to software models and other artefacts.

Original languageEnglish
Pages (from-to)93–111
Number of pages19
JournalScience of Computer Programming
Issue numberPart 1
Early online date12 Mar 2014
Publication statusPublished - 1 Dec 2014


  • formal method
  • ontology
  • semantic web
  • software engineering


Dive into the research topics of 'An automated tool for semantic accessing to formal software models'. Together they form a unique fingerprint.

Cite this