360
Chapitre 17 • Expression abstraite d’un modèle
que le sous-modèle évalue pour le compte du modèle qui l’invoque. Le nom de
ces grandeurs est local et indépendant des noms des grandeurs du modèle
invoquant.
• Elle comporte une section Grandeurs internes, facultative, fonction des besoins
internes du sous-modèle. Ici encore, les noms sont indépendants de ceux du
modèle invoquant.
Figure 17.16 - Sous-modèles et grandeurs dimensionnées
• L’invocation d’un sous-modèle par le modèle invoquant est identique à l’appel
d’une fonction ordinaire. Afin de simplifier le format des règles, l’invocation
d’un sous-modèle de nom M prend l’aspect d’une règle, comme illustré cidessous :
R = M(D1,D2,..,Dn)
Les arguments (données) transmis sont cités dans l’ordre de leur déclaration dans
la section Données du sous-modèle. Les résultats sont assignés à la grandeur R
du modèle invoquant. Si plus d’un résultat est attendu, la liste en est spécifiée de
la manière suivante :
{R1,R2,..,Rm} = M(D1,D2,..,Dn)
L’ordre de citation des résultats en partie gauche de cette règle est celui de leur
déclaration dans la section Résultat du sous-modèle.
• Un sous-modèle peut opérer sur (c’est-à-dire connaît) des grandeurs sans dimension, ou sur des grandeurs dimensionnées. Dans ce dernier cas, la (les) dimension
doit être citée dans la section Données du sous-modèle. Les deux modèles de la
figure17.16 illustrent chacun une de ces situations.
Données
T = t 1 ..t n
D T
Résultats
R
Règles
. . .
R = M1(T,D T )
Modèle M1
Données
I = i 1 ..i m
B I
Résultats
S
Règles
S = Σ I B I
Données
T = t 1 ..t n
D T
Résultats
R T
Règles
. . .
R T = M2(D T )
Modèle M2
Données
B
Résultats
S
Règles
S
B
=