Abstract
E-commerce systems have been changing the tradition l business activities through the Internet. This paper presents formal use of the Unified Modeling Language (UML) to analyze and design e-commerce systems by using an online ticketing system as case study. An e-commerce system can be seen as a client-server system in which server maintains some information and provides searching function to client. However, for an e-commerce system, we also need to consider two specific functions for booking products and carrying out payment trans action. We demonstrate how to use the formalization of UML given in [9,10 ] in formal specification of the system functional requirements, safety and liveness constraints, and in verification of the correctness of the design.