Contraintes opérationnelles

Les contraintes définissent le comportement contractuel d'une opération, ce qui doit être vrai avant qu'elles soient appelées (pré-conditions) et ce qui est vrai après qu'elles soient appelées (post-conditions). À cet égard, elles sont liées au modèle State d'une classe et peuvent également être liées aux conditions de garde qui s'appliquent à une transition. Vous pouvez définir à la fois des pré- et des post-conditions pour une opération.

Accéder

Avant d'afficher la dialogue ' Propriétés ', cliquez sur l'opération souhaitée dans un diagramme ou dans la fenêtre Navigateur .

Raccourcis Clavier

(À partir du diagramme ) Entrez > Pré ou Post

(Depuis la fenêtre Navigateur ) Entrez | Propriétés > Pré ou Post

Définir les contraintes

Les champs et options des onglets « Pré » et « Post » de la fenêtre Propriétés sont identiques. Cliquez sur l'onglet approprié pour définir les conditions préalables et postérieures au comportement de l'opération.

Option	Action	Voir aussi
Condition préalable: Post-condition :	Type le nom ou l’effet de la condition.
Type	Cliquez sur la flèche déroulante et cliquez sur le type de condition approprié.
< notes >	Type toute explication ou description supplémentaire nécessaire pour la condition.
Nouveau	Cliquez sur ce bouton pour effacer les champs afin de définir une autre condition.
Sauvegarder	Cliquez sur ce bouton pour enregistrer la nouvelle condition ou la condition mise à jour et pour ajouter les modifications à la liste « Pré-condition » ou « Post-condition ». Ce bouton efface également les champs de données afin que vous puissiez créer une autre condition.
Condition préalable Post-condition	Répertorie les conditions préalables ou postérieures qui ont été définies pour cette opération. Cliquez sur un élément de cette liste pour remplir à nouveau le dialogue avec les détails, pour modifier ou supprimer la condition.
Supprimer	Cliquez sur un élément dans la liste « Pré-condition » ou « Post-condition » et cliquez sur ce bouton pour supprimer cette condition de l'opération.