Chapitre 17
1 7
Expression abstraite d’un modèle
On propose un formalisme d’expression de modèles de calcul indépendant des outils de résolution. On y développe les notions de modèle, de
grandeur, de règle de définition. On décrit les grandeurs à définition
multiple, les grandeurs et modèles simples et dimensionnés, les fonctions agrégatives et les modèles basés sur la récurrence. On présente la
notion de graphe de dépendance et celle de modularisation.
17.1 INTRODUCTION
Alors que le domaine des bases de données a fait depuis plus de trois décennies
l’objet de développements importants sur le plan méthodologique, rien, ou presque,
n’existe en ce qui concerne les modèles de calcul, si ce n’est sur le plan des publications scientifiques. On pourrait citer les formalismes d’expression abstraite proposés
dans [Geoffrion, 1987], [Blanning, 1987] ou [Lazimi, 1988], mais ces propositions
n’ont pas acquis la popularité du modèle Entité-Association par exemple.
Les concepts que nous allons développer reprennent, en les dégageant du contexte
des outils qui les mettent en œuvre, en les simplifiant et en les généralisant, les principaux objets et structures disponibles dans les tableurs, notamment dans leurs
versions les plus récentes. Qu’on nous comprenne bien cependant, il ne s’agit pas de
proposer des notions qui couvrent dans les moindres détails toutes les fonctionnalités de tous les tableurs présents et à venir. Il en résulterait un formalisme complexe
et très certainement incohérent et redondant, c’est-à-dire incompatible avec nos
objectifs de simplicité et de généralité.