Enhanced semantic access to formal software models

Hai Wang, Danica Damljanovic, Jing Sun

Research output: Chapter in Book/Published conference outputConference publication


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.
Original languageEnglish
Title of host publicationFormal methods and software engineering
Subtitle of host publication12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
EditorsJin S. Dong, Huibiao Zhu
Number of pages16
Volume6447 LNCS
ISBN (Electronic)978-3-642-16900-7
ISBN (Print)3-642-16900-7
Publication statusPublished - 29 Oct 2010

Publication series

NameLecture notes in computer science
ISSN (Print)0302-9743


  • semantic web
  • OWL
  • formal methods
  • Z/Object-Z


Dive into the research topics of 'Enhanced semantic access to formal software models'. Together they form a unique fingerprint.

Cite this