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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Amardeilh, F., Vatant, B. Gibbins, N. Payne, T.R. Wang, H. H.: Sws bootstrapping methodology. Technical Report D1.2.2, TAO Project Deliverable (2009), http://www.tao-project.eu/resources/publicdeliverables/d1-2-2.pdf
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), http://www.w3c.org/TR/owl-ref/
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), http://www.gate.ac.uk/projects/tao/webpage/deliverables/d3-1.pdf
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)
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)
D. Brickley and R.V. Guha (eds.): Resource description framework (rdf) schema specification 1.0 (February 2004), http://www.w3.org/TR/rdf-schema/
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)
Duke, R., Rose, G.: Formal Object Oriented Specification Using Object-Z. In: Cornerstones of Computing. Macmillan, Basingstoke (March 2000)
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)
Grcar, M.: Ontology learning services library. Technical Report D2.2.2, TAO Project Deliverable (2008), http://www.gate.ac.uk/projects/tao/webpage/deliverables/d2-2-2.pdf
Jacek, K., Dumitru, R., James, S.: Wsmo use case: Amazon e-commerce service (2006) (unpublished manuscript)
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)
Lassila, O., Swick, R.R. (eds.): Resource description framework (rdf) model and syntax specification (February 1999), http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/
Lee, B.T., Hendler, J., Lassila, O.: The semantic web. Scientific American (May 2001)
Smith, G.: The Object-Z Specification Language. In: Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000)
Spivey, J.M.: The Z Notation: A Reference Manual. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)
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)
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)
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)
Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/978-3-642-16901-4_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-16901-4_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16900-7
Online ISBN: 978-3-642-16901-4
eBook Packages: Computer ScienceComputer Science (R0)