34 lines
841 B
Promela
34 lines
841 B
Promela
@startuml
|
|
!includeurl https://raw.githubusercontent.com/w3c/webpayments/gh-pages/PaymentFlows/skin.ipml
|
|
|
|
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
|
|
note over Bank, Exchange: SEPA
|
|
|
|
title Taler (Withdraw coins)
|
|
|
|
Customer->Bank: user authentication
|
|
Bank->Customer: send account portal
|
|
|
|
Customer->Customer: initiate withdrawal (specify amount and exchange)
|
|
|
|
Customer->Exchange: request key material and wire transfer data
|
|
Exchange->Customer: send key material and wire transfer data
|
|
|
|
Customer->Bank: execute withdrawal
|
|
|
|
opt
|
|
Bank->Customer: request transaction authorization
|
|
Customer->Bank: transaction authorization
|
|
end
|
|
|
|
Bank->Customer: withdrawal confirmation
|
|
Bank->Exchange: execute wire transfer
|
|
|
|
|
|
@enduml
|