Semantic Web for Extending and Linking Formalisms

  • Jin Song Dong
  • Jing Sun
  • Hai Wang
Conference paper

DOI: 10.1007/3-540-45614-7_33

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2391)
Cite this paper as:
Dong J.S., Sun J., Wang H. (2002) Semantic Web for Extending and Linking Formalisms. In: Eriksson LH., Lindsay P.A. (eds) FME 2002:Formal Methods—Getting IT Right. FME 2002. Lecture Notes in Computer Science, vol 2391. Springer, Berlin, Heidelberg

Abstract

The diversity of various formal specification techniques and the need for their effective combinations requires an extensible and integrated supporting environment. The Web provides infrastructure for such an environment for formal specification and design because it allows sharing of various design models and provides hyper textual links among the models. Recently the Semantic Web Activity proposed the idea of having data on the web defined and linked in a way that it can be used for automation, extension and integration. The success of the Semantic Web may have profound impact on the web environment for formal specifications, especially for extending and integrating different formalisms. This paper demonstrates how RDF and DAML can be used to build a Semantic Web environment for supporting, extending and integrating various formal specification languages. Furthermore, the paper illustrates how RDF query techniques can facilitate specification comprehension.

Keywords

specification environment Semantic Web 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Jin Song Dong
    • 1
  • Jing Sun
    • 1
  • Hai Wang
    • 1
  1. 1.School of ComputingNational University of SingaporeSingapore

Personalised recommendations