Abstract FR:

Le controle de la coherence et faisabilite est devenu une preoccupation essentielle pour les developpeurs de systemes de c. A. O. , car les concepteurs et les utilisateurs ont besoins d'outils pour verifier la validite de leur conception. Nous supposons qu'une large partie de ce controle est integree dans les modeles techniques. Cependant, plus particulierement lors de l'etude des phases precoces de conception il s'avere indispensable d'identifier les causes des dysfonctionnements. Apres une analyse des differents types d'anomalie que nous pouvons rencontrer durant le processus de conception pouvant conduire a des incoherences ou des non faisabilites d'un projet, nous avons deduit les methodes appropriees pour informer les utilisateurs a bon escient. Elles sont generalement basees sur des verifications automatiques et transparentes avec des possibilites de report de declenchement des controles. La mise en uvre experimentale des controles est basee sur une representation orientee objet. Ainsi le controle de coherence et faisabilite est obtenu par l'ajustement des definitions des objets en rajoutant des regles et des reflexes attaches aux attributs. Le mode de fonctionnement de ces deux concepts correspond parfaitement aux qualites recherchees, a savoir transparence et automatisme. Ce travail a consiste dans une premiere phase a mieux situer le probleme de coherence et faisabilite dans un projet batiment et a en delimiter le champ d'action. Dans la phase suivante une analyse detaillee a permis de mettre en evidence les sources de dysfonctionnement en rapport avec les approches de traitement envisageable, afin de definir la part relevant d'un module specifique. Cette investigation a aboutit sur une structuration generale des controles, validee par la suite dans le cadre du prototype du systeme de c. A. O. Multitechnique conceptor