Abstract FR:

La thèse présente une méthode d'analyse et de conception orientée objet de systèmes d'information actifs. L'intérêt de notre approche est la mise en œuvre effective du faible couplage des composants logiciels et de la traçabilité, deux éléments qui constituent l'une des réponses de l'approche objet à la «crise logicielle» actuelle. Le faible couplage est réalisé grâce au modèle objet utilisé pour la conception, modèle basé sur une typologie dans laquelle les objets de chaque catégorie sont spécialisés dans un rôle particulier et ont, de ce fait, une visibilité limitée; on distingue les objets passifs des objets actifs, ces derniers étant eux-même classés en émetteurs, agents, objets de veille temporelle ou de veille sur message. La traçabilité est réalisée par: 1) la correspondance univoque entre un phénomène ou une classe de phénomènes du monde réel et un composant logiciel, et 2) la transformation du produit d'une étape en produit d'une étape en produit de l'étape suivante (schéma conceptuel, système d'objets, composants logiciels) selon des règles précises qui permettent un passage quasi-automatique d'une étape à l'autre. Cette transformation est rendue possible par la compatibilité des modèles utilisés aux différentes étapes et par l'utilisation, au cours de l'étape de modélisation conceptuelle, d'un puissant modèle sémantique basé sur les concepts appartenant au modèle E/R étendu et à la méthode Remora; par sa richesse, ce modèle permet d'appréhender le monde réel sous ses multiples aspects (statiques, dynamiques, temporels). La forte «redondance fonctionnelle» qui caractérise les systèmes d'information en général est exploitée par l'utilisation du langage Ada pour l'implémentation; on montre que la plupart des composants d'un système peuvent être instanciés à partir d'unités génériques indépendantes de l'univers du discours.