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 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.

Brief Bio:
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.

More: http://www.comp.nus.edu.sg/~dongjs

ASTEC seminar
May 13, 2002

Place: Information technology, Uppsala University
Room: 1113
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.