Semantic-Web for Extending and Linking Formalisms
No Thumbnail Available
Date
2002-03-01T00:00:00Z
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
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.