Réserver une Démo

SVP notez : Cette page d’aide n’est pas pour la dernière version d’Enterprise Architect. La dernière aide peut être trouvée ici.

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 :

  1. Sélectionnez 'Conception > Paquetage > Gérer > Outils > Valider > Configurer les règles de validation' et cochez la case 'Elément : (OCL) Conformité'.
  2. Cliquez sur l'élément et sélectionnez 'Conception > Paquetage > Gérer > Outils > Valider > Valider le Paquetage actuel'.
Toutes les violations de syntaxe OCL sont enregistrées dans l'onglet ' Modèle Validation' 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 'Design > Paquetage > Manage > Tools > Validate > Configure Validation Rules' et cochez la case 'Relationship: (OCL) Conformance'
  2. Cliquez sur le connecteur et sélectionnez 'Design > Paquetage > Manage > Tools > Validate > Validate Current Paquetage '
Toutes les violations de syntaxe OCL sont enregistrées dans l'onglet ' Modèle Validation' 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 'Design > Paquetage > Manage > Validate > Configure Validation Rules' et cochez la case ' Fonctionnalité : (OCL) Conformance'.
  2. Cliquez sur l'élément et sélectionnez 'Design > Paquetage > Manage > Validate > Validate Current Paquetage '.
Toutes les violations de syntaxe OCL sont enregistrées dans l'onglet ' Modèle Validation' de la fenêtre Sortie Système.

Infractions signalées

ID erreur

La 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

Apprenez Plus