Lista dei Requisiti
  1. Se inserimento te allora il Tanny invia ad un Tanny gli estremi della transazione elettronica.
  2. Se inserimento aut allora il Tanny invia l'autentifica ad un Tanny.
  3. Se ricevimento aut allora il Tanny invia gli estremi della transazione elettronica alla banca centrale.
  4. La banca centrale elabora il esito della transazione elettronica usando conto correnti.
  5. La banca centrale modifica i conto correnti usando gli estremi della transazione elettronica.
  6. La banca centrale invia l'esito della transazione elettronica al Tanny.
  7. Se inserimento te allora il Tanny invia ad un base family gli estremi della transazione elettronica.
  8. Se inserimento aut allora il base family invia l'autentifica ad un Tanny.
  9. La banca centrale invia al base family l'esito della transazione elettronica.
  10. Se inserimento te allora il base family invia ad un Tanny gli estremi della transazione elettronica.
  11. Se inserimento aut allora il Tanny invia l'autentifica ad un base family.
  12. Se ricevimento aut allora il base family invia alla banca centrale gli estremi della transazione elettronica.
  13. Se inserimento te allora il base commercial invia ad un Tanny gli estremi della transazione elettronica.
  14. La banca centrale invia l'esito della transazione elettronica al base commercial.
  15. Se inserimento aut allora il Tanny invia l'autentifica ad un base commercial.
  16. Se ricevimento aut allora il base commercial invia alla banca centrale gli estremi della transazione elettronica.
  17. Se inserimento te allora il base family invia ad un base commercial gli estremi della transazione elettronica.
  18. Se inserimento aut allora il base commercial invia l'autentifica ad un base family.
  19. Se inserimento te allora il base commercial invia ad un base family gli estremi della transazione elettronica.
  20. Se inserimento aut allora il base family invia l'autentifica ad un base commercial.
  21. Se inserimento te allora il base family invia ad un base family gli estremi della transazione elettronica.
  22. Se inserimento aut allora il base family invia l'autentifica ad un base family.
  23. Se inserimento te allora il base commercial invia ad un base commercial gli estremi della transazione elettronica.
  24. Se inserimento aut il base commercial invia l'autentifica ad un base commercial.
  25. Se inserimento td allora il base commercial invia ad una tannycard gli estremi della transazione elettronica.
  26. Se inserimento td allora la tannycard invia alla banca centrale gli estremi della transazione elettronica.
  27. La banca centrale invia al Tanny il numero progressivo della cambiale.
  28. La banca centrale invia al base family il numero progressivo della cambiale.
  29. La banca centrale invia al base commercial il numero progressivo della cambiale.
  30. La banca centrale modifica i portafogli cambiari usando gli estremi della transazione cambiaria.
  31. Se inserimento tc allora il Tanny invia ad un Tanny gli estremi della transazione cambiaria.
  32. Se inserimento tc allora il Tanny invia ad un base family gli estremi della transazione cambiaria.
  33. Se inserimento tc allora il Tanny invia ad un base commercial gli estremi della transazione cambiaria.
  34. Se ricevimento aut allora il Tanny invia alla banca centrale gli estremi della transazione cambiaria.
  35. Se inserimento tc allora il base family invia ad un Tanny gli estremi della transazione cambiaria.
  36. Se inserimento tc allora il base family invia ad un base family gli estremi della transazione cambiaria.
  37. Se inserimento tc allora il base family invia ad un base commercial gli estremi della transazione cambiaria.
  38. Se ricevimento aut allora il base family invia alla banca centrale gli estremi della transazione cambiaria.
  39. Se inserimento tc allora il base commercial invia ad un base family gli estremi della transazione cambiaria.
  40. Se inserimento tc allora il base commercial invia ad un base commercial gli estremi della transazione cambiaria.
  41. Se inserimento tc allora il base commercial invia ad un Tanny gli estremi della transazione cambiaria.
  42. Se ricevimento aut allora il base commercial invia alla banca centrale gli estremi della transazione cambiaria.
  43. Ogni correntista e' dotato di un base family.
  44. Ogni correntista e' dotato di almeno un conto corrente.
  45. Un correntista e' dotato di un base commercial.
  46. Ad ogni conto corrente corrisponde un portafoglio cambiario.
  47. Ogni correntista e' dotato di almeno un Tanny.
  48. Ogni conto ha un codice alfanumerico.
  49. Ogni estremo di transazione elettronica ha mittente, beneficiario, importo, causale, livello di anonimato.
  50. Ogni estremo di transazione cambiaria e' costituita da mittente, beneficiario, importo, causale, scadenza, livello di anonimato minimo.
  51. La girata e' un tipo di estremi di transazione cambiaria.
  52. Ogni girata ha il numero progressivo della cambiale.
  53. Ogni cellula abitativa e' fornita di un base family.
  54. Ogni esercizio pubblico e' fornito di un base commercial.
  55. Il base commercial e' dotato di un interfaccia ricettiva.
  56. Il tanny imposta il livello di anonimato.
  57. Il beneficiario conosce l'importo.
  58. Il beneficiario conosce la causale.
  59. La tannycard e' dotata di un'intbase.
  60. Il Tanny e' dotato di un'intbase.
  61. Il correntista acquista la tannycard.
  62. La banca centrale calcola il esito della transazione elettronica usando gli estremi della transazione elettronica.
  63. La banca centrale ricava la girata usando gli estremi della transazione cambiaria.
  64. La banca centrale ricava la girata usando il numero progressivo della cambiale.
  65. La banca centrale ricava il portafoglio cambiario usando la girata.
  66. Se richiesta cc allora la banca centrale invia il conto corrente a un Tanny.
  67. Se richiesta cc allora la banca centrale invia il conto corrente al base family.
  68. Se richiesta cc allora la banca centrale invia il conto corrente al base commercial.
  69. Se richiesta pc allora la banca centrale invia il portafoglio cambiario a un tanny.
  70. Se richiesta pc allora la banca centrale invia il portafoglio cambiario al base family.
  71. Se richiesta pc allora la banca centrale invia il portafoglio cambiario al base commercial.
  72. Se ricevimento cc allora il tanny visualizza il conto corrente al correntista.
  73. Se ricevimento cc allora il base family visualizza il conto corrente al correntista.
  74. Se ricevimento cc allora il base commercial visualizza il conto corrente al correntista.
  75. Se ricevimento pc allora il tanny visualizza il portafoglio cambiario al correntista.
  76. Se ricevimento pc allora il base family visualizza il portafoglio cambiario al correntista.
  77. Se ricevimento pc allora il base commercial visualizza il portafoglio cambiario al correntista.
  78. Se ricevimento esito allora il tanny visualizza il esito della transazione elettronica al correntista.
  79. Se ricevimento esito allora il base family visualizza il esito della transazione elettronica al correntista.
  80. Se ricevimento esito allora il base commercial visualizza il esito della transazione elettronica al correntista.
  81. Se inserimento te allora il Tanny acquisisce gli estremi della transazione elettronica dal correntista.
  82. Se inserimento te allora il base family acquisisce gli estremi della transazione elettronica dal correntista.
  83. Se inserimento te allora il base commercial acquisisce gli estremi della transazione elettronica dal correntista.
  84. Se inserimento tc allora il Tanny acquisisce gli estremi della transazione cambiaria dal correntista.
  85. Se inserimento tc allora il base family acquisisce gli estremi della transazione cambiaria dal correntista.
  86. Se inserimento tc allora il base commercial acquisisce gli estremi della transazione cambiaria dal correntista.
  87. Se inserimento aut allora il Tanny acquisisce la autentifica dal correntista.
  88. Se inserimento aut allora il base family acquisisce la autentifica dal correntista.
  89. Se inserimento aut allora il base commercial acquisisce la autentifica dal correntista.
  90. La banca centrale calcola il numero progressivo usando gli estremi della transazione cambiaria.
  91. La banca centrale e' collegata a Tanny.
  92. La banca centrale e' collegata a base family.
  93. La banca centrale e' collegata a base commercial.
  94. La banca centrale e' dotata di conto correnti.
  95. Il Tanny e' collegato a un Tanny.
  96. Il Tanny e' collegato a un base family.
  97. Il Tanny e' collegato a un base commercial.
  98. Il Tanny e' collegato a banca centrale.
  99. Il base family e' collegato a un Tanny.
  100. Il base family e' collegato a un base family.
  101. Il base family e' collegato a un base commercial.
  102. Il base family e' collegato a banca centrale.
  103. Il base commercial e' collegato a un Tanny.
  104. Il base commercial e' collegato a un base family.
  105. Il base commercial e' collegato a un base commercial.
  106. Il base commercial e' collegato a banca centrale.
  107. Il base commercial e' collegato a tannycard.
  108. La tannycard e' collegato a banca centrale.
  109. Se ricevimento ok allora il base commercial invia la autentificazione a tanny.
  110. Se ricevimento tc allora il Tanny invia ad un Tanny la richiesta autentificazione.
  111. Se ricevimento tc allora il Tanny invia ad un base family la richiesta autentificazione.
  112. Se ricevimento tc allora il Tanny invia al base commercial la richiesta autentificazione.
  113. Se ricevimento tc allora il base family invia ad un Tanny la richiesta autentificazione.
  114. Se ricevimento tc allora il base family invia ad un base commercial la richiesta autentificazione.
  115. Se ricevimento tc allora il base family invia ad un base family la richiesta autentificazione.
  116. Se ricevimento tc allora il base commercial invia ad un tanny la richiesta autentificazione.
  117. Se ricevimento tc allora il base commercial invia ad un base family la richiesta autentificazione.
  118. Se ricevimento tc allora il base commercial invia ad un base commercial la richiesta autentificazione.
  119. Il Tanny elabora la richiesta autentificazione usando estremi di transazione elettronica.
  120. Il Base family elabora la richiesta autentificazione usando estremi di transazione elettronica.
  121. Il Base commercial elabora la richiesta autentificazione usando estremi di transazione elettronica.
  122. Il Tanny elabora la richiesta autentificazione usando estremi di transazione cambiaria.
  123. Il Base family elabora la richiesta autentificazione usando estremi di transazione cambiaria.
  124. Il Base commercial elabora la richiesta autentificazione usando estremi di transazione cambiaria.
  125. Il bnx elabora l'archivio delle transazioni usando estremi di transazione elettronica.
  126. Se inserimento tc allora il bnx elabora l'archivio delle transazioni usando estremi di transazione cambiaria.
  127. Se richiesta motivata allora il bnx invia l' archivio delle transazioni al correntista .

back

prologo
Gradalis Italicus
Versione 1.2
15/5/97