Li Xiao Shan  李曉山 Associate Professor

• Ph.D, Institute of Software, Chinese Academy of Sciences.

• October 1995 - February 1998, worked at Department of Electrical and Electronic Engineering, University of Newcastle upon Tyne, UK, as a research associate.
• December 1993 - October 1995, worked at Institute of Software, Chinese Academy of Sciences, Beijing, China, as a research assistant.
• November 1992 - August 1993, December 1994 - April 1995, worked at International Institute for Software Technology, United Nation University, Macau, as a fellow.

B.Sc. Courses

1. Object-Oriented Analysis and Design Patterns (SFTW372)
2. Software Engineering Principles (SFTW440)

1. Fundamentals of Software Engineering (IMSS001)
2. Principles and Applications of Concurrent Programming (IMSS017)
3. Information System Development Methodologies (IECM001)

Research Interests

• Object-Oriented Analysis and Design with UML
• Component-Based Software Development
• Model-Driven Development and Automated Software Engineering
• Formal Methods and Real-Time Systems
• Software System Specification, Simulation, Testing and Verification
• Artificial Intelligence in Chinese Calligraphy and Go Programming.

• Specification and Verification of Real-time Circuits by Mean-value Calculus, funded by the National Natural Sciences Foundation of China (NSF69403002), January 1995 - December 1996, as Principal Investigator.
• A Compositional Approach to the Specification of Systems in ITL and Tempura, funded by the British Engineering and Physical Sciences Research Council EPRSC (GR/K25922), January 1995 - April 1998, as Post-doctoral Research Associate.
• Component-Based and Object-Oriented Software Development, funded by the British Engineering and Physical Sciences Research Council EPRSC (GR/M89447), June 2000 - July 2001, Co-Investigator.
• Formal Object-Oriented Development and Concurrent Real-time System Modeling (RG050/00-01S/LXS/FST, RG046/01-02S/C4/LXS/FST). funded by the Research Committee of University of Macau, January 2001 ¡V December 2002, as Principal Investigator.
• UML Model Checker and Java Code Generation with Formal Testing (RG074/01-02S/LXS/FST & RG025/02-03S/LXS/FST) funded by the Research Committee of University of Macau, June 2003 ¡V December 2003, as Principal Investigator.
• Formal Model-Driven Development with UML and J2EE (RG68/03-04S/LXS/FST & RG020/04-05S/C73/LXS/FST) funded by the Research Committee of University of Macau, January 2004 ¡V December 2005, as Principal Investigator.

