UM  > 科技學院  > 電腦及資訊科學系
Formal object-oriented analysis and design of an online ticketing system
Li X.; Liu Z.; Guo Z.
2001-12-01
Conference Name8th Asia-Pacific Software Engineering Conference
Source PublicationProceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC
Pages259-266
Conference DateDEC 04-07, 2001
Conference PlaceMACAO, PEOPLES R CHINA
Abstract

E-commerce systems have been changing the traditional business activities through the Internet. This paper presents a formal use of the Unified Modeling Language (UML) to analyze and design e-commerce systems by using an online ticketing system as a case study. 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. However, for an e-commerce system, we also need to consider two specific functions for booking products and carrying out payment transaction. 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.

KeywordE-commerce Formal Techniques Liveness Object-orientation Safety Uml
DOI10.1109/APSEC.2001.991486
URLView the original
WOS Research AreaComputer Science ; Engineering
WOS SubjectComputer Science, Software Engineering ; Engineering, Electrical & Electronic
WOS IDWOS:000173315700033
Fulltext Access
Citation statistics
Document TypeConference paper
CollectionDEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
AffiliationUniversidade de Macau
Recommended Citation
GB/T 7714
Li X.,Liu Z.,Guo Z.. Formal object-oriented analysis and design of an online ticketing system[C],2001:259-266.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Li X.]'s Articles
[Liu Z.]'s Articles
[Guo Z.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Li X.]'s Articles
[Liu Z.]'s Articles
[Guo Z.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Li X.]'s Articles
[Liu Z.]'s Articles
[Guo Z.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.