Réserver une Démo
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:
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 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
Post-condition

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.