*********************** COMPOSIZIONE SISTEMAPC ***********************
{1} Il SistemaPC e' composto da SistemaBC SistemaNegozio
SistemaCasa SistemaPortatile.
{2} I negozi sono dotati di un SistemaNegozio.
{3} I negozi sono dotati di fattorini.
{4} I fattorini sono dotati di un SistemaPortatile.
{5} Le case sono dotate di un SistemaCasa.
{6} A ogni abitante corrisponde la scheda personale.
*********************** INFORMAZIONI CONTENUTE IN SB ***********************
{7} Il SistemaBC e' dotato di schede personali.
*********************** TRATTAMENTO STIPENDI ***********************
{8} Quando si giunge alla fine di ogni mese, la Starmine invia ammontare stipendi al SB.
{9} Quando il SB riceve ammontare stipendi da Starmine, il SB elabora schede personali
usando ammontare stipendi.
{10} Quando il SB ha elaborato schede personali, il SB elabora conferma transazione
stipendi usando schede personali.
{11} Quando il SB ha elaborato conferma transazione stipendi, il SB invia conferma
transazione stipendi alla Starmine.
{12} Quando il SB ha elaborato conferma transazione stipendi, il SB invia conferma
transazione stipendi ai dipendenti.
********************** TRATTAMENTO INTERESSI E AFFITTI ***********************
{13} Quando si giunge alla fine di ogni mese, il SB elabora interessi usando schede
personali.
{14} Quando il SB ha elaborato interessi, il SB elabora schede personali usando
interessi e ammontare affitto.
{15} Quando il SB ha elaborato schede personali, il SB elabora conferma adeguamento
interessi usando schede personali.
{16} Quando il SB ha elaborato conferma adeguamento interessi, il SB invia conferma
adeguamento interessi ai correntisti.
{17} Quando il SB ha elaborato scheda personale, il SB elabora conferma transazione
affitti usando scheda personale.
{18} Quando il SB ha elaborato conferma transazione affitti, il SB invia conferma
transazione affitti a Starmine.
{19} Quando il SB ha elaborato conferma transazione affitti, il SB invia conferma
transazione affitti a abitante.
*********************** TRATTAMENTO CONSUMI RISORSE ***********************
{20} Quando il SB riceve ammontare consumi da SC, il SB elabora scheda personale usando
ammontare consumi.
{21} Quando il SB ha elaborato scheda personale, il SB elabora conferma adeguamento
consumi risorse usando scheda personale.
{22} Quando il SB ha elaborato conferma adeguamento consumi risorse,il SB invia conferma
adeguamento consumi risorse a SC.
{23} Quando il SB ha elaborato conferma adeguamento consumi risorse,il SB invia conferma
adeguamento consumi risorse a Starmine.
{24} Quando il SC riceve conferma adeguamento consumi risorse da SB,il SC invia conferma
adeguamento consumi risorse a abitante.
*********************** TRATTAMENTO ACQUISTI ***********************
{25} Quando un abitante si presenta al SN, il SN invia segnali a SB.
{26} Quando il SB riceve segnali da SN, il SB ricava identita' abitante usando dati
abitanti e segnali.
{27} Quando l' abitante e' stato riconosciuto, il SB elabora esistenza scheda personale
usando dati abitanti e identita' abitante.
{28} Se non esiste scheda personale allora il SB elabora conferma annullamento
transazione usando esistenza scheda personale.
{29} Quando il SB ha elaborato conferma annullamento transazione, il SB invia conferma
annullamento transazione al SN.
{30} Quando il SN riceve conferma annullamento transazione da SB, il SN invia conferma
annullamento transazione a abitante.
{31} Se esiste scheda personale allora l' abitante comunica dati acquisto al SN.
{32} Quando il SN riceve dati acquisto da abitante, il SN invia dati acquisto a SB.
{33} Quando il SB riceve dati acquisto da SN, il SB elabora scheda personale usando
dati acquisto.
{34} Quando il SB ha elaborato scheda personale, il SB elabora conferma transazione
avvenuta usando scheda personale.
{35} Quando il SB ha elaborato conferma transazione avvenuta, il SB invia conferma
transazione avvenuta a SN.
{36} Quando il SN riceve conferma transazione avvenuta da SB, il SN invia conferma
transazione avvenuta a abitante.
*********************** TRATTAMENTO ACQUISTI DA CASA ***********************
{37} Quando l'abitante desidera acquistare da casa, l'abitate invia richiesta di
acquisto da casa a SC.
{38} Quando il SC riceve richiesta di acquisto da casa da abitante, il SC invia
richiesta di acquisto da casa a abitante.
{39} Quando SN riceve richiesta di acquisto da casa da SC, il SN elabora conferma
richiesta ricevuta usando richiesta di acquisto da casa.
{40} Quando il SN ha elaborato conferma richiesta di acquisto da casa, il SN invia
conferma richiesta ricevuta a SC.
{41} Quando il SC riceve conferma richiesta ricevuta da SN, il SC comunica richiesta
ricevuta a abitante.
{42} Quando SN ha elaborato conferma richiesta di acquisto da casa,il SN manda
fattorino a abitante.
{43} Se un abitante si presenta al SP allora il SP invia segnali a SB.
{44} Quando il SB riceve segnali da SP,il SB ricava identita' abitante usando dati
abitanti e segnali.
{45} Quando il SB ha elaborato conferma annullamento transazione, il SB invia conferma
annullamento transazione al SP.
{46} Quando il SP riceve conferma annullamento transazione da SB, il SP invia conferma
annullamento transazione a abitante.
{47} Se esiste scheda personale allora l' abitante comunica dati acquisto al SP.
{48} Quando il SP riceve dati acquisto da abitante, il SP invia dati acquisto a SB.
{49} Quando il SB riceve dati acquisto da SP, il SB elabora scheda personale usando
dati acquisto.
{50} Quando il SB ha elaborato conferma transazione avvenuta, il SB invia conferma
transazione avvenuta a SP.
{51} Quando SP riceve conferma transazione avvenuta da SB, il SP invia conferma
transazione avvenuta a abitante.
*********************** DONAZIONE ***********************
{52} Quando un abitante si presenta al SB, il SB ricava identita' abitante usando dati
abitanti e segnali.
{53} Quando il SB ha elaborato conferma annullamento transazione, il SB invia conferma
annullamento transazione a abitante.
{54} Se esiste scheda personale allora abitante comunica richiesta donazione a SB.
{55} Se esiste scheda personale allora abitante comunica dati donazione a SB.
{56} Quando il SB ha ricevuto richiesta donazione e dati donazione, il SB elabora
schede personali usando dati donazione e richiesta donazione.
{57} Quando il SB ha elaborato schede personali, il SB elabora conferma donazione
avvenuta usando schede personali.
{58} Quando SB ha elaborato conferma donazione avvenuta, il SB invia conferma donazione
avvenuta a abitante.
*********************** APERTURA SCHEDA PERSONALE ***********************
{59} Quando abitante desidera aprire scheda personale, l' abitante invia domanda
apertura scheda personale a SB.
{60} Quando il SB riceve domanda apertura scheda personale da abitante, il SB definisce
scheda personale usando dati abitanti e domanda apertura scheda personale.
*********************** CHIUSURA SCHEDA PERSONALE ***********************
{61} Quando abitante desidera chiudere scheda personale, l' abitante invia domanda
chiusura scheda personale a SB.
{62} Quando il SB riceve domanda chiusura scheda personale da abitante, il SB elabora
la lettera di credito usando scheda personale e domanda chiusura scheda personale.
{63} Quando il SB ha elaborato la lettera di credito, il SB invia la lettera di credito
a abitante.
