Lors de la vérification d'un MOO, les contrôles suivants sont effectués sur les décisions :
|
Vérification |
Description et correction |
|---|---|
|
Unicité du nom et du code d'une décision |
Les noms et codes de décision doivent être uniques dans l'espace de noms (modèle ou package). Correction manuelle : Modifiez le nom/code en double Correction automatique : Ajoute un numéro au nom/code en double |
|
Décision incomplète |
Une décision représente une branche conditionnelle dans laquelle une transition entrante unique est scindée en plusieurs transitions sortantes, ou représente une fusion lorsque plusieurs transitions entrantes sont fusionnées en une transition sortante unique. Une décision doit donc comporter plusieurs transitions entrantes ou plusieurs transitions sortantes. Correction manuelle : Ajoutez les transitions manquantes sur la décision Correction automatique : Aucune |