Lors de la vérification d'un MOO, les contrôles suivants sont effectués sur les événements :
|
Vérification |
Description et correction |
|---|---|
|
Unicité du nom et du code de l'événement |
Les noms et code d'événement 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 |
|
Evénement non utilisé |
Un événement permet de déclencher une action définie sur un état ou sur une transition. Un événement isolé est inutile. Correction manuelle : Supprimez l'événement ou utilisez-le dans une action sur un état ou une transition Correction automatique : Supprime l'événement |