Database Reference
In-Depth Information
●
Un virement se réalise entre 2 comptes distincts.
En considérant les rôles
reçoit
(sur l'association
crediter
du côté de la classe
Compte
) et
donne
(sur l'association
debiter
du côté de la classe
Compte
) :
context
Virement
inv
virements :
Virement.
allInstances
()−>
forAll
(v |
not
(v.donne.id_cpte = m.reçoit.id_cpte))
●
Un virement nécessite un crédit sufisant.
context
Virement
inv
solde_virement :
Virement.
allInstances
()−>
forAll
(v |
(v
.
donne.credit-v
.
donne.debit) >= v.montant)
Exercice 1.11 - La carte d'embarquement
On distingue un vol « catalogue » d'un vol réel par l'existence de 2 classes distinctes. La classe
plus abstraite est identiiée par un numéro de vol et regroupe les caractéristiques qu'on peut
trouver dans un catalogue. Le vol réel est identiié par le numéro de vol et sa date. Un client
peut se trouver dans un vol réel et n'est associé qu'à un seul siège.
Figure A-27.
Carte d'embarquement : vols catalogue