PowerAMC fournit des vérifications par défaut afin de contrôler la validité des attributs de classe et d'interface.
| Vérification | Description et correction | 
|---|---|
| Le nom/code contient des termes qui ne figurent pas dans le glossaire | [si le glossaire est activé] Les noms et les codes ne doivent contenir que des termes approuvés tirés du glossaire. 
 | 
| Le nom/code contient des synonymes de termes de glossaire | [si le glossaire est activé] Les noms et les codes ne doivent pas contenir de synonymes de termes de glossaire. 
 | 
| Unicité du nom/code | Les noms d'objet doivent être uniques dans l'espace de noms. 
 | 
| Détection d'incohérences entre les paramètres de contrôle | Les valeurs spécifiées dans l'onglet Paramètres de contrôle ne sont pas cohérentes pour les types de données numériques et de chaîne : la valeur de défaut n'est pas compatible avec les valeurs minimum et maximum, elle n'appartient pas à la liste des valeurs spécifiée ou bien la valeur minimale est supérieure à la valeur maximale. Les paramètres de contrôle doivent avoir été définis de façon cohérente. 
 | 
| Affectation d'un type de données | Le type de données d'un attribut doit être défini. En outre, un attribut ne doit pas être VOID. 
 | 
| Valeur initiale pour un attribut final | L'attribut final d'un classificateur doit être initialisé. 
 | 
| Divergence vis-à-vis du domaine | Une définition d'attribut n'est pas conforme à la définition du domaine qui lui est attaché. 
 Pour plus d'informations sur les divergences vis-à-vis des domaines, voir Définition des options de modèle de MOO. | 
| Type de données de paramètre d'événement | [VB 2005] Un attribut d'interface ayant un stéréotype Event doit avoir un délégué comme type de données. 
 |