Chapter 8 Gestion des Modèles Orientés Objet


Vérifications des décisions

Lors de la vérification d'un MOO, les contrôles suivants sont effectués sur les décisions :

Vérification Description et correction
Unicité du nom et du code d'une décision Les noms et codes de décision doivent être uniques dans l'espace de noms (modèle ou package).

Correction manuelle : Modifiez le nom/code en double

Correction automatique : Ajoute un numéro au nom/code en double
Décision incomplète Une décision représente une branche conditionnelle dans laquelle une transition entrante unique est scindée en plusieurs transitions sortantes, ou représente une fusion lorsque plusieurs transitions entrantes sont fusionnées en une transition sortante unique. Une décision doit donc comporter plusieurs transitions entrantes ou plusieurs transitions sortantes.

Correction manuelle : Ajoutez les transitions manquantes sur la décision

Correction automatique : Aucune

 


Copyright (C) 2008. Sybase Inc. All rights reserved.