344
Chapitre 17 • Expression abstraite d’un modèle
Figure 17.5 - Graphe de dépendance du modèle 17.3
Rien n’interdit qu’un résultat intervienne dans le calcul d’autres résultats (cf.
modèle 17.1 par exemple). D’autre part, certains nœuds intermédiaires peuvent être
considérés comme dignes d’intérêt, par exemple pour surveiller le comportement
interne d’un modèle complexe (figure 17.6). Ces grandeurs, qui seront visibles dans
la feuille de calcul, sont à considérer comme des résultats.
Figure 17.6 - Les résultats ne sont pas toujours des nœuds terminaux
Comme on le verra dans la section 17.11, cette présentation synthétique des règles
montre aussi clairement d’autres propriétés d’un modèle, telles que l’existence de
relations récursives. Celles-ci définissent dans le graphe un circuit, c’est-à-dire une
suite d’arcs tels qu’en les suivant dans le sens des flèches, il est possible de retrouver
le point de départ. Un tel circuit indique que chacune de ses grandeurs est définie,
Données
A
Résultats
C,E
Grandeurs internes
B,D
Règles
B = f(A)
C = g(B)
D = h(C)
E = k(D)
NIVEAU
ANCIENNETE
PRIMES
INDEX
BRUT
NET-IMPOSABLE
COTISATION-SOCIALE
RETENUE-FISCALE
NET-PAYE