Vérifications des actions d'état

Chapter 8 Gestion des Modèles Orientés Objet

Lors de la vérification d'un MOO, les contrôles suivants sont effectués sur les actions :

Vérification	Description et correction
Unicité du nom et du code d'action	Les noms et code d'action 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 déclencheur non spécifié	Vous devez spécifier un événement déclencheur pour chaque action portant sur un état. Cet événement déclencheur indique si l'action est exécutée. Remarquez que cette vérification ne s'applique pas aux actions définies sur les transitions car ces dernières sont dotées d'un événement implicite correspondance à la fin de l'exécution des actions internes (de l'état source). Correction manuelle : Spécifiez un événement déclencheur dans la feuille de propriétés de l'action Correction automatique : Aucune
Occurrence dupliquée	Deux actions distinctes d'un même état ne doivent pas se produire simultanément. L'occurrence d'une action est définie par la combinaison d'un événement déclencheur et d'une condition. Correction manuelle : Changez l'événement déclencheur ou la condition de l'action Correction automatique : Aucune