Vérifications des opérations

Unicité du nom et du code d'opération

Les noms et code d'opération doivent être uniques dans le même espace de nom.

Correction manuelle : Modifiez le nom en double.

Correction automatique : Ajoute un numéro au nom en double.

Existence d'action

Une opération devrait comporter au moins une action.

Correction manuelle : Ajoutez une action à l'opération.

Correction automatique : Aucune.

Existence de règle d'émission dans un diagramme conceptuel

Une opération devrait comporter au moins une règle d'émission.

Correction manuelle : Ajoutez une règle d'émission à l'opération.

Correction automatique : Aucune.

Existence de déclenchement d'opération

Une opération devrait déclencher au moins un événement au moyen d'un déclenchement d'opération.

Correction manuelle : Ajoutez un déclenchement d'opération à l'opération

Correction automatique : Aucune

Existence d'émission d'opération

Une opération devrait émettre au moins un événement au moyen d'une émission d'opération.

Correction manuelle : Ajoutez une émission d'opération à l'opération.

Correction automatique : Aucune.

Règle d'émission unique dans un diagramme conceptuel

Une opération devrait comporter plus d'une règle d'émission puisque c'est une condition sous laquelle des événements sont produits par une opération.

Correction manuelle : Ajoutez une règle d'émission supplémentaire à l'opération.

Correction automatique : Supprime la règle unique.