Contraintes

2. •
•
•
•
•
•

3. •
•
•
•
•
•

4. •
•
•
•
×
≤ ≤
≥

9. •
•
•
•
•
•
≥
≥

10. context c : Compte
inv : c.banque.clients -> includes(c.propriétaire)
context b : Banque
inv : b.clients -> forAll(cl |
cl.comptes -> select(c | c.banque = b) -> size() >= 1)
context v : Virement
inv : v.orig.devise = v.dest.devise