Pré. | Proc. |
Contraintes de fonctionnement
Les contraintes définissent le comportement contractuel d'une opération, ce qui doit être vrai avant qu'elles ne soient appelées (pré-conditions) et ce qui est vrai après qu'elles soient appelées (post-conditions). A ce titre elles sont liées au modèle d' State d'une Classe et peuvent également concerner les conditions de garde qui s'appliquent à une transition. Vous pouvez définir à la fois des conditions préalables et postérieures à une opération.
Accéder
Avant d'afficher la boîte de dialogue ' Propriétés ', cliquez sur l'opération souhaitée dans un diagramme ou la fenêtre du Navigateur .
Raccourcis Clavier |
(D'après le diagramme ) Entrée > Pré ou Post (Depuis la fenêtre du 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 consécutives au comportement de fonctionnement.
Option |
Action |
Voir également |
---|---|---|
Condition préalable: |
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 autre explication ou description nécessaire à 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 condition nouvelle ou 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 |
Répertorie les pré-conditions ou les post-conditions qui ont été définies pour cette opération. Cliquez sur un élément de cette liste pour remplir à nouveau les champs de le dialogue avec les détails, pour modifier ou supprimer la condition. |
|
Effacer |
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. |