Some Research Topics

 Research Grants

 Some Papers

• J. S. Dong, P. Hao, S. C. Qin, J. Sun and Y. Wang, Timed Patterns: TCOZ to Timed Automata. The 6th International Conference on Formal Engineering Methods (ICFEM'04), editors: J. Davies, W. Schulte and M. Barnett, Seattle, USA. Nov. 2004.
• X. Wang, D. Zhang, J. S. Dong, C. Chin and S. R. Hettiarachchi. Semantic Space: A Semantic Web Infrastructure for Smart Spaces. IEEE Pervasive Computing, 3(3):32-39, July-September 2004.
• J. S. Dong, C. H. Lee, H. B. Lee, Y. F. Li and H. Wang. A Combined Approach to Checking Web Ontologies. 13th ACM International World Wide Web Conference (WWW'04), refereed track, ACM Press, pages 442-443, NYC, USA, May 2004. pdf )
• J. S. Dong, C. H. Lee, Y. F. Li and H. Wang, Verifying DAML+OIL and Beyond in Z/EVES. The 26th International Conference on Software Engineering (ICSE'04), ACM/IEEE Press, Edinburgh, Scotland, May 2004. (technical paper)
• J. S. Dong. Software Modeling Techniques and the Semantic Web. The 26th International Conference on Software Engineering (ICSE'04), ACM/IEEE Press, Edinburgh, Scotland, May 2004. (tutorial, slides in ps.Z (compressed ps file) or pdf )
• J. S. Dong, S. C. Qin and J. Sun. Generating Message Sequence Charts from an Integrated Formal Specification Language The 4th International Conference on Integrated Formal Methods, editors: E. Bioten, J. Derrick and G. Smith, LNCS, Springer-Verlag, Canterbury, UK, April 2004.
• B. Mahony and J.S. Dong. Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. Formal Aspects of Computing journal, 13:142-160, Springer, 2002. (pdf)
• J. Sun, J. S. Dong, J. Liu and H. Wang. A Formal Object Approach to the Design of ZML. Annals of Software Engineering: An international journal, 13:329-356, Kluwer Academic Publishers, 2002. (pdf)
• J. S. Dong, H. Wang and J. Sun. Z Approach to Semantic Web. International Conference on Formal Engineering Methods (ICFEM'02), LNCS, Springer-Verlag, pages 156-167, Shanghai, China. Oct 2002. (pdf)
• J. S. Dong, H. Wang and J. Sun. Semantic Web for Extending and Linking Formalisms. Formal Methods Europe (FME'02 - FLoC), LNCS, Springer-Verlag, pages 587-606, Copenhagen, Denmark, July 2002. (pdf)
• B. Mahony and J.S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2):150-177, Feb 2000. (ISSN 00985589). (pdf)
• B. Mahony and J.S. Dong. Sensors and Actuators in TCOZ. World Congress on Formal Methods (FM'99), Editors: J. Wing, J. Woodcock and J. Davies. Lecture Notes in Computer Science, Vol 1709, pages 1166-1185, Springer-Verlag, Toulouse, France, Sep 1999. (ISBN 3540665870). (pdf)

 Members