Onglet Mise en oeuvre de la feuille de propriétés d'une opération

L'onglet Mise en oeuvre permet de modifier le code d'une opération. Cet onglet contient les propriétés suivantes, accessibles via des sous-onglets situés en bas de la feuille de propriétés :

Elément	Description
Corps	Code de la mise en oeuvre.
Exceptions	Signal émis en réponse à une erreur de comportement lors de l'exécution du système.
Pré-condition	Contrainte qui doit être vérifiée lorsqu'une opération est appelée.
Post-condition	Contrainte qui doit être vérifiée à la fin d'une opération.
Spécification	Similaire à un pseudo code, il s'agit de la description d'une séquence normale d'actions.

Vous pouvez utiliser l'outil suivant présent sur la barre d'outils de l'onglet Mise en oeuvre lorsque l'onglet Exceptions est actif :

Outil	Description
	Outil Ajouter une exception. Affiche une fenêtre qui permet de sélectionner un classificateur d'exception à ajouter. Ce dernier est ensuite ajouté à l'emplacement du curseur.