StreamCom: Business Analysis and System Design ... - EPFL
StreamCom: Business Analysis and System Design ... - EPFL
StreamCom: Business Analysis and System Design ... - EPFL
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
31/5/02<br />
Sequence Diagram : Buy a Service<br />
: Client<br />
:Client<strong>System</strong><br />
(ExchangeTicketAgaintMoneyTxn)<br />
TicketDistributionTxn<br />
: Retailer<br />
:KeyServer<br />
(GetTicketTxn)<br />
:Bank<strong>System</strong><br />
payment information<br />
(w[]..w[n])= generateMicroPayments()<br />
n,w[0]<br />
k=generateKey()<br />
generateTicket()<br />
(k,T)<br />
payment information<br />
check solvency(payment info)<br />
save(ticketID)<br />
confirmation<br />
confirmation<br />
confirmation<br />
Payment <strong>and</strong> Ticket distribution<br />
44