LISTA DEI REQUISITI

  1. A ogni Utente corrisponde un CC.
  2. A ogni Utente corrisponde un CodicePersonale.
  3. A ogni Utente corrisponde una MSC.
  4. A ogni Utente corrisponde una ImprontaDigitale.
  5. Il Sistema e' collegato a Balzanet.
  6. La Banca interroga il Sistema.
  7. Il Sistema elabora CC.
  8. Ogni Terminale e' collegato al Sistema.
  9. # AttrezzaturaPubblica e'collegato a Terminale.
  10. # AttrezzaturaPubblica ha fra i suoi componenti Payer.
  11. # AttrezzaturaPubblica ha fra i suoi componenti ComparatoreDigitale.
  12. A CDADN corrisponde FondoComuneNaxos.
  13. Ogni OperazioneManuale implica accesso al Sistema.
  14. Ogni Utente ha accesso al Sistema.
  15. DatiIdentificazione ha fra i suoi componenti CodicePersonale.
  16. DatiIdentificazione ha fra i suoi componenti ImprontaDigitale.
  17. Il Sistema richiede DatiIdentificazione.
  18. Il Terminale richiede DatiIdentificazione.
  19. Ogni OperazioneManuale ha fra i suoi componenti OperazioneDomicilio.
  20. Ogni OperazioneManuale ha fra i suoi componenti OperazioneEsterna.
  21. Se c'e' OperazioneEsterna allora Terminale riceve CodicePersonale usando Payer.
  22. Se c'e' OperazioneDomicilio allora Terminale riceve CodicePersonale in base a Utente.
  23. Il Payer riceve CodicePersonale usando MSC.
  24. Il ComparatoreDigitale riceve ImprontaDigitale in base a Utente.
  25. Il ComparatoreDigitale invia ImprontaDigitale al Terminale.
  26. Il Payer invia CodicePersonale al Terminale.
  27. Se il Terminale riceve CodicePersonale e ImprontaDigitale allora invia interruzione e DatiIdentificazione al Sistema.
  28. Il Sistema e' dotato di Interfaccia.
  29. Il Sistema riceve DatoOperazione usando Interfaccia.
  30. Ogni Utente interroga il Sistema usando Interfaccia.
  31. Il Sistema fornisce a ogni Utente OperazioneManuale.
  32. Il Sistema fornisce alla Banca OperazioneBanca.
  33. Interfaccia mostra MenuOperazioni all'Utente.
  34. Interfaccia richiede DatoOperazione.
  35. Utente imposta DatoOperazione a Interfaccia.
  36. DatoComuneOperazione ha fra i suoi componenti DatiIdentificazione.
  37. DatoComuneOperazione ha fra i suoi componenti SceltaOperazione.
  38. DatoComuneOperazione ha fra i suoi componenti ConfermaOperazione.
  39. DatoOperazionePagamento ha fra i suoi componenti LivelloAnonimato.
  40. DatoOperazionePagamento ha fra i suoi componenti Beneficiario.
  41. DatoOperazionePagamento ha fra i suoi componenti Importo.
  42. DatoOperazionePagamento ha fra i suoi componenti OpzioneDomicilio.
  43. DatoOperazionePrestito ha fra i suoi componenti Importo.
  44. DatoOperazionePrestito ha fra i suoi componenti Motivo.
  45. DatoOperazione ha fra i suoi componenti DatoOperazionePagamento.
  46. DatoOperazione ha fra i suoi componenti DatoOperazionePrestito.
  47. Operazione richiede DatoOperazione.
  48. Operazione richiede DatoComuneOperazione.
  49. Operazione ha fra i suoi componenti OperazioneManuale.
  50. Operazione ha fra i suoi componenti OperazioneBanca.
  51. OperazioneManuale ha fra i suoi componenti OperazioneOrdinaria.
  52. OperazioneManuale ha fra i suoi componenti OperazioneStraordinaria.
  53. OperazioneBanca ha fra i suoi componenti ConcessionePrestito.
  54. OperazioneBanca ha fra i suoi componenti AggiornamentoSaldo.
  55. OperazioneBanca ha fra i suoi componenti Accredito.
  56. OperazioneBanca ha fra i suoi componenti Addebito.
  57. OperazioneBanca ha fra i suoi componenti EmissioneMoneta.
  58. OperazioneBanca ha fra i suoi componenti RichiestaAutorizzazioneCDADN.
  59. OperazioneBanca ha fra i suoi componenti RichiestaAggiornamentoRiserva.
  60. OperazioneOrdinaria ha fra i suoi componenti Pagamento.
  61. OperazioneOrdinaria ha fra i suoi componenti RimborsoPrestito.
  62. OperazioneStraordinaria ha fra i suoi componenti SaldoCcUtente.
  63. OperazioneStraordinaria ha fra i suoi componenti EstrattoCcUtente.
  64. OperazioneStraordinaria ha fra i suoi componenti RichiestaPrestito.
  65. Pagamento richiede DatoOperazionePagamento.
  66. Pagamento ha fra i suoi componenti PagamentoNormale.
  67. Pagamento ha fra i suoi componenti PagamentoAutomatico.
  68. PagamentoAutomatico ha fra i suoi componenti PagamentoMensileStipendi.
  69. PagamentoAutomatico ha fra i suoi componenti PagamentoEnergiaConsumata.
  70. PagamentoAutomatico ha fra i suoi componenti PagamentoManutenzioneOrdinaria.
  71. RichiestaPrestito richiede DatoOperazionePrestito.
  72. OperazioneBilanciata ha fra i suoi componenti ConcessionePrestito.
  73. OperazioneBilanciata ha fra i suoi componenti Pagamento.
  74. OperazioneBilanciata ha fra i suoi componenti RimborsoPrestito.
  75. Utente ha fra i suoi componenti Mittente.
  76. Utente ha fra i suoi componenti Beneficiario.
  77. Se c'e' OperazioneBilanciata allora c'e' un Mittente e un Beneficiario.
  78. OperazioneBilanciata implica AddebitoCcMittente.
  79. OperazioneBilanciata implica AccreditoCcBeneficiario.
  80. Se c'e' OperazioneBilanciata allora Accredito e' uguale a Addebito.
  81. La EmissioneDiMoneta implica RichiestaAggiornamentoRiserva.
  82. La EmissioneDiMoneta implica AccreditoFondoComuneNaxos.
  83. MovimentoCC ha fra i suoi componenti Addebito.
  84. MovimentoCC ha fra i suoi componenti Accredito.
  85. Addebito ha fra i suoi componenti AddebitoCcMittente.
  86. Addebito ha fra i suoi componenti AddebitoFondoComuneNaxos.
  87. Accredito ha fra i suoi componenti AccreditoCcBeneficiario.
  88. Accredito ha fra i suoi componenti AccreditoFondoComuneNaxos.
  89. AddebitoCcMittente minoreuguale SaldoCcUtente.
  90. Se l'importo di AddebitoCcMittente e'maggiore SaldoCcUtente allora l'operazione fallisce.
  91. Se l'operazione fallisce allora il Sistema invia Messaggio al SuperUtente.
  92. SuperUtente ha fra i suoi componenti Utente.
  93. SuperUtente ha fra i suoi componenti Banca.
  94. Ogni Operazione genera Transazione.
  95. Se la Transazione non ha errori e c'e' OperazioneBilanciata allora il Sistema elabora SaldoCcUtente in tempo reale.
  96. Se la Transazione non ha errori e c'e' EmissioneMoneta allora il Sistema elabora SaldoFondoComuneNaxos in tempo reale.
  97. Se la Transazione non ha errori e c'e' OperazioneBilanciata allora il Sistema elabora EstrattoCcUtente in tempo reale.
  98. Se la Transazione ha errori allora Interfaccia comunica errori a SuperUtente.
  99. Se e' necessario allora CDADN controlla SaldoCcUtente.
  100. Se e' necessario allora CDADN controlla EstrattoCcUtente.
  101. Il CDADN autorizza Prestito.
  102. Se c'e' RichiestaPrestito allora il Sistema invia Messaggio a Utente.
  103. La RichiestaPrestito imposta AlgoritmoControllo.
  104. AlgoritmoControllo controlla il SaldoFondoComuneNaxos.
  105. Ogni AddebitoFondoComuneNaxos imposta AlgoritmoControllo.
  106. Se il SaldoFondoComuneNaxos e' negativo allora il Sistema imposta AccreditoFondoComuneNaxos.
  107. Se SaldoFondoComuneNaxos e' negativo allora il Sistema invia Messaggio a CDADN.
  108. Se il Prestito e' autorizzato allora il Sistema imposta AddebitoFondoComuneNaxos e AccreditoCcUtente.
  109. Se Mittente e Beneficiario sono noti allora la banca mette in relazione i MovimentiCcUtente.
  110. Se un Utente e' cifrato e l'altro e' noto e la Banca ne conosce l'identita' allora la banca deve necessariamente mettere in relazione i movimenti dei loro CC.
  111. Se un Utente e' cifrato e l'altro e' noto e la Banca non ne conosce l'identita' allora la banca deve necessariamente mettere in relazione i movimenti dei loro CC.
  112. Se Mittente e Beneficiario sono cifrati allora la banca deve necessariamente mettere in relazione i movimenti dei loro CC e conoscere l'identità' degli intestatari.

Back

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

All rights reserved.