The diversity of various formal specification techniques and the need for their effective combinations requires an extensible and integrated supporting environment. The Webpro vides 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 WebActivit y proposed the idea of having data on the webdefined and linked in a way that it can be used for automation, extension and integration. The success of the Semantic Webma y have profound impact on the weben vironment 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. © Springer-Verlag Berlin Heidelberg 2002.
CITATION STYLE
Dong, J. S., Sun, J., & Wang, H. (2002). Semantic Web for extending and linking formalisms. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2391, 587–606. https://doi.org/10.1007/3-540-45614-7_33
Mendeley helps you to discover research relevant for your work.