wallet-core/articles/ui/figs/taler-withdraw.pml

37 lines
889 B
Promela
Raw Normal View History

2016-03-21 16:41:40 +01:00
@startuml
Actor "Customer Browser" as Customer
Participant "Bank Site" as Bank
Participant "Taler Exchange" as Exchange
note over Customer, Bank: HTTPS
note over Customer, Exchange: HTTPS
2016-05-14 02:15:32 +02:00
note over Bank, Exchange: wire transfer
2016-03-21 16:41:40 +01:00
title Taler (Withdraw coins)
Customer->Bank: user authentication
Bank->Customer: send account portal
Customer->Customer: initiate withdrawal (specify amount and exchange)
2016-05-14 02:15:32 +02:00
Customer->Exchange: request coin denomination keys and wire transfer data
Exchange->Customer: send coin denomination keys and wire transfer data
2016-03-21 16:41:40 +01:00
Customer->Bank: execute withdrawal
opt
Bank->Customer: request transaction authorization
Customer->Bank: transaction authorization
end
Bank->Customer: withdrawal confirmation
Bank->Exchange: execute wire transfer
2016-05-14 02:15:32 +02:00
Customer->Exchange: withdraw request
2016-08-11 15:40:29 +02:00
Customer<-Exchange: signed blinded coins
2016-05-14 02:15:32 +02:00
Customer->Customer: unblind coins
2016-03-21 16:41:40 +01:00
@enduml