Réserver une Démo
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 à des contraintes définies 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 dialogue « Propriétés » object .

Pour

Détail

Voir aussi

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 :

  1. Sélectionnez « Conception > Paquetage > Gérer > Outils > Valider > Configurer les règles de validation » et cochez la case « Élément : Conformité (OCL) ».
  2. Cliquez sur l'élément et sélectionnez « Conception > Paquetage > Gérer > Outils > Valider > Valider Paquetage actuel ».
Toutes les violations de syntaxe OCL sont enregistrées dans l'onglet « Validation Modèle » de la fenêtre Sortie système. 		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 :

  1. Sélectionnez « Conception > Paquetage > Gérer > Outils > Valider > Configurer les règles de validation » et cochez la case « Relation : Conformité (OCL) »
  2. Cliquez sur le connecteur et sélectionnez « Conception > Paquetage > Gérer > Outils > Valider > Valider Paquetage actuel »
Toutes les violations de syntaxe OCL sont enregistrées dans l'onglet « Validation Modèle » de la fenêtre Sortie système.

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 :

  1. Sélectionnez « Conception > Paquetage > Gérer > Valider > Configurer les règles de validation » et cochez la case « Fonctionnalité : Conformité (OCL) ».
  2. Cliquez sur l'élément et sélectionnez « Conception > Paquetage > Gérer > Valider > Valider Paquetage actuel ».
Toutes les violations de syntaxe OCL sont enregistrées dans l'onglet « Validation Modèle » de la fenêtre Sortie système.

Violations signalées

ID d'erreur

Description

Voir aussi

MVR040001

Violation de l'OCL : « OCL violé »

Information : la contrainte OCL de l'élément utilise une syntaxe incorrecte.

MVR070001

Violation de l'OCL : « OCL violé »

Information : la contrainte OCL de la relation utilise une syntaxe incorrecte.

MVR0A0001

Violation de l'OCL : « OCL violé »

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

Apprenez Plus

Pré. Proc.