Instructor

Jin Song Dong, National Univeristy of Singapore

Abstract

Many researchers at W3C currently focus on developing the next generation of the Web --- the Semantic Web. The development of the Web ontology languages, RDF, OWL and SWRL, is reminiscent of the early development of system specification languages in software engineering communities. Indeed, from the expressiveness point of view, Web ontology languages are subsets of Alloy, UML/OCL, Z and Object-Z. One can futher predict that the modeling languages for capturing the behaviours of the Semantic Web Services and Agents can be drawn from the rich collections of software dynamic modeling techniques, i.e., state machines, process algebra and integrated design methods. This tutorial will include a concise Modeling Languages Spectrum that includes a few key representative modeling languages ranging from simple static ontology modeling techniques to expressive dynamic integrated modeling techniques. Comparisons and transformations between those languages will be discussed. Furthermore, based on transformation approaches, some latest research results on applying software modeling techniques and tools to the Semantic Web domain will be also demonstrated.

Biography

Jin-Song DONG received Bachelor (1st class honors) and PhD degrees in Computing from University of Queensland in 1992 and 1996. From 1995-1998, he was a Research Scientist at the Commonwealth Scientific and Industrial Research Organisation in Australia. Since 1998 he has been in the School of Computing at the National University of Singapore (NUS) where he is currently Associate Professor and Assistant Dean. He is a Steering Committee member of the International Conference on Formal Engineering Methods (ICFEM) and the Asia Pacific Software Engineering Conference (APSEC) series. Jin Song is a Program Co-Chair for the 5th ICFEM (2003) and the 7th APSEC (2000). He has given a number of tutorials at FME'03'05 and ICSE'01'04.