OCL : COMPTE BANCAIRE
OCL (Object Constraint Language) est un langage formel utilisé pour définir et spécifier des contraintes sur les modèles de données orientés objet. Il fournit des expressions de contraintes pour spécifier des conditions qui doivent être satisfaites par les instances d'une classe, ainsi que des opérations et des fonctions pour effectuer des calculs sur les objets. OCL est utilisé dans l'ingénierie logicielle pour valider et vérifier la conformité des modèles de données avec les exigences fonctionnelles et non fonctionnelles.
EXERCICE OCL COMPTE BANCAIRE
Soit le diagramme UML suivant :
Donnez une contrainte OCL qui spécifie :
1. A un objet compte correspond un et un seul objet Personne.
2. La méthode débiter(somme :int), où le paramètre somme doit être positif et nouveau_solde = ancien_solde - somme.
3. Il n'existe pas de clients de la banque dont l'âge est inférieur à 18 ans.
4. L'ensemble des clients de la banque associé à un compte contient le propriétaire de ce compte.
CORRECTION : OCL
Ajouter un commentaire