1. Li Xiaoshan: Prototyping System Requirements Model, In the Proceeding of the first International Workshop on Harnessing Theories for Tool Support in Software TTSS’07, pp6-21, September, 2007.
2. Zhenbang Chen, Xiaoshan Li, Liu Zhiming, Volker Stolz, and Lu Yang (2007): Harnessing rCOS for Tool Support – The CoCoME Experience, in Formal Method and Hybrid Real-Time System, LNCS 4700, pp83-114, Springer-Verlag, 2007.
3. Liu Zhiming, Jifeng He, & Li Xiaoshan: A Relational Calculus of Components. In Z. Liu & J. He(Eds.), Mathematical Frameworks for Component Software: Models for Analysis and Synthesis: pp207-238. World Scientific Press. 2006.
4. Jifeng He, Li Xiaoshan, Liu Zhiming: rCOS: A refinement calculus of object systems. Journal of Theoretical Computer Science. Vol. 365(1-2): pp.109-142. 2006
5. He Jifeng , Li Xiaoshan, Liu Zhiming: A Theory of Reactive Components. Journal of Electronic Notes Theoretical Computer. Science. Vol.160, pp.173-195. 2006
6. Li Xiaoshan: A Characterization of UML Diagrams and their Consistency, In proceeding of 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2006), pp67-76, Stanford, California, US, IEEE Computer Society, 2006.
7. Liu Zhiming, Jifeng He & Li Xiaoshan: rCOS: Refinement of Component and Object Systems. In Lecture Note in Computer Science, LNCS. p3-221, Springer-Verlag, 2006
8. Jifeng He, Li Xiaoshan Li & Liu Zhiming: Componet-based Software Engineering – the Need to Link Methods and their Theories, LNCS 3722, pp70-95, Springer-Verlag, 2005.
9. Zhiming Liu, Jifeng He, Xiaoshan Li: Towards a Rigorous Approach to UML-Based Development. Journal of Electronic Notes Theoretical Computer. Science. Vol. 130: pp57-77. 2005.
10. Li Xiaoshan, Liu Zhiming and He Jifeng: Consistency Checking of UML Requirements. In Proceedings of 10th IEEE international conference on engineering of Complex Computer Systems (ICECCS2005), pp411-420,China, IEEE Computer Society, 2005.
11. Long Quan, Liu Zhiming, Li Xiaoshan and He Jifeng: Consistent Code Generation from UML Models. In Proceedings of Australian Software Engineering Conference (ASWEC2005), pp23-30,  Australia, IEEE Computer Society, 2005.
12. Li Xiaoshan, Liu Zhiming, He Jifeng, and Long Quan: Generating a Prototype from a UML model of System Requirements. in Proc of 1st International Conference on Distributed Computing & Internet Technology (ICDCIT 2004), Lecture Notes on Computer Science LNCS 3347, pp255-265, Springer, 2004.
13. Liu Ziming, He Jifeng, Li Xiaoshan and Liu Jing: A Rigorious Approch to UML-Based Development, Proc. Brazilian Symposium on Formal Methods (Invited Talk), Recife, Brazil, pp48-57, Editora Universitaria UFPE, 2004.
14. Liu Zhiming, He Jifeng, Li Xiaoshan and Liu Jing: Unifying Views of UML, in Journal of Electronic Notes of Theoretical Computer Science, Volume 101C, pp95-127, 2004.
15. Yang Jin, Long Quan, Liu Zhiming and Li Xiaoshan: A Predicative Semantic Model for Integrating UML Models, In Proceedings of 1st International Colloquium on Theoretical Aspects of Computing (ICTAC 2004), Lecture Notes on Computer Science LNCS 3074, pp170-186, Springer, 2004.
16. He Jifeng, Liu Zhiming, Li Xiaoshan, and Qin Sanchao: A Relational Model for Object-Oriented Designs, Proc of the 2nd Asian Symposium on Programming Language and Systems (APLAS 2004), Lecture Notes on Computer Science LNCS 3302, pp415-436, Springer, 2004.
17. Liu Jing, Liu Zhiming, He Jifeng, Li Xiaoshan and Chen Yifeng: Towards the Integration of a Formal Object-Oriented Method and the Rational Unified, in book of Software Evolution with UML and XML, H. Yand (Ed.), pp105-137, Idea Group Inc., 2004.
18. Liu Zhiming, He Jifeng and Li Xiaoshan: Contract-Oriented Development of Component Software, Proc. 3rd IFIP International Conference on Theoretical Computer Science, August 2004, Toulouse, France, pp.355-272, Kluwer-Academic, 2004.
19. Liu Zhiming, Ravn A.P. and Li Xiaoshan: Unifying proof methodologies of duration calculus and timed linear temporal logic, Journal of Formal Aspects of Computing, Vol.16, No. 2, pp.140-154, Springer, 2004.
20. Li Xiaoshan, Liu Zhiming and He Jifeng: A Formal Semantics of UML Sequence Diagram, Proc. Australian Software Engineering Conference, Melboutne, Australia, pp168-177, IEEE Computer Society, 2004.
21. Liu Zhiming, He Jifeng, Li Xiaoshan and Chen Yifeng: A relational model for object-oriented requirement analysis in UML, Proceedings of the 5th International Conference on Formal Engineering Methods (ICFEM 2003), Lecture Notes in Computer Science LNCS 2885, pp641-664, Springer, 2003.
22. Liu Zhiming, Li Xiaoshan and He Jifeng: Using transition systems to unify UML requirement models, Proceedings of the 4th International Conference on Formal Engineering Methods (ICEFM2002), Lecture Notes in Computer Science LNCS 2495, pp535-547, Springer, 2002.
23. He Jifeng, Liu Zhiming and Li Xiaoshan: Towards a Refinement Calculus for Object Systems, In the proceedings of the IEEE international Conference on Cognitive Informatics (ICCI02) (Invited Talk), pp69-76, Canada, IEEE Computer Society, 2002.
24. Liu Zhiming, He Jifeng and Li Xiaoshan: Towards a Formal Use of UML for Software Requirement Analysis, in the Proceeding of International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA2001), pp27-33, June 2001, Monte Carlo, Nevada, USA, CSREA, 2001.
25. Li Xiaoshan, Liu Zhiming and Guo Zhensheng: Formal Object-Oriented Analysis and Design of an Online Ticketing System, in the Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC2001), pp259-266, Macau, IEEE Computer Society, 2001.
26. Li Xiaoshan, Liu Zhiming and He Jifeng: Formal and Use-Case Driven Requirement Analysis in UML, in the Proceedings of the 25th Annual International Computer Software and Applications Conference (COMPSAC01), pp215-224, Chicago, Illinois, US, IEEE Computer Society, 2001.
27. Li Xiaoshan: Decidabilty of Mean Value Calculus, Journal of Computer Science and Technology, Volume 14, Number 2, pp173-180, 1999.
28. Li Xiaoshan and Wang Juan: Specifying and Verifying Real-Time Hardware with Mean Value Calculus, Journal of Advanced Software Research, Volume 6, Number 2, pp114-120, 1999.
29. Li Xiaoshan: Semantics and Proof System of Mean Value Calculus, Journal of Advanced Software Research, Volume 6, Number 1, pp12-23, 1999.
30. Li Xiaoshan: Formal Semantics of Verilog Hardware Description Language, in the Proceedings of the Second International Forum on Design Languages, pp217-226, Lyon, France, 1999.
31. Li Xiaoshan: Specification and Simulation of a Concurrent Real-Time System, in the IEEE Proceedings of International on Software Engineering for Parallel and Distributed System, pp197-204, Los Angeles, USA, IEEE Computer Society, 1999.
32. Kong Wai Meng and Li Xiaoshan: Specification of Cryptographic Protocols using Interval Temporal Logic, in Proceeding of the International Computer Symposium: the Workshop on Cryptology and Information Security, pp17-19, Taiwan, IEEE Computer Society, 1998.
33. Liu Zhiming, Anders Ravn and Li Xiaoshan: Verifying Duration Properties of Timed Transition Systems, In Programming Concepts and Methods, ed. D. Gries and W.P. de Roever, pp327-345, Chapman & Hall, 1998.
34. Li Xiaoshan, Antonio Cao, Ben Moszkowski, Nick Coleman and Hussein Zedan: Proving the Correctness of the Interlock Mechanism in Processor Design, In Advance in Hardware Design and Verification, pp5-22, Chapman & Hall, 1997.
35. Li Xiaoshan and Wang Juan: Specifying Optimal Design of a Steam-Boiler System, In Formal Methods for Industrial Applications, Lecture Notes in Computer Science LNCS 1165, pp341-359, Springer, 1995.
36. Zhou Chaochen, Dang Van Hung and Li Xiaoshan: A Duration Calculus with Infinite Intervals, in Fundamentals of Computation Theory, Lecture Notes in Computer Science LNCS 965, pp16-41, Springer, 1995.
37. Li Xiaoshan and Zhou Chaochen: Duration Calculi, Journal of Advanced Software Research, Volume 2, Number 1, 1994.
38. Zhou Chaochen, Zhang Jingzhong, Yang Lu and Li Xiaoshan: Linear Duration Invariants, in Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science LNCS 863, pp 86-109, Springer, 1994.
39. Zhou Chaochen and Li Xiaoshan: A Mean-Value Duration Calculus, In A Classical Mind, Essays in Honour of C.A.R. Hoare, ed. A.W.Roscoe, pp432-451, Prentice-Hall International, 1994.

Faculty of Science and Technology
University of Macau
Av. Padre Tomás Pereira, Taipa,
Macau, China

Room: N421
Telephone: (853) 8397-4471
Fax: (853) 28838314
Email: xsl
Personal Homepage: http://www.sftw.umac.mo/~fstxsl