| Pré. | Proc. |
Bien formé
Des règles de bonne formation sont appliquées pour vérifier si un élément, une relation, une fonctionnalité ou un diagramme est bien formé ou non. Par exemple, si l'élément cible est un élément UML valide ou si un diagramme contient des éléments valides.
Infractions signalées
ID de violation |
Description |
Voir également |
|---|---|---|
|
MVR010001 |
« Élément » n'est pas un élément UML valide Erreur : L'élément n'est pas un élément UML 2.5 reconnu. |
|
|
MVR050001 |
«Relation» n'est pas une relation UML valide Erreur : La relation n'est pas une relation UML 2.5 reconnue. |
|
|
MVR050002 |
"Relation" n'est pas légal pour "Start Element" --> "End Element" Erreur : La relation entre les éléments de début et de fin donnés n'est pas valide pour ces éléments. |
|
|
MVR050003 |
« Parent Element » :isLeaf=true et ne peut pas être généralisé par « Child Element » Erreur : La relation de généralisation ne peut pas exister entre les éléments parent et enfant car l'élément parent est défini comme un élément feuille. |
|
|
MVR050004 |
"Child Element":isRoot=true et ne peut pas généraliser "Parent Element" Erreur : La relation de généralisation ne peut pas exister entre les éléments parent et enfant car l'élément enfant est défini comme élément racine. |
|
|
MVR050005 |
« Élément » ne peut pas se généraliser Erreur : L'élément ne peut pas être auto-généralisé. |
|
|
MVR0B0001 |
Violation du Statechart : « informations étendues » Erreur : Le diagramme State contient une violation UML ; «informations étendues» fournit plus de détails sur la violation spécifique. |
|
|
MVR0C0001 |
Séquence de séquence : « informations étendues » Erreur : Le Séquence de diagramme contient une violation, les « informations étendues » fournissent plus de détails sur la violation spécifique. (Cette règle valide les opérations appelées par Messages - telles que sélectionnées dans la liste déroulante de la boîte de dialogue "Messages Propriétés " - et signalera une violation si l'opération n'appartient pas à la Lifeline.) |
|
|
MVR7F0001 |
« Exigence » Non réalisée Erreur : Un élément d'exigence doit se trouver à l'extrémité cible d'un connecteur de réalisation, d'association (y compris l'agrégation et la composition) ou de généralisation. |