ICSE Shanghai 2006

28th International Conference on Software Engineering

Conference Center
Conference: May 20-28, 2006 | Main Program: May 24-26, 2006 | Co-located Events / Workshops / Tutorials: May 20-24 & 27-28, 2006
Online registration | Obtaining a Required Visa | Early Registration Deadline: April 10, 2006
Obtaining a Required Visa | Shanghai Information | Shanghai Attractions
Fuqing Yang | Barry Boehm | Reinhold Achatz
Keynotes | Research | Experience | Far East Exp. | Education | Achievements | Demos | Emerging | Workshops | Tutorials | More...
Organizing Committee | Program Committee

From Semantic Web to Expressive Software Specifications

H2: From Semantic Web to Expressive Software Specifications



Jin Song Dong, National Univeristy of Singapore


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.


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.

Valid XHTML 1.0 Strict! Valid CSS!