Xiao Shan LI  李曉山
Associate Professor

Academic Qualifications | Working Experience | Award and Honor | Teaching | Research | Selected Publications | Contact Details

Academic Qualifications
Working Experience
Award and Honor

Won the second class in the Macao Natural Science Award of Macao 2012 for the project of “rCOS Formal Model Driven for Software Development” (collaborated with Dr. Zhiming Li from UNU/IIST)


Teaching

B.Sc. Courses

  1. Object-Oriented Analysis and Design Patterns (SFTW372)
  2. Software Engineering Principles (SFTW440)
M.Sc. Courses
  1. Fundamentals of Software Engineering (IMSS001)
  2. Principles and Applications of Concurrent Programming (IMSS017)
  3. Information System Development Methodologies (IECM001)

Research

Research Interests

Research Projects
Selected Publications
  1. Wei Ke, Xiaoshan Li, Zhiming Liu and Volker Stolz: rCOS: a formal model-driven engineering method for component-based software, in journal of Frontiers of Computer Science in China 6(1): 17-39, 2012.
  2. Dan Li, Xiaoshan Li and Volker Stolz: Model querying with graphical notation of QVT relations, in the journal of ACM SIGSOFT Software Engineering Notes 37(4): 1-8, 2012.
  3. Li Dan, Li Xiaoshan Li, Liu Zhiming and Volker Stolz: Interactive Transformation from Object-Oriented Models to Component-based Models, in the proceedings of 8th International Symposium on Formal Aspects of Component Software, 2011.
  4. Yang Lijie, Xu Tianchen and Li Xiaoshna: An Image-based Approach in Animating Painting Procedure of Chinese Ink Painting, in the proceedings of Computer Graphics International 2011.
  5. Li Dan, Li Xiaoshan and Volker Stolz: QVT-based Model Transformation using XSLT, in journal of ACM SIGSOFT Software Engineering Notes 26(1): pp1-8, 2011.
  6. Li Xiaoshan, Liu Zhiming, Martin Schaf, and Yin Ling: AutoPA: Automatic Prototyping from Requirements, in conference proceedings of ISoLA (1) 2010, pp609-624, 2010.
  7. Yin Ling, Liu Jing and Li Xiaoshan: Validating Requirements Model of a B2B System, in proceedings of ACIS-ICIS 2009, pp1020-1025, 2009
  8. Yang Lijie and Xiaoshan Li: Animating the Brush-Writing Process of Chinese Calligraphy Character, in proceedings of ACIS-ICIS 2009, pp683-688, 2009. 
  9. Li Dan, Li Xiaoshan, Liu Jicong Liu and Liu Zhiming: Validation of Requirement Models by Automatic Prototyping, in Journal of Innovations in Systems and Software Engineering, Vol. 4, No 3, pp241-248, Springer, 2008
  10. Li Xiaoshan and Liu Zhiming: Prototyping System Requirements Model, in Journal of Electronic Notes Theoretical Computer Science Vol207, pp17-32, Elsevier, 2008.
  11. 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.
  12. 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.
  13. 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
  14. He Jifeng , Li Xiaoshan, Liu Zhiming: A Theory of Reactive Components. Journal of Electronic Notes Theoretical Computer. Science. Vol.160, pp.173-195. 2006
  15. 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.
  16. 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
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 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.
  36. Li Xiaoshan: Decidabilty of Mean Value Calculus, Journal of Computer Science and Technology, Volume 14, Number 2, pp173-180, 1999.
  37. 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.
  38. Li Xiaoshan: Semantics and Proof System of Mean Value Calculus, Journal of Advanced Software Research, Volume 6, Number 1, pp12-23, 1999.
  39. 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.
  40. 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.
  41. 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.
  42. 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.
  43. 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.
  44. 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.
  45. 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.
  46. Li Xiaoshan and Zhou Chaochen: Duration Calculi, Journal of Advanced Software Research, Volume 2, Number 1, 1994.
  47. 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.
  48. 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.

Contact Details

Faculty of Science and Technology
University of Macau, E11
Avenida da Universidade, Taipa,
Macau, China

Room: E11-4015
Telephone: (853) 8822-4471
Fax: (853) 8822-2426
Email: xsl
Personal Homepage: http://www.cis.umac.mo/~fstxsl