| Pré. | Proc. |
Référence des règles
Modèle Validation fonctionne en appliquant un ensemble de règles de validation à l' object sélectionné. Ces règles sont organisées en groupes.
Groupes de règles
Groupe |
Description |
Voir également |
|---|---|---|
|
Bien formé |
Le validateur applique ces règles pour vérifier si un élément, une fonctionnalité de relation, un diagramme est bien formé ou non ; par exemple, si l' object est un élément UML valide ou si un diagramme contient des éléments valides. Comme expliqué dans Format des messages d'erreur , ces règles génèrent des messages avec les codes :
|
Bien formé |
|
Composition des éléments |
Le validateur applique ces règles pour vérifier si un élément UML contient ou non des enfants valides, s'il contient le bon nombre d'enfants valides et s'il manque ou non à l'élément des enfants requis. Ces règles génèrent des messages avec le code :
|
Composition des éléments |
|
Validité de la propriété |
Le validateur applique ces règles pour vérifier si l'élément, la fonctionnalité de relation ou la fonctionnalité de relation a les bonnes propriétés UML définies, et si les propriétés contiennent des valeurs incorrectes ou en conflit. Ces règles génèrent des messages avec les codes :
|
Validité de la propriété |
|
Propriétés personnalisées |
Le validateur applique ces règles pour vérifier un élément, une relation ou une fonctionnalité par rapport à toute contrainte définie dans OCL. Ces règles génèrent des messages avec les codes :
|
Conformité OCL |
Format des messages d'erreur
Lorsque vous effectuez une validation, toutes les violations des règles sont répertoriées dans la fenêtre Sortie système. Chaque violation a un ID de violation au format :
MVRxxnnnn
- MVR signifie Modèle Validation Rule
- xx est un nombre hexadécimal correspondant à la position de la règle de validation dans la boîte de dialogue ' Modèle Validation Configuration', indiquant ainsi quelle règle est appliquée et violée
- nnnn est le numéro du message de violation
- Les messages avec l' ID MVR01nnnn indiquent que la case « Élément : bien formé » est cochée et qu'une violation de cette règle a été détectée
- Les messages avec l' ID MVR0Annnn indiquent que la case à cocher ' Fonctionnalité : Conformité OCL' (10ème dans l'ordre sur le dialogue , ou Ath en hexadécimal) est cochée et qu'une violation de cette règle a été détectée