Enhanced Semantic Access to Formal Software Models

  • Hai H. Wang
  • Danica Damljanovic
  • Jing Sun
Conference paper

DOI: 10.1007/978-3-642-16901-4_17

Volume 6447 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Wang H.H., Damljanovic D., Sun J. (2010) Enhanced Semantic Access to Formal Software Models. In: Dong J.S., Zhu H. (eds) Formal Methods and Software Engineering. ICFEM 2010. Lecture Notes in Computer Science, vol 6447. Springer, Berlin, Heidelberg

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.

Keywords

Semantic Web OWL Formal Methods Z/Object-Z 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Hai H. Wang
    • 1
  • Danica Damljanovic
    • 2
  • Jing Sun
    • 3
  1. 1.School of Engineering and Applied ScienceAston UniversityUnited Kingdom
  2. 2.Department of Computer ScienceUniversity of SheffieldUnited Kingdom
  3. 3.Department of Computer ScienceThe University of AucklandNew Zealand