Semantic Web and Formal Specifications
DONG, Jin Song
School of Computing,
National University of Singapore
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 presentation will demonstrate how RDF
and DAML can be used to build a Semantic Web environment for
supporting, extending and integrating various formal specification
languages. Furthermore, the presentation will also demonstrate how
formal specification techniquess can be applied to Semantic Web
ontology and services.
DONG, Jin Song received his PhD from the University of Queensland (UQ)
in 1996. From 1995-1998, he was a Research Scientist at the
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
in Australia. Currently, he is an Assistant Professor at the National
University of Singapore (NUS). His research interests are in areas of
formal methods and web-based software design.
Place: Information technology, Uppsala University
Time: 13.15-14.00 (+ discussions)
Room 1113 is in building 1, floor 1, room 13
(in the southern part of the building).
Help on how to find ASTEC Seminars.
There will be an extended period for discussions after the seminar.
Speakers are encouraged to give an short (5 min) introduction to the subject at the begining of the talk.
Listeners are excused if they have to leave after 14.00.
Everyone is welcome !
Updated 03-May-2002 15:48 by Roland Grönroos
e-mail: info -at- astec.uu.se