La banca e' dotata di conti correnti.
La banca elabora emoney usando stermine.
Gli utenti sono dotati di conto corrente.
La StarMine e' un tipo di utente.
L'abitante di Naxos e' un tipo di utente.
Il negozio e' un tipo di utente.
La workstation e' dotato di un archivio.
Il cliente e' fornito di uno Skill.
Il cliente e' dotato di una Starcard.
Utente e' dotato di codice privato.
Utente e' dotato di codice pubblico.
L'utente e' dotato di una WorkStation.
L'Archivio e' composto da una Riserva Locale.
L'Archivio e' composto da una History.
La cassa virtuale e' un tipo di riserva locale.
L'utente fornisce la richiesta alla workstation.
La workstation dell'utente fornisce la richiesta alla banca .
Utente fornisce somma richiesta alla Workstation.
La workstation dell'utente fornisce somma richiesta alla banca.
La workstation dell' utente elabora la richiesta usando codice privato e codice pubblico e la somma richiesta.
Se c'e' disponibilita' della somma richiesta nel conto corrente allora la banca trasmette emoney alla workstation dell'utente.
Se c'e' disponibilita' nella riserva locale della somma richiesta o c'e' disponibilita' della somma richiesta nel conto corrente allora la workstation dell'utente elabora la Riserva Locale usando la somma richiesta.
Se c'e' disponibilita' nella riserva locale della somma richiesta o c'e' disponibilita' della somma richiesta nel conto corrente allora la naxosbank elabora il conto corrente usando la somma richiesta.
Se c'e' disponibilita' nella riserva locale della somma richiesta allora la workstation dell'utente trasmette emoney alla naxosbank.
La banca elabora la comunicazione usando la richiesta e il conto corrente e la riserva locale.
La banca invia la comunicazione alla workstation del richiedente.
Il richiedente richiede la stampa della comunicazione alla workstation.
La workstation del richiedente richiede la stampa della comunicazione alla banca.
Se la disponibilita' della somma richiesta nel conto corrente e' insufficiente allora la banca invia un messaggio di errore alla workstation dell'utente.
Se la disponibilita' della somma richiesta nella riserva locale e' insufficiente allora la workstation invia un messaggio di errore all'utente.
La banca elabora saldo del conto corrente usando saldo del conto corrente e richiesta.
La banca elabora il messaggio di errore usando il saldo del conto corrente.
La workstation elabora il messaggio di errore usando la riserva locale. La banca elabora la History usando la comunicazione.
La workstation dell'utente elabora la lista degli ultimi movimenti usando la history.
La History ha fra i suoi componenti la lista degli ultimi movimenti .
La History ha fra i suoi componenti il saldo del conto corrente bancario.
La lista delle vendite giornaliere e' un tipo di lista degli ultimi movimenti.
Utente invia il proprio codice privato alla workstation.
Utente invia codice pubblico del ricevente alla workstation.
Se l'importo da pagare e' minore della riserva locale allora la workstation elabora la Riserva Locale del ricevente usando l'importo pagato.
Se l'importo da pagare e' minore della riserva locale allora la workstation elabora la Cassa Virtuale del negozio ricevente usando l'importo pagato.
Se l'importo da pagare e' maggiore della riserva locale allora la workstation invia un messaggio di errore all'utente.
La workstation elabora una comunicazione usando l'importo pagato.
La workstation invia una comunicazione all'utente.
L'utente invia a skill comando.
Lo skill elabora un comando usando codice privato e l'importo da pagare e la starcard.
Utente fornisce importo a skill .
Se l'importo da caricare sulla StarCard e' maggiore della Riserva Locale allora Skill invia un messaggio di errore all'utente.
Lo skill elabora il messaggio d'errore usando l'importo da caricare e la riserva locale.
Se l'importo da caricare sulla Starcard e' maggiore del 10% del saldo del conto corrente dell'utente allora lo Skill invia un messaggio di errore all'utente.
Se l'operazione di caricamento va a buon fine allora lo Skill riceve emoney dalla workstation.
Se l'operazione di caricamento va a buon fine allora lo Skill elabora la Riserva Locale usando l'importo.
Se l'operazione di caricamento va a buon fine allora lo Skill elabora Starcard usando l'importo.
Se l'operazione di scaricamento va a buon fine allora lo skill elabora la riserva locale usando l'importo da pagare e la starcard.
Se l'operazione di scaricamento a negozio va a buon fine allora lo skill elabora la cassa virtuale usando l'importo da pagare e la starcard.
Se l'operazione di scaricamento a negozio va a buon fine allora lo skill invia emoney alla workstation del negozio.
Se l'operazione di scaricamento va a buon fine allora lo skill elabora la starcard usando l'importo da pagare.
Lo Skill invia una ricevuta all'utente.
Lo skill elabora la ricevuta usando comando.
Se l'operazione di scaricamento a negozio va a buon fine allora lo Skill elabora la History usando il comando e la lista degli ultimi movimenti.
Quando il negozio chiude la giornata lavorativa, la workstation del negozio invia la lista delle vendite giornaliere alla Starmine.
La workstation del negozio elabora la lista delle vendite giornaliere usando la History.
La workstation del negozio elabora gli incassi giornalieri usando la cassa Virtuale.
Quando un negozio chiude la giornata lavorativa, la workstation del negozio invia gli incassi giornalieri alla starmine.
La naxosbank invia lo stipendio alla workstation dei dipendenti.
Il negozio invia comando pagamento affitto di gestione alla propria workstation.
La workstation del negozio elabora affitto di gestione usando cassa virtuale e comando pagamento affitto di gestione.
La workstation del negozio invia al negozio una comunicazione di avvenuto pagamento affitto.
La workstation del negozio elabora la comunicazione di avvenuto pagamento affitto usando l'affitto di gestione.
La workstation del negozio in gestione invia la cauzione iniziale alla StarMine.
La workstation del negozio in gestione invia l'affitto di gestione alla StarMine.
La Starmine invia stipendio dei dipendenti alla Naxosbank.

---

Back