We exercised the design of a cloud ticketing service in this study. The service is of cloud computing, and it is designed as an enhancement to a current ticketing system which is of web computing. The enhanced ticketing service is with the “on demand” characteristic referred in cloud computing. With the service, foreign tokens can also be introduced by passengers as official tickets. The design works include the specification of the scope, the system architecture, and the components. In addition, a cohesion metric of component design is discussed, and the normalization of tables in database design is verified. Finally, proofs of the logical soundness indicated that this study is significant.