ESERCIZI Scribble
Esercizio 1
Describe in Scribble the global protocol
ATM that specifes an ATM
scenario. The protocol
involves three roles: a client (C), the
payment server (S) and a separate authenticator (A).
At the start of the protocol, C sends its login details
to A, then A informs S and C
whether the authentication is successful,
by choosing either a success or a failuse.
In the former case C and S
enter a transaction loop. In each iteration, S
sends C the amount available in
the account. Next, C has three choices:
- withdraws an amount and repeats the loop;
- deposits an amount in the account and repeats the loop;
- ends the transaction.
Esercizio 2
Describe in Scribble the following global protocol.
Consider two buyers, Buyer1 and Buyer2.
They wish to buy an expensive book from Seller by combining their
money. Buyer1 sends the title of the book to Seller, Seller sends
to both Buyer1 and Buyer2 its quote, Buyer1 tells Buyer2 how
much she can pay, and Buyer2 either accepts the quote or receives
the quote by notifying Seller.
Esercizio 3
Esercizio 4
Esercizio 5
Esercizio 6
Esercizio 7
Esercizio 8
Esercizio 9
Esercizio 10
Esercizio XX
Possibile soluzione.