Two case studies will be discussed applying formal analysis and design methods with UML. In the first case study, a formalization of UML is proposed for requirement analysis for a library system. We will show how the approach supports a use case-driven, step-wise incremental development in building models for requirements analysis. The actual process of building the models shows the importance and feasibility of the formalization.

E-commence systems have been changing the traditional business activities through the Internet. Our second case study applies formal analysis and design techniques to an e-commerce system, namely an online ticketing system. An e-commerce system can be seen as a client-server system in which a server maintains some information and provides a searching function to a client. For the online ticketing system, we also need to consider two specific functions for booking products and carrying out payment transactions. We demonstrate how to use the formalization of UML in formal specification of the system functional requirements, safety and liveness constraints, and in verification of the correctness of the design.

 

About the Speaker

Dr. Xiaoshan Li is an assistant professor at the University of Macau. He got his PhD in computer science from the Institute of Software, Chinese Academy of Sciences in 1993, then worked as a research associate in the Institute. From 1995 to 1998, he participated the British EPSRC project at the Department of EEE, University of Newcastle upon Tyne, UK, as a research associate. His research interests include temporal logic, real-time systems, concurrency, and object-oriented analysis and design.