Lors de la vérification d'un MOO, les contrôles suivants sont effectués sur les synchronisations :
|
Vérification |
Description et correction |
|---|---|
|
Unicité du nom et code d'une synchronisation |
Les noms et codes de synchronisation 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 |
|
Synchronisation incomplète |
Une synchronisation représente un embranchement dans lequel une transition entrante unique est scindée en plusieurs transitions sortantes exécutées en parallèle, ou bien la jonction de plusieurs transitions entrantes qui se rejoignent et attendent que toutes aient atteint le point de jonction avant de poursuivre sous forme d'une seule transition sortante. Une synchronisation doit donc comporter plusieurs transitions entrantes ou bien plusieurs transitions sortantes. Correction manuelle : Ajoutez les transitions manquantes à la synchronisation Correction automatique : Aucune |