364
Chapitre 18 • Conception d’un modèle
• Cette règle fait appel à des grandeurs qui sont soit déjà connues (données, internes
ou même résultats), soit non encore répertoriées. Dans ce dernier cas, on se pose
la question de savoir si une telle grandeur ne serait pas une donnée non encore
repérée, auquel cas on l’ajoute à leur ensemble. S’il ne s’agit pas d’une donnée,
on ajoute la grandeur à l’ensemble des grandeurs internes.
• Dans tous les cas, on détermine si elle est dimensionnée, on en donne une définition précise en langage courant et on spécifie son type de valeurs et son unité de
mesure éventuelle.
• Cette phase est terminée lorsque toute grandeur soit est une donnée, soit a été
expliquée par une règle.
Suggestion pratique
Dans une règle, on souligne le nom de toute grandeur intervenant en partie droite et
qui est une donnée; en outre, quand on a trouvé une règle définissant une grandeur
interne ou un résultat, on souligne son nom partout où il apparaît en partie droite des
règles déjà définies. La phase est terminée lorsque tous les noms apparaissant en
partie droite sont soulignés et que tous les résultats sont expliqués.
c) Étape 3
• On établit les conditions de validité du modèle en précisant les règles de
contrainte s’appliquant aux données, ainsi qu’à certaines des grandeurs dérivables. On peut ainsi être amené à définir des grandeurs internes, qui seront alors
traitées comme indiqué dans la phase 2.
d) Étape 4
• On élimine les données qui n’ont pas été utilisées dans au moins une règle de
définition ou une contrainte.
Remarque
Dans les phases 2 et 3, il peut être utile de choisir une règle qui est définie non pas
comme une expression explicite de ses arguments, mais comme un sous-modèle
déjà défini ou dont l’élaboration est remise à plus tard. Dans ce cas, la partie gauche
(celle des grandeurs définies ou expliquées) peut être constituée d’une liste de grandeurs correspondant aux résultats du sous-modèle.
e) Traitement d’un exemple
On illustrera le processus de construction progressive par le traitement d’un exemple
déjà utilisé dans le chapitre 17. Nous envisagerons de résoudre le problème du
calcul du traitement d’un employé durant un certain nombre de mois.
La dimension du problème apparaît immédiatement :
les mois de la période considérée,
Les résultats qu’on aimerait obtenir sont :
le traitement net payé chaque mois,
Chapitre 18 • Conception d’un modèle
• Cette règle fait appel à des grandeurs qui sont soit déjà connues (données, internes
ou même résultats), soit non encore répertoriées. Dans ce dernier cas, on se pose
la question de savoir si une telle grandeur ne serait pas une donnée non encore
repérée, auquel cas on l’ajoute à leur ensemble. S’il ne s’agit pas d’une donnée,
on ajoute la grandeur à l’ensemble des grandeurs internes.
• Dans tous les cas, on détermine si elle est dimensionnée, on en donne une définition précise en langage courant et on spécifie son type de valeurs et son unité de
mesure éventuelle.
• Cette phase est terminée lorsque toute grandeur soit est une donnée, soit a été
expliquée par une règle.
Suggestion pratique
Dans une règle, on souligne le nom de toute grandeur intervenant en partie droite et
qui est une donnée; en outre, quand on a trouvé une règle définissant une grandeur
interne ou un résultat, on souligne son nom partout où il apparaît en partie droite des
règles déjà définies. La phase est terminée lorsque tous les noms apparaissant en
partie droite sont soulignés et que tous les résultats sont expliqués.
c) Étape 3
• On établit les conditions de validité du modèle en précisant les règles de
contrainte s’appliquant aux données, ainsi qu’à certaines des grandeurs dérivables. On peut ainsi être amené à définir des grandeurs internes, qui seront alors
traitées comme indiqué dans la phase 2.
d) Étape 4
• On élimine les données qui n’ont pas été utilisées dans au moins une règle de
définition ou une contrainte.
Remarque
Dans les phases 2 et 3, il peut être utile de choisir une règle qui est définie non pas
comme une expression explicite de ses arguments, mais comme un sous-modèle
déjà défini ou dont l’élaboration est remise à plus tard. Dans ce cas, la partie gauche
(celle des grandeurs définies ou expliquées) peut être constituée d’une liste de grandeurs correspondant aux résultats du sous-modèle.
e) Traitement d’un exemple
On illustrera le processus de construction progressive par le traitement d’un exemple
déjà utilisé dans le chapitre 17. Nous envisagerons de résoudre le problème du
calcul du traitement d’un employé durant un certain nombre de mois.
La dimension du problème apparaît immédiatement :
les mois de la période considérée,
Les résultats qu’on aimerait obtenir sont :
le traitement net payé chaque mois,