2.5 Etude de cas
Dans cette section, nous présentons un exemple pour bien
illustrer nos propos, il s'agit d'une application de `Système Bancaire
(BANK) » décrit par J-R Abrial [4].
page 37
2.5 Etude de cas
2.5.1 Présentation informelle
La fonction de ce système « Système
Bancaire » est de modéliser le comportement d'un Bank. Un Bank
gère des comptes pour des personnes. On va développer le
modèle simple d'un Bank où les gens (clients de la banque)
peuvent ouvrir ou fermer un compte et faire un dépôt ou retirer de
l'argent sur leur compte, aussi peuvent transférer et économiser
d'argent entre les comptes.
On pourrait définir deux classes CLIENTS et ACCOUNTS.
Chacun de ces comptes doit être connecté à un seul client.
Les personnes peuvent devenir des clients des Bank, puis ouvrir successivement
un ou plusieurs comptes. On pourrait définir aussi un type
énuméré « KIND » qui contient deux
littéraux définissant les type d'un compte bancaire qui peut
être un compte normal ou bien compte Savings « normal et Savings
».
2.5.2 Spécification du système bancaire en
ECore
FIGURE 2.12 - Modèle ECore d'un Bank
Les deux figures Figure 2.12 et Figure 2.13 representent le
modèle Ecore d'un Système bancaire"Bank".
page 38
2.6 Conclusion
FIGURE 2.13 - Modèle ECore d'un Bank
validé
| 
