18.3 La démarche
369
© Dunod – La photocopie non autorisée est un délit.
a) Complétude
Le modèle est-il complet? Chaque grandeur a-t-elle un type, une unité, un commentaire explicatif?
b) Élimination de la redondance 4
En principe, une grandeur exprime un concept pertinent du domaine d’application.
D’autre part, chaque concept pertinent doit être représenté une et une seule fois. On
vérifiera qu’il en est ainsi, non seulement par l’examen de la liste des grandeurs,
mais aussi par la comparaison des définitions.
• Deux grandeurs qui ont la même expression de définition décrivent peut-être le
même concept; dans ce cas, on élimine l’une d’entre elles.
• Deux grandeurs qui, après remplacement des grandeurs en partie droite par
leur définition, ont la même expression de définition décrivent peut-être le
même concept.
Dans l’exemple ci-dessous, après remplacement de C et D par leur définition,
on observe que les grandeurs E1 et E2 ont la même expression de définition. Il
faut se demander si ces grandeurs n’ont pas la même signification.
C = A + B
D = 2*A - B
E1 = 2*C
E2 = D + 3*B
• Si la définition d’une grandeur inclut celle d’une autre grandeur, il est possible
que cette dernière intervienne dans la définition de la première. Dans ce cas, on
peut simplifier la première définition en y remplaçant la définition de la
seconde grandeur par celle-ci.
Dans l’exemple ci-dessous, on observe que la définition de E1 peut être
retrouvée dans celle de E2.
E1 = 2*A + 1
E2 = 2*B*A + B
On peut se demander si la formulation suivante ne serait pas plus pertinente :
E1 = 2*A + 1
E2 = B*E1
c) Restructuration
Un modèle complexe peut être peu lisible, et par là, difficile à valider, à corriger et à
modifier. On examinera l’opportunité de restructurer le modèle de manière à en
rendre la structure plus simple. En particulier, on recherchera la possibilité d’en
extraire des sous-modèles naturels. D’autre part, on cherchera également à simpli4. Fonction suggérée dans [Hick, 91].
369
© Dunod – La photocopie non autorisée est un délit.
a) Complétude
Le modèle est-il complet? Chaque grandeur a-t-elle un type, une unité, un commentaire explicatif?
b) Élimination de la redondance 4
En principe, une grandeur exprime un concept pertinent du domaine d’application.
D’autre part, chaque concept pertinent doit être représenté une et une seule fois. On
vérifiera qu’il en est ainsi, non seulement par l’examen de la liste des grandeurs,
mais aussi par la comparaison des définitions.
• Deux grandeurs qui ont la même expression de définition décrivent peut-être le
même concept; dans ce cas, on élimine l’une d’entre elles.
• Deux grandeurs qui, après remplacement des grandeurs en partie droite par
leur définition, ont la même expression de définition décrivent peut-être le
même concept.
Dans l’exemple ci-dessous, après remplacement de C et D par leur définition,
on observe que les grandeurs E1 et E2 ont la même expression de définition. Il
faut se demander si ces grandeurs n’ont pas la même signification.
C = A + B
D = 2*A - B
E1 = 2*C
E2 = D + 3*B
• Si la définition d’une grandeur inclut celle d’une autre grandeur, il est possible
que cette dernière intervienne dans la définition de la première. Dans ce cas, on
peut simplifier la première définition en y remplaçant la définition de la
seconde grandeur par celle-ci.
Dans l’exemple ci-dessous, on observe que la définition de E1 peut être
retrouvée dans celle de E2.
E1 = 2*A + 1
E2 = 2*B*A + B
On peut se demander si la formulation suivante ne serait pas plus pertinente :
E1 = 2*A + 1
E2 = B*E1
c) Restructuration
Un modèle complexe peut être peu lisible, et par là, difficile à valider, à corriger et à
modifier. On examinera l’opportunité de restructurer le modèle de manière à en
rendre la structure plus simple. En particulier, on recherchera la possibilité d’en
extraire des sous-modèles naturels. D’autre part, on cherchera également à simpli4. Fonction suggérée dans [Hick, 91].