LISTA DEI REQUISITI

  1. Banca e' un tipo di Utente.
  2. Persona ha Impronta_Digitale.
  3. Persona e' dotato di Msc.
  4. Msc ha Codice_Segreto.
  5. Msc ha Numero_Seriale.
  6. Utente e' dotato di un CC.
  7. CC ha Estratto.
  8. CC ha Saldo.
  9. CC ha Numero Conto.
  10. CC e'parte di Archivio_Conti.
  11. Quadro_CC ha Nome.
  12. Quadro_CC ha Codice_Fiscale.
  13. Quadro_CC ha Recapito.
  14. Quadro_CC ha Sesso.
  15. Quadro_CC ha Professione.
  16. Quadro_CC ha Numero Conto.
  17. Quadro_CC ha Stato.
  18. Quadro_CC e'parte di Archivio_Quadri.
  19. Prestito ha Situazione.
  20. Prestito ha Importo.
  21. Prestito ha Causale.
  22. Prestito ha Dato_Beneficiario.
  23. Prestito ha Durata.
  24. Prestito e'parte di Archivio_Prestiti.
  25. Pagamento ha Dato_Beneficiario.
  26. Pagamento ha Dato_Mittente.
  27. Pagamento ha Importo.
  28. Pagamento ha Causale.
  29. Pagamento e'parte di Archivio_Pagamenti.
  30. Emissione_Moneta ha Importo.
  31. Emissione_Moneta ha Causale.
  32. Emissione_Moneta e'parte di Archivio_Emissioni.
  33. Rilevatore_Digitale e'parte di Postazione.
  34. Lettore_Carta e'parte di Postazione.
  35. Terminale e'parte di Postazione.
  36. Utente invia Codice_Segreto di Msc alla Postazione.
  37. Utente invia Impronta_Digitale di Persona alla Postazione.
  38. Postazione elabora Codice_codificato usando Codice_Segreto di Msc.
  39. Postazione invia Codice_codificato al Sistema.
  40. Postazione elabora Impronta_codificata usando Impronta_Digitale di Persona.
  41. Postazione invia Impronta_codificata al Sistema.
  42. Il Sistema elabora Codice_decodificato usando Codice_codificato.
  43. Il Sistema elabora Impronta_decodificata usando Impronta_codificata.
  44. Il Sistema elabora Verifica usando Codice_decodificato Impronta_decodificata e Archivio_Quadri.
  45. Il Sistema elabora lista_operazioni usando Verifica.
  46. Il Sistema invia lista_operazioni a Postazione.
  47. Postazione invia lista_operazioni a Utente.
  48. Il Sistema elabora CC usando Archivio_Conti e Verifica.
  49. Il Sistema elabora CC usando Archivio_Conti e Quadro_CC.
  50. Utente invia Dati_Pagamento a Postazione.
  51. Postazione elabora Dati_PagamentoC usando Dati_Pagamento.
  52. Postazione invia Dati_PagamentoC al Sistema.
  53. Il Sistema elabora Dati_PagamentoD usando Dati_PagamentoC.
  54. Il Sistema elabora Pagamento usando Dati_PagamentoD.
  55. Il Sistema elabora Quadro_CC usando Pagamento e Archivio_Quadri.
  56. Il Sistema elabora Archivio_Pagamenti usando Pagamento e Archivio_Pagamenti.
  57. Il Sistema elabora CC usando Pagamento e CC.
  58. Utente invia Annullamento a Postazione.
  59. Se Postazione invia Annullamento al Sistema allora il Sistema elabora CC usando Annullamento Pagamento e CC.
  60. Se Postazione invia Annullamento al Sistema allora il Sistema elabora Archivio_Pagamenti usando Annullamento Pagamento e Archivio_Pagamenti.
  61. Se operazione conclusa con problemi allora Postazione invia Annullamento al Sistema.
  62. Utente invia Dati_Prestito a Postazione.
  63. Postazione elabora Dati_PrestitoC usando Dati_Prestito.
  64. Postazione invia Dati_PrestitoC al Sistema.
  65. Il Sistema elabora Dati_PrestitoD usando Dati_PrestitoC.
  66. Il Sistema elabora Prestito usando Dati_PrestitoD.
  67. Il Sistema elabora Archivio_Prestiti usando Prestito e Archivio_Prestiti.
  68. Se Postazione invia Annullamento al Sistema allora il Sistema elabora Archivio_Prestiti usando Prestito Annullamento e Archivio_Prestiti.
  69. Utente invia Dati_Rimborso a Postazione.
  70. Postazione elabora Dati_RimborsoC usando Dati_Rimborso.
  71. Postazione invia Dati_RimborsoC al Sistema.
  72. Il Sistema elabora Dati_RimborsoD usando Dati_RimborsoC e Archivio_Prestiti.
  73. Il Sistema elabora Prestito usando Dati_RimborsoD e Archivio_Prestiti.
  74. Il Sistema elabora CC usando Dati_RimborsoD e CC .
  75. Il Sistema elabora Prestito usando Prestito e Dati_RimborsoD.
  76. Il Sistema elabora Quadro_CC usando Dati_RimborsoD e Archivio_Quadri.
  77. Se Postazione invia Annullamento al Sistema allora il Sistema elabora Prestito usando Annullamento Prestito e Dati_RimborsoD.
  78. Se Postazione invia Annullamento al Sistema allora il Sistema elabora CC usando Annullamento Prestito e CC.
  79. Banca invia Dati_Concessione a Postazione.
  80. Postazione elabora Dati_ConcessioneC usando Dati_Concessione.
  81. Postazione invia Dati_ConcessioneC al Sistema.
  82. Il Sistema elabora Dati_ConcessioneD usando Dati_ConcessioneC e Archivio_Prestiti.
  83. Il Sistema elabora Prestito usando Dati_ConcessioneD e Archivio_Prestiti.
  84. Il Sistema elabora CC usando Dati_ConcessioneD e CC.
  85. Il Sistema elabora Prestito usando Prestito e Dati_ConcessioneD.
  86. Il Sistema elabora Quadro_CC usando Dati_ConcessioneD e Archivio_Quadri.
  87. Se Postazione invia Annullamento al Sistema allora il Sistema elabora Prestito usando Annullamento Prestito e Dati_ConcessioneD.
  88. Se Banca Richiede Visione_Prestiti al Sistema allora il Sistema elabora Archivio_PrestitiC usando Archivio_Prestiti.
  89. Il Sistema invia Archivio_PrestitiC a Postazione.
  90. Postazione elabora Archivio_PrestitiD usando Archivio_PrestitiC.
  91. Postazione invia Archivio_PrestitiD a Banca.
  92. Banca invia Dati_Emissione a Postazione.
  93. Postazione elabora Dati_EmissioneC usando Dati_Emissione.
  94. Postazione invia Dati_EmissioneC al Sistema.
  95. Il Sistema elabora Dati_EmissioneD usando Dati_EmissioneC.
  96. Il Sistema elabora CC usando Dati_EmissioneD e CC.
  97. Il Sistema elabora Emissione usando Dati_EmissioneD.
  98. Il Sistema elabora CC usando Emissione e CC.
  99. Se Postazione invia Annullamento al Sistema allora il Sistema elabora CC usando Annullamento Emissione e CC.
  100. Se Postazione invia Annullamento al Sistema allora il Sistema elabora Archivio_Emissioni usando Emissione Annullamento e Archivio_Emissioni.
  101. Il Sistema elabora Archivio_Emissioni usando Emissione e Archivio_Emissioni.
  102. Banca invia Dati_Chiusura a Postazione.
  103. Postazione elabora Dati_ChiusuraC usando Dati_Chiusura.
  104. Banca invia Dati_Apertura a Postazione.
  105. Postazione elabora Dati_AperturaC usando Dati_Apertura.
  106. Il Sistema elabora Dati_AperturaD usando Dati_AperturaC.
  107. Il Sistema elabora Dati_ChiusuraD usando Dati_ChiusuraC.
  108. Il Sistema elabora Quadro_CC usando Dati_AperturaD.
  109. Il Sistema elabora Archivio_Quadri usando Quadro_CC e Archivio_Quadri.
  110. Il Sistema elabora Archivio_Conti usando Quadro_CC e Archivio_Conti.
  111. Se Postazione invia Dati_AperturaC al Sistema allora il Sistema elabora CC usando Quadro_CC.
  112. Il Sistema elabora Archivio_Conti usando CC e Archivio_Conti.
  113. Se Postazione invia Annullamento al Sistema allora il Sistema elabora Archivio_Conti usando Annullamento Archivio_Conti e CC.
  114. Se Postazione invia Annullamento al Sistema allora il Sistema elabora Archivio_Quadri usando Annullamento Quadro_CC e Archivio_Quadri.
  115. Il Sistema elabora Quadro_CC usando Dati_ChiusuraD e Archivio_Quadri.
  116. Se Utente chiede Saldo allora il Sistema elabora Risultato_Saldo usando CC.
  117. Se Utente chiede Estratto allora il Sistema elabora Risultato_Estratto usando CC.
  118. Postazione elabora Dato_ClienteC usando Dato_Cliente.
  119. Postazione invia Dato_ClienteC al Sistema.
  120. Il Sistema elabora Dato_ClienteD usando Dato_ClienteC.
  121. Il Sistema elabora Risultato_Estratto usando CC_Cliente.
  122. Il Sistema elabora Quadro_CC usando Dato_ClienteD e Archivio_Quadri .
  123. Il Sistema elabora CC_Cliente usando Archivio_Conti e Quadro_CC.
  124. Il Sistema elabora Risultato_Saldo usando CC_Cliente.
  125. Banca invia Dato_Cliente a Postazione.
  126. Se Utente chiede Operazioni_Statistiche allora il Sistema elabora Risultato_Statistica usando Archivio_Conti e Archivio_Quadri.
  127. Il Sistema elabora Risultato_EstrattoC usando Risultato_Estratto.
  128. Il Sistema invia Risultato_EstrattoC a Postazione.
  129. Il Sistema elabora Risultato_SaldoC usando Risultato_Saldo.
  130. Il Sistema invia Risultato_SaldoC a Postazione.
  131. Il Sistema invia Risultato_Statistica a Postazione.
  132. Postazione elabora Risultato_EstrattoD usando Risultato_EstrattoC.
  133. Postazione elabora Risultato_SaldoD usando Risultato_SaldoC.
  134. Postazione invia Risultato_EstrattoD a Utente.
  135. Postazione invia Risultato_SaldoD a Utente.
  136. Postazione invia Risultato_Statistica a Utente.

Back

versione 1.0 rilasciata in data 10.06.97
Copyrigt (C) 1997 Gruppo 14 "Mr. Magoo Software Corporation"

All rights reserved.