18.5 Cohérence d’un modèle
387
© Dunod – La photocopie non autorisée est un délit.
Règles
SOLDE D = BUDGET D - DEPENSE D
SOLDES = Σ D SOLDE D
RATIO D = SOLDE D / SOLDES
0 ≤ DEPENSE D ≤ BUDGET D
SOLDES > 0
Figure 18.3 - Correction du modèle 18.2 par précondition de surveillance
3. Absorption par définition multiple
Si la première technique n’est pas applicable, il est possible de laisser l’incident se
produire, mais de le contrôler (l’absorber) dans la définition même de la grandeur
menacée. Cette dernière reçoit une définition multiple dans laquelle une branche
assigne une valeur conventionnelle à la grandeur lorsque le domaine de sa fonction
est violé. Reprenons le modèle analysé au début de cette section et décidons que
pour les valeurs de B qui ne sont pas comprises entre 1 et 3, C reçoit la valeur 0 (ou
m, ou absent, ou ...). La définition de B est protégée de la même manière. Le modèle
corrigé se présenterait comme suit.
Donnée
A : réel
Résultats
B : réel
C : réel
Règles
B = 2 +
si A ≥ 1
absent
sinon
C = arcsin(B-2) si 1 ≤ B ≤ 3
0
sinon
Cette technique s’applique particulièrement bien au problème 18.2, qu’on a corrigé
à la figure 18.4 en modifiant la définition des RATIO D de telle sorte que ceux-ci prennent une valeur conventionnelle (par exemple 0) en cas de SOLDES nul.
Données
D : d 1 ..d n
; départements
BUDGET D : entier (F)
; budgets des départements
DEPENSE D : entier (F)
; dépenses des départements
Résultat
SOLDE D : entier (F)
; soldes des départements
SOLDES : entier (F)
; solde général
RATIO D : réel
; ratios des soldes des départements
Règles
SOLDE D = BUDGET D - DEPENSE D
SOLDES = Σ D SOLDE D
A 1
–
387
© Dunod – La photocopie non autorisée est un délit.
Règles
SOLDE D = BUDGET D - DEPENSE D
SOLDES = Σ D SOLDE D
RATIO D = SOLDE D / SOLDES
0 ≤ DEPENSE D ≤ BUDGET D
SOLDES > 0
Figure 18.3 - Correction du modèle 18.2 par précondition de surveillance
3. Absorption par définition multiple
Si la première technique n’est pas applicable, il est possible de laisser l’incident se
produire, mais de le contrôler (l’absorber) dans la définition même de la grandeur
menacée. Cette dernière reçoit une définition multiple dans laquelle une branche
assigne une valeur conventionnelle à la grandeur lorsque le domaine de sa fonction
est violé. Reprenons le modèle analysé au début de cette section et décidons que
pour les valeurs de B qui ne sont pas comprises entre 1 et 3, C reçoit la valeur 0 (ou
m, ou absent, ou ...). La définition de B est protégée de la même manière. Le modèle
corrigé se présenterait comme suit.
Donnée
A : réel
Résultats
B : réel
C : réel
Règles
B = 2 +
si A ≥ 1
absent
sinon
C = arcsin(B-2) si 1 ≤ B ≤ 3
0
sinon
Cette technique s’applique particulièrement bien au problème 18.2, qu’on a corrigé
à la figure 18.4 en modifiant la définition des RATIO D de telle sorte que ceux-ci prennent une valeur conventionnelle (par exemple 0) en cas de SOLDES nul.
Données
D : d 1 ..d n
; départements
BUDGET D : entier (F)
; budgets des départements
DEPENSE D : entier (F)
; dépenses des départements
Résultat
SOLDE D : entier (F)
; soldes des départements
SOLDES : entier (F)
; solde général
RATIO D : réel
; ratios des soldes des départements
Règles
SOLDE D = BUDGET D - DEPENSE D
SOLDES = Σ D SOLDE D
A 1
–