| Pré. | Proc. |
Référence aux règles
La validation Modèle 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 aussi |
|---|---|---|
|
Bien-formé |
Le validateur applique ces règles pour vérifier si un élément, une relation, fonctionnalité ou diagramme est bien formé ; 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 si l'élément manque ou non d'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 relation ou fonctionnalité possède ou non les propriétés UML correctes définies et si les propriétés contiennent des valeurs incorrectes ou conflictuelles. 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 fonctionnalité par rapport à toutes les contraintes définies dans OCL. Ces règles génèrent des messages avec les codes :
|
Conformité OCL |
Format du message 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 est associée à 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 dialogue « Configuration de validation Modèle », 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 à cocher « Élément : Bien formé » est sélectionné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 » (10e dans l'ordre dans le dialogue , ou Ath en hexadécimal) est sélectionnée et qu'une violation de cette règle a été détectée