Paper Info
Title
Semantic Web for Extending and Linking Formalisms
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.
Year
Venue
Keywords
2002
FME
web environment,formal specification,specification comprehension,linking formalisms,rdf query technique,various formal specification language,semantic web environment,semantic web activity,semantic web,various formal specification technique,various design model
Field
DocType
ISBN
World Wide Web,Semantic Web Stack,Computer science,Web standards,Data Web,Semantic Web,Semantic analytics,Web modeling,Social Semantic Web,Semantic Web Rule Language
Conference
3-540-43928-5
Citations 
PageRank 
References 
11
1.13
16
Authors
3
Name
Order
Citations
PageRank
Jin Song Dong117715.93
Jing Sun222630.94
H Wang355245.65