Vous pouvez implémenter les indicateurs d'assertion dans l'éditeur de type d'assertion ou via l'onglet relatif au contrat énonçant les règles.
Pour plus d'informations, voir Utilisation de l'éditeur de type d'assertion.
Les indicateurs d'assertions suivants sont pris en charge.
- Verrouillée : Si une assertion est verrouillée pour une cible de règle donnée, elle ne peut pas être personnalisée à un niveau cible inférieur.
- Visible : Si une assertion est identifiée comme étant visible, elle sera affichée lors de la personnalisation que l'utilisateur soit habileté à la modifier ou non.
- Requise : Si une assertion est identifiée comme requise pendant la sélection de noeud final, tout noeud final ne correspondant pas à l'assertion sera automatiquement éliminé. Cet indicateur n'est valable que pour les assertions de noeud final.
- Remplir à partir du contexte : Si une assertion doit être remplie à partir du contexte, elle est automatiquement incluse dans le contexte d'appel. Cet indicateur demande au système de renseigner les propriétés activées d'une assertion depuis le contexte lors de l'exécution. La sélection d'indicateur d'assertion Remplir à partir du contexte ne s'affiche que si l'assertion possède plus d'une propriété et n'est valable que pour les assertions basées sur le contenu pouvant être ajoutées à une règle.
Navigation
Accéder à l'éditeur de Règle/Editeur puis à l'onglet Assertions en bas du plan de travail.