reduce stock（）
customer
message
locking（）
pay success()
checkout success（）
Check inventory（）
database
produce order()
commodity
Calculation amount（）
place pay request()
user system
login()
check order()
payment system
inventory adequate（）
place order（）
Time sequence diagram of customers' purchase in mall
order system
select commodity()
