366
Chapitre 18 • Conception d’un modèle
Règles
NET_PAYE T = NET_IMPOSABLE T - RETENUE_FISCALE T
TOTAL_RETENUE = Σ T RETENUE_FISCALE T
TOTAL_COTISATION = Σ T COTISATION_SOCIALE T
Nous ne pouvons encore souligner aucune grandeur en partie droite des règles.
Cherchons à expliquer chacune des grandeurs internes. Le montant net imposable
est le montant brut diminué de la cotisation sociale. La retenue fiscale est une fonction du net imposable (cette fonction peut être exprimée par une table de paliers de
revenus et une règle proportionnelle entre deux paliers, ou encore par une formule
de calcul); nous cacherons cette fonction sous la forme du sous-modèle
calcul_RETENUE.
Nous mettons ainsi en évidence deux nouvelles grandeurs : le montant brut
(BRUT) et le niveau (NIVEAU). Il apparaît rapidement que ce dernier est une
donnée qui n’avait pas été repérée initialement et que le premier est une grandeur
calculable (donc interne). En outre, nous soulignons, à titre de contrôle, les grandeurs en partie droite qui sont soit des données, soit des grandeurs expliquées
jusqu’ici. Nous en sommes dès lors au point suivant :
Modèle TRAITEMENT
Données
T = t 1 ..t n : entier (mois)
; mois de la période pour laquelle on considère le calcul
ANCIENNETE T : entier (année) ; ancienneté de l’employé au mois T
PRIMES T : entier (F)
; primes auxquelles l’employé a droit au
mois T
INDEX T : réel
; index du mois T
NIVEAU T : entier
; niveau de l’employé au mois T
Résultats
NET_PAYE T : entier (F)
; traitement net payé à l’employé le mois T
TOTAL_RETENUE : entier (F)
; total des retenues fiscales pour la période
TOTAL_COTISATION : entier (F) ; total des cotisations sociales pour la
période
Grandeurs internes
NET_IMPOSABLE T : entier (F)
; montant net imposable de l’employé au
mois T
RETENUE_FISCALE T : entier (F) ; retenue fiscale imposée à l’employé au
mois T
COTISATION_SOCIALE T : entier (F) ; retenue de cotisation sociale de
l’employé au mois T
BRUT T : entier (F)
; traitement brut de l’employé au mois T
Règles
NET_PAYE T = NET IMPOSABLE T - RETENUE FISCALE T
TOTAL_RETENUE = Σ T RETENUE FISCALE T
TOTAL_COTISATION = Σ T COTISATION SOCIALE T
Chapitre 18 • Conception d’un modèle
Règles
NET_PAYE T = NET_IMPOSABLE T - RETENUE_FISCALE T
TOTAL_RETENUE = Σ T RETENUE_FISCALE T
TOTAL_COTISATION = Σ T COTISATION_SOCIALE T
Nous ne pouvons encore souligner aucune grandeur en partie droite des règles.
Cherchons à expliquer chacune des grandeurs internes. Le montant net imposable
est le montant brut diminué de la cotisation sociale. La retenue fiscale est une fonction du net imposable (cette fonction peut être exprimée par une table de paliers de
revenus et une règle proportionnelle entre deux paliers, ou encore par une formule
de calcul); nous cacherons cette fonction sous la forme du sous-modèle
calcul_RETENUE.
Nous mettons ainsi en évidence deux nouvelles grandeurs : le montant brut
(BRUT) et le niveau (NIVEAU). Il apparaît rapidement que ce dernier est une
donnée qui n’avait pas été repérée initialement et que le premier est une grandeur
calculable (donc interne). En outre, nous soulignons, à titre de contrôle, les grandeurs en partie droite qui sont soit des données, soit des grandeurs expliquées
jusqu’ici. Nous en sommes dès lors au point suivant :
Modèle TRAITEMENT
Données
T = t 1 ..t n : entier (mois)
; mois de la période pour laquelle on considère le calcul
ANCIENNETE T : entier (année) ; ancienneté de l’employé au mois T
PRIMES T : entier (F)
; primes auxquelles l’employé a droit au
mois T
INDEX T : réel
; index du mois T
NIVEAU T : entier
; niveau de l’employé au mois T
Résultats
NET_PAYE T : entier (F)
; traitement net payé à l’employé le mois T
TOTAL_RETENUE : entier (F)
; total des retenues fiscales pour la période
TOTAL_COTISATION : entier (F) ; total des cotisations sociales pour la
période
Grandeurs internes
NET_IMPOSABLE T : entier (F)
; montant net imposable de l’employé au
mois T
RETENUE_FISCALE T : entier (F) ; retenue fiscale imposée à l’employé au
mois T
COTISATION_SOCIALE T : entier (F) ; retenue de cotisation sociale de
l’employé au mois T
BRUT T : entier (F)
; traitement brut de l’employé au mois T
Règles
NET_PAYE T = NET IMPOSABLE T - RETENUE FISCALE T
TOTAL_RETENUE = Σ T RETENUE FISCALE T
TOTAL_COTISATION = Σ T COTISATION SOCIALE T