{1} Il SistemaPC e' composto da SistemaBC SistemaNegozio SistemaCasa SistemaPortatile.
{2} I negozi sono dotati di un SistemaNegozio.
{3} Il SistemaNegozio e' composto da rilevatore e PC del negozio.
{4} Il SistemaBC e' composto da rilevatore e PC della BC.
{5} Le case sono dotate di un SistemaCasa.
{6} Il SistemaCasa e' composto da PC della casa.
{7} I fattorini sono dotati di un SistemaPortatile.
{8} Il SistemaPortatile e' composto da rilevatore manuale e PC portatile.
{9} A ogni abitante corrisponde la scheda personale.
{10} Il debitore e' un tipo di cliente.
{11} Il cliente e' un tipo di correntista.
{12} Il dipendente e' un tipo di correntista.
{13} Il correntista e' un tipo di abitante.
{14} Il donatore e' un tipo di correntista.
{15} L'intestatario e' un tipo di correntista.
{16} I bambini di eta' inferiore ai 16 anni sono dotati di una scheda personale vincolata.
{17} Al SistemaBC sono associate le schede personali.
{18} Le schede personali dei dipendenti e' un tipo di scheda personale.
{19} La scheda personale del debitore e' un tipo di scheda personale.
{20} La scheda personale dell'intestatario e' un tipo di scheda personale.
{21} La scheda personale vincolata e' un tipo di scheda personale.
{22} La scheda personale del correntista e' un tipo di scheda personale.
{23} La scheda personale del cliente e' un tipo di scheda personale.
{24} La scheda personale del donatore e' un tipo di scheda personale.
{25} La scheda personale ha clausola vincolo, clausola prestito, clausola anonimato, stato patrimoniale, ammontare dell'affitto, interessi attivi e rate del prestito.
{26} Se un abitante si presenta al SB allora l' impianto cibernetico invia segnali al SB.
{27} Quando il SB riceve segnali da impianto cibernetico, il SistemaBC definisce schede personali usando dati abitanti.
{28} Quando si giunge alla fine del mese, la Starmine invia ammontare stipendi al SB.
{29} Quando SB riceve ammontare stipendi da Starmine, il SB elabora le schede personali dei dipendenti della Starmine usando l'ammontare stipendi.
{30} Quando si giunge alla fine del mese, il SB elabora conferma transazione stipendi usando le schede personali dei dipendenti della Starmine.
{31} Il SB elabora interessi attivi di scheda personale usando la scheda personale del correntista.
{32} Il SB elabora la scheda personale del correntista usando gli interessi attivi di scheda personale del correntista.
{33} Il SB elabora ammontare dell'affitto di scheda personale dell' intestatario usando dati abitanti.
{34} Il SB elabora la scheda personale dell'intestatario usando l'ammontare dell'affitto di scheda personale dell'intestatario e la scheda personale dell'intestatario.
{35} Quando si giunge alla fine del mese, il SB elabora conferma transazione affitti usando scheda personale dell'intestatario.
{36} Il SB elabora conferma accredito interessi attivi usando la scheda personale del correntista.
{37} Quando si giunge alla fine del mese, il SB invia conferma transazione stipendi alla Starmine.
{38} Quando si giunge alla fine del mese, il SB invia conferma transazione stipendi al dipendente.
{39} Quando si giunge alla fine del mese, il SB invia conferma transazione affitti alla Starmine.
{40} Quando si giunge alla fine del mese, il SB invia conferma transazione affitti all'intestatario.
{41} Quando si giunge alla fine del mese, il SB invia conferma accredito interessi attivi al correntista.
{42} Quando il SB riceve richiesta di scheda personale del debitore da SN, il SB invia scheda personale del debitore a SN.
{43} Se il cliente si presenta al SN allora l' impianto cibernetico invia segnali al SistemaNegozio.
{44} Quando il cliente si presenta al SN, il cliente comunica dati dell'oggetto al SN.
{45} Quando il SistemaNegozio riceve segnali da impianto cibernetico, il SistemaNegozio ricava identita' cliente usando segnali.
{46} Quando il SistemaBC riceve identita' cliente da SistemaNegozio, il SistemaBC invia scheda personale del cliente al SistemaNegozio.
{47} Il SN elabora la scheda personale del cliente usando i dati dell'oggetto.
{48} Il SN invia la scheda personale del cliente al SB.
{49} Il SN elabora conferma transazione avvenuta usando la scheda personale del cliente.
{50} Il SN invia conferma transazione avvenuta al cliente.
{51} Il cliente fornisce la richiesta di acquisto da casa a SC.
{52} Quando il SN riceve la richiesta di acquisto da casa da SC, il SN elabora la conferma richiesta ricevuta usando la richiesta di acquisto da casa e il SN manda il fattorino al cliente.
{53} Il SN invia conferma al cliente.
{54} Quando il fattorino e' a casa del cliente, l'impianto cibernetico trasmette segnali al SP.
{55} Quando il SistemaPortatile riceve segnali da impianto cibernetico, il SistemaPortatile ricava identita' cliente usando segnali.
{56} Quando il SistemaBC riceve identita' cliente da SistemaPortatile, il SistemaBC invia scheda personale del cliente al SistemaPortatile.
{57} Quando il SP riceve la scheda personale del cliente da SB, il SP elabora la scheda personale del cliente usando la conferma.
{58} Il SistemaPortatile invia scheda personale del cliente al SistemaBC.
{59} Il SP elabora conferma transazione avvenuta usando la scheda personale del cliente.
{60} Il SP comunica conferma transazione avvenuta al cliente.
{61} Il contatore invia lettura contatore a SC.
{62} Il SC elabora l' ammontare dei consumi di risorse usando lettura contatore.
{63} Il SC invia ammontare dei consumi di risorse al SB.
{64} Il SB elabora la scheda personale dell'intestatario usando l'ammontare dei consumi di risorse e la scheda personale dell'intestatario.
{65} Il SB elabora conferma addebito consumi risorse usando la scheda personale dell'intestatario.
{66} Il SB invia conferma addebito consumi risorse all'intestatario.
{67} Quando il cliente ha bisogno di un prestito, il debitore invia richiesta prestito al SN.
{68} Quando il SistemaNegozio riceve richiesta prestito dal debitore, il SN invia richiesta di scheda personale del debitore al SB.
{69} Quando SN riceve scheda personale del debitore da SB, il SistemaNegozio elabora la clausola prestito di scheda personale del debitore usando la richiesta prestito e la scheda personale del debitore.
{70} Quando il SN riceve la scheda personale del debitore da SB, il SN elabora rate del prestito di scheda personale del debitore usando la scheda personale del debitore.
{71} Il SN elabora la scheda personale del debitore usando la scheda personale del debitore e i dati dell'oggetto.
{72} Il SN elabora la conferma concessione prestito usando la scheda personale del debitore.
{73} Il SN invia scheda personale del debitore a SB.
{74} Il SN comunica la conferma concessione prestito al debitore.
{75} Quando il SB riceve la richiesta anonimato dal cliente, il SB elabora la clausola anonimato di scheda personale del cliente usando la richiesta anonimato.
{76} Il SB modifica la scheda personale usando la clausola anonimato di scheda personale e la scheda personale.
{77} Quando il SN riceve la richiesta anonimato dal cliente, il SN elabora la clausola anonimato di scheda personale del cliente usando la richiesta anonimato.
{78} Il SN modifica la scheda personale usando la clausola anonimato di scheda personale del cliente e la scheda personale.
{79} Quando il SP riceve la richiesta anonimato dal cliente, il SP elabora la clausola anonimato di scheda personale del cliente usando la richiesta anonimato.
{80} Il SP modifica la scheda personale usando la clausola anonimato di scheda personale del cliente e la scheda personale.
{81} Quando il donatore fa una donazione, il donatore invia domanda donazione al SB.
{82} Quando il SB riceve domanda donazione dal donatore, il SB elabora la scheda personale del donatore usando domanda donazione, clausola anonimato di scheda personale del donatore e la scheda personale del donatore.
{83} Il SB elabora conferma donazione avvenuta usando domanda donazione.
{84} Il SB comunica conferma donazione avvenuta al donatore.
