Enhanced Semantic Access to Formal Software Models

  • Hai H. Wang
  • Danica Damljanovic
  • Jing Sun
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6447)


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 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Amardeilh, F., Vatant, B. Gibbins, N. Payne, T.R. Wang, H. H.: Sws bootstrapping methodology. Technical Report D1.2.2, TAO Project Deliverable (2009),
  2. 2.
    Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference (2004),
  3. 3.
    Bontcheva, K., Damljanovic, D., Aswani, N., Agatonovic, M., Sun, J., Amardeilh, F.: Key concept identification and clustering of similar content. Technical Report D3.1, TAO Project Deliverable (2007),
  4. 4.
    Bowen, J.P., Chippington, D.: Z on the web using java. In: Bowen, J.P., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol. 1493, pp. 66–80. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  5. 5.
    Ciancarini, P., Mascolo, C., Vitali, F.: Visualizing z notation in html documents. In: Bowen, J.P., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol. 1493, pp. 81–95. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  6. 6.
    D. Brickley and R.V. Guha (eds.): Resource description framework (rdf) schema specification 1.0 (February 2004),
  7. 7.
    Dong, J.S., Sun, J., Wang, H.: Semantic web for extending and linking formalisms. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 587–606. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  8. 8.
    Duke, R., Rose, G.: Formal Object Oriented Specification Using Object-Z. In: Cornerstones of Computing. Macmillan, Basingstoke (March 2000)Google Scholar
  9. 9.
    Futatsugi, K., Nakagawa, A.: An overview of cafe specification environment - an algebraic approach for creating, verifying, and maintaining formal specifications over networks. In: ICFEM 1997: Proceedings of the 1st International Conference on Formal Engineering Methods, Washington, DC, USA, p. 170. IEEE Computer Society, Los Alamitos (1997)Google Scholar
  10. 10.
    Grcar, M.: Ontology learning services library. Technical Report D2.2.2, TAO Project Deliverable (2008),
  11. 11.
    Jacek, K., Dumitru, R., James, S.: Wsmo use case: Amazon e-commerce service (2006) (unpublished manuscript) Google Scholar
  12. 12.
    Kiryakov, A., Ognyanov, D., Manov, D.: Owlim a pragmatic semantic repository for owl. In: Int. Workshop on Scalable Semantic Web Knowledge Base Systems, New York City, USA, pp. 182–192. Springer, Heidelberg (2005)Google Scholar
  13. 13.
    Lassila, O., Swick, R.R. (eds.): Resource description framework (rdf) model and syntax specification (February 1999),
  14. 14.
    Lee, B.T., Hendler, J., Lassila, O.: The semantic web. Scientific American (May 2001)Google Scholar
  15. 15.
    Smith, G.: The Object-Z Specification Language. In: Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000)Google Scholar
  16. 16.
    Spivey, J.M.: The Z Notation: A Reference Manual. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)zbMATHGoogle Scholar
  17. 17.
    Sun, J., Dong, J.S., Liu, J., Wang, H.: Object-Z Web Environment and Projections to UML. In: WWW-10: 10th International World Wide Web Conference, pp. 725–734. ACM Press, New York (May 2001)Google Scholar
  18. 18.
    Sun, J., Dong, J.S., Liu, J., Wang, H.: A formal object approach to the design of zml. Annals of Software Engineering, an International Journal 13, 329–356 (2002)CrossRefzbMATHGoogle Scholar
  19. 19.
    van Harmelen, F., Patel-Schneider, P.F., Horrocks, I. (eds.): Reference description of the daml+oil ontology markup language. Contributors: T. Berners-Lee, D. Brickley, D. Connolly, M. Dean, S. Decker, P. Hayes, J. Heflin, J. Hendler, O. Lassila, D. McGuinness, L. A. Stein... (March 2001)Google Scholar
  20. 20.
    Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1996)zbMATHGoogle Scholar

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

Personalised recommendations