Vérifications des opérations

PowerAMC fournit des vérifications de modèle par défaut afin de contrôler la validité des opérations.

Vérification	Description et correction
Unicité du nom/code	Les noms d'objet doivent être uniques dans l'espace de noms. Correction manuelle - Modifiez le nom ou code en double. Correction automatique - Ajoute un numéro au nom ou code 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.