Pré. | Proc. |
Conformité OCL
Les règles de conformité OCL sont appliquées pour valider un élément, une relation ou un attribut par rapport à toute contrainte définie dans le langage OCL ( Object Constraint Language). OCL est utilisé pour décrire des expressions sur des modèles UML et pour exprimer des contraintes sans effets secondaires. Vous pouvez ajouter des contraintes OCL à n'importe quel élément, relation ou attribut dans Enterprise Architect .
Définir les contraintes OCL
Vous pouvez ajouter une contrainte OCL à un object modèle en définissant OCL comme type de contrainte dans la boîte de dialogue ' Propriétés ' de l' object .
Pour |
Détail |
Voir également |
---|---|---|
Un élément |
Cliquez-droit sur l'élément et sélectionnez ' Propriétés | Propriétés Dialogue '. Cliquez sur la page 'Contraintes' ; dans le champ ' Type ' cliquez sur la flèche déroulante et sélectionnez OCL. Pour effectuer une validation OCL :
|
Configurer la validation Modèle Validation Modèle |
Une relation |
Sur un diagramme , cliquez-droit sur le connecteur et sélectionnez l'option ' Propriétés ' ; sélectionnez la page 'Contraintes', et dans le champ ' Type ' cliquez sur la flèche déroulante et sélectionnez 'OCL'. Pour effectuer une validation OCL :
|
|
Un attribut |
Cliquez-droit sur l'élément et sélectionnez ' Attributes | Contraintes'; dans le champ ' Type ', cliquez sur la flèche déroulante et sélectionnez 'OCL'. Pour effectuer une validation OCL :
|
Infractions signalées
ID d'erreur |
Description |
Voir également |
---|---|---|
MVR040001 |
Violation OCL : "violation OCL" Information : La contrainte OCL de l'élément utilise une syntaxe incorrecte. |
|
MVR070001 |
Violation OCL : "violation OCL" Information : La contrainte OCL de la relation utilise une syntaxe incorrecte. |
|
MVR0A0001 |
Violation OCL : "violation OCL" Information : La contrainte OCL de l'attribut utilise une syntaxe incorrecte. |
Notes
- Pour avoir une contrainte OCL valide, la syntaxe doit être correctement formée ; si l'expression n'est pas correcte, un message s'affiche indiquant que la contrainte OCL n'est pas valide