PowerAMC fournit des vérifications 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.
|
Existence d'action |
Une opération devrait comporter au moins une action.
|
Existence de règle d'émission dans un diagramme conceptuel |
Une opération devrait comporter au moins une règle d'émission.
|
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.
|
Existence d'émission d'opération |
Une opération devrait émettre au moins un événement au moyen d'une émission d'opération.
|
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.
|