Agg. 10/06/97
Ver 1.4
Copyright (C) MiniSoft Lista dei Requisisti

---

Il sistema e' composto da un terminale.
Una persona fisica e' un tipo di persona.
Una persona giuridica e' un tipo di persona.
Ogni persona e' dotato di un PIN.
Ogni persona e' dotato di una password.
Ogni portafoglio persona e' associato ad un PIN.
Una persona invia una transazione economica al terminale.
Il PIN beneficiario e' un tipo di PIN.
Una transazione ha il PIN beneficiario.
Una transazione ha il PIN.
Una transazione ha la password .
Una transazione ha un importo.
Una transazione ha un motivo.
Una transazione ha un livello di anonimato.
Il terminale invia una transazione al sistema.
Il terminale invia un messaggio di OK a persona.
Il terminale invia un messaggio di errore di operazione a persona.
Il terminale invia un messaggio di errore di lettura a persona.
Il terminale invia l' ammontare del portafoglio a persona.
Il terminale invia la lista transazioni a persona.
Una persona invia una richiesta lettura al terminale.
Una richiesta lettura ha il PIN .
Una richiesta lettura ha la password .
Il terminale invia la richiesta lettura al sistema.
Una persona invia una lettura storico al terminale.
Una lettura storico ha il PIN.
Una lettura storico ha la password.
Il terminale invia la lettura storico al sistema.
Le esecuzioni di transazioni sono concorrenti.
Le esecuzioni di transazioni sono atomiche.
I portafogli persona sono persistenti.
Il sistema definisce il comando inserisci transazione da transazione economica.
Il sistema modifica archivio temporaneo da comando inserisci transazione e archivio temporaneo.
Se avviene un fallimento di sistema il sistema definisce un comando leggi transazione archiviata da transazione.
Se avviene un disastro il sistema definisce un comando leggi transazione archiviata da transazione.
Il sistema elabora transazione archiviata da comando leggi transazione archiviata.
Il sistema rielabora transazione da transazione archiviata.
Quando una transazione termina con errore il sistema definisce comando cancella transazione da transazione economica.
Quando una transazione termina normalmente il sistema definisce comando cancella transazione da transazione economica.
Il sistema modifica archivio temporaneo da comando cancella transazione e archivio temporaneo.
Quando una transazione termina normalmente il sistema invia un messaggio di OK al terminale.
Se avviene un fallimento di operazione il sistema invia un messaggio di errore di operazione al terminale.
Il sistema definisce un comando leggi archivio portafoglio da PIN della lettura.
Se il sistema ricava l'ammontare del portafoglio persona dal comando leggi archivio portafoglio e archivio portafogli il sistema invia l'ammontare del portafoglio al terminale.
Il fallimento di sistema e' un tipo di malfunzionamento.
Il disastro e' un tipo di malfunzionamento.
Se avviene un malfunzionamento il sistema invia un messaggio di errore di lettura al terminale.
Il sistema definisce un comando leggi storico da PIN della lettura storico.
Se il sistema ricava la lista transazioni della persona dal comando leggi storico e storico il sistema invia la lista transazioni della persona al terminale.
Il sistema e' composto da un gestore transazione.
Il sistema e' composto da un generatore.
Il generatore genera banconote.
La Minisoft invia al generatore una richiesta di accredito.
Una richiesta di accredito ha un importo.
Una richiesta di accredito ha un PIN.
Il generatore elabora banconote da importo di accredito.
Il generatore elabora banconote cifrate da banconote e PIN di accredito.
Il generatore modifica archivio portafoglio da banconote cifrate e PIN di accredito.
Il sistema invia transazione economica a gestore transazioni.
Gestore transazioni elabora banconote usando PIN della transazione password della transazione e archivio portafoglio.
Gestore transazioni modifica archivio portafoglio usando PIN della transazione e archivio portafoglio.
Gestore transazioni elabora banconote cifrate da banconote e PIN beneficiario della transazione.
Gestore transazioni modifica archivio portafoglio da banconote cifrate e PIN beneficiario della transazione.
Anonimo pagante e' un tipo di livello di anonimato.
Anonimo beneficiario e' un tipo di livello di anonimato.
Pubblico e' un tipo di livello di anonimato.
Totalmente anonimo e' un tipo di livello di anonimato.
Il archivio portafoglio ha portafoglio persona.
Il portafoglio persona ha banconote cifrate.
Operazione pubblica ha un PIN beneficiario.
Operazione pubblica ha un PIN.
Operazione pubblica ha un importo.
Operazione pubblica ha la data.
Operazione pubblica ha l' ora.
Operazione pubblica ha un motivo.
Operazione parzialmente anonima ha un PIN.
Operazione parzialmente anonima ha un importo.
Operazione parzialmente anonima ha la data.
Operazione parzialmente anonima ha l' ora.
Operazione parzialmente anonima ha un motivo.
Se livello anonimato pubblico allora gestore transazione elabora operazione pubblica da transazione.
Se livello anonimato pubblico allora gestore transazione modifica storico da operazione pubblica.
Se livello anonimato parzialmente anonimo allora il gestore transazione elabora operazione parzialmente anonima da transazione.
Se livello anonimato parzialmente anonimo allora il gestore transazione modifica storico da operazione parzialmente anonima.
La Minisoft invia al sistema una richiesta di crea portafoglio.
La richiesta di crea portafoglio ha un PIN.
Il sistema elabora archivio portafogli da richiesta di crea portafoglio.
La Minisoft invia al sistema una richiesta di cancella portafoglio.
La richiesta di cancella portafoglio ha un PIN.
Il sistema elabora archivio portafogli da richiesta di cancella portafoglio.