| Pré. | Proc. |
Bien-formé
Les règles de bonne formation permettent de vérifier si un élément, une relation, fonctionnalité ou diagramme est bien formé. Par exemple, elles permettent de vérifier si l'élément cible est un élément UML valide ou si un diagramme contient des éléments valides.
Violations signalées
ID de violation |
Description |
Voir aussi |
|---|---|---|
|
MVR010001 |
« Element » 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 « Élément de départ » --> « Élément de fin » Erreur : la relation entre les éléments de début et de fin donnés n'est pas valide pour ces éléments. |
|
|
MVR050003 |
« Élément parent » : isLeaf=true et ne peut pas être généralisé par « Élément enfant » 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 |
« Élément enfant » : isRoot=true et ne peut pas généraliser « Élément parent » 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 un élément racine. |
|
|
MVR050005 |
« L'élément » ne peut pas se généraliser lui-même Erreur : l’élément ne peut pas être auto-généralisé. |
|
|
MVR050006 |
Le connecteur d'imbrication ne correspond pas à l'imbrication dans Navigateur Avertissement : l’élément source du connecteur imbriqué n’est pas imbriqué sous l’élément cible dans l’arborescence du projet. |
|
|
MVR0B0001 |
Violation du diagramme d'états : « informations étendues » Erreur : le diagramme State contient une violation UML ; les « informations étendues » fournissent plus de détails sur la violation spécifique. |
|
|
MVR0C0001 |
Violation Séquence : « informations étendues » Erreur : Le diagramme Séquence 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 dialogue « Propriétés des messages » - et signalera une violation si l'opération n'appartient pas à 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. |