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 à 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 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

Apprenez Plus