.. Ticket order

チケットの注文
==============

::

  #![SD チケットオーダー]
  ext:External[pe]
  user:Actor
  /order:Order[x]
  db:TicketDB
  acc:Account
  
  ext:user.チケットのオーダー!
  user:order.new()
  order:return=db.reserve(date,count)
  db:return=acc.debit(cost)
  acc:return=db.bonus(date,count)

..
  #![SD ticket order]
  ext:External[pe]
  user:Actor
  /order:Order[x]
  db:TicketDB
  acc:Account
  
  ext:user.order a ticket!
  user:order.new()
  order:return=db.reserve(date,count)
  db:return=acc.debit(cost)
  acc:return=db.bonus(date,count)


.. image:: order.png