Chapter 8 Gestion des Modèles Orientés Objet
Lors de la vérification d'un MOO, les contrôles suivants sont effectués sur les transitions et les flux :
| Vérification | Description et correction |
|---|---|
| Transition/flux dépourvu(e) de source ou de destination | La transition ou le flux ne comporte pas de source ou de destination. Sélectionnez ou créez un objet servant de source ou de destination.
Correction manuelle : Affectez une source ou une destination à la transition/au flux Correction automatique : Aucune |
| Condition inutile | S'il n'existe qu'une seule transition sortante ou un seul flux sortant, l'existence d'une condition ou d'un type sur cette transition ou ce flux n'est pas justifiée.
Correction manuelle : Supprimez la condition ou le type de flux inutile ou créez une autre transition avec une autre condition ou type de flux Correction automatique : Aucune |
| Condition manquante | Si un objet a plusieurs transitions/flux sortant(e)s, ou si la transition ou le flux est de type réflexif, chaque transition/flux doit comporter une condition.
Dans un diagramme d'états-transitions, une transition doit comporter un événement ou une condition. Correction manuelle : Définissez une condition sur la transition, ou bien créez une synchronisation pour spécifier une exécution en parallèle Correction automatique : Aucune |
| Transition dupliquée entre états/Flux dupliqué entre activités | Deux transitions parallèles (ayant les mêmes extrémités) ne peuvent se produire simultanément, mais doivent plutôt être gouvernées par des conditions (et, dans le cas des transitions, d'événements déclencheur).
Correction manuelle : Changez l'événement déclencheur (diagramme d'états-transitions uniquement) ou la condition de l'une des transition Correction automatique : Aucune |
| Copyright (C) 2008. Sybase Inc. All rights reserved. |
| |