Lors de la vérification d'un MOO, les contrôles suivants sont effectués sur les points de jonction :
|
Vérification |
Description et correction |
|---|---|
|
Unicité du nom et du code du point de jonction |
Les noms et code de point de jonction 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 |
|
Point de jonction incomplet |
Un point de jonction représente une séparation ou une fusion de chemins de transition. Il doit donc compter au moins une transition entrante et une transition sortante. Correction manuelle : Ajouter les transitions manquantes au point de jonction Correction automatique : Aucune |