.

.

Présentation du système POLYPHEME-MOGADOR : un modèle pour la conception de bases de données reparties. Points de vue utilisateur pour la définition et la manipulation d'une bases de données reparties. Le problème de décomposition. Spécifications de réalisation.

.

.

Après un bref rappel des éléments fondamentaux de la théorie mathématique de la communication (T.M.C.), le présent travail a pour objet : de dresser une analyse critique des utilisations faites jusqu'à présent de la T.M.C. et de ses développements en sciences de l'information ; de faire ressortir les difficultés inhérentes à l'utilisation de la T.M.C. ; de proposer une problématique concrète adaptée à la fois à la nature des bases de données et à l'examen de divers problèmes documentaires par l'emploi de fonctions de couplage quantifiant l'affinité entre une question et les notices présentes dans la base ; d'aborder les questions de signification de l'information dans l'optique bien particulière des disciplines documentaires et en rapport avec la théorie de l'information. La partie expérimentale permet de faire ressortir l'intérêt des résultats obtenus à partir de la théorie de l'information généralisée.

Ce document traite des systèmes d'information multimédia. Il retrace différents travaux de recherche sur les bases de données multimédias et sur les bases de données vidéo. Il concerne la période 1995-2000.

Cette thèse cherche à exploiter le parallélisme dans le contexte des systèmes de gestion de bases de données à objet à d'autres niveaux d'abstraction que celui d'une requête SQL, à savoir le parallélisme intra-transaction et le parallélisme intra-application. Notre approche pour parallélisation des transactions considère un modèle de transactions classiques, ou une transaction est une séquence d'opérations. Le parallélisme intra-transaction consiste à transformer le code d'une transaction pour pouvoir exécuter ses opérations en parallèle. Notre approche pour l'exploitation du parallélisme intra-application étend tout d'abord le modèle de parallélisme intra-transaction de manière à considérer la transaction comme unité de parallélisation. Deuxièmement nous avons considéré l'exploitation du parallélisme intra-application dans un contexte ou le modèle de transactions fournit des transactions emboîtées. Nous avons développé un modèle de parallélisation des applications où nous associons le parallélisme offert par le modèle des transactions emboîtées avec le parallélisme par transformation de notre approche de parallélisation des transactions. Nous avons implanté un premier prototype qui met en oeuvre le modèle de parallélisation des transactions. Pour cela, nous avons utilisé le système de bases de données à objet O2. Notre prototype introduit le parallélisme par la création et la synchronisation des activités parallèles au sein du processus client O2 qui exécute une application. Le système étant développé sur une machine monoprocesseur, les fonctions liées au parallélisme utilisent de processus légers. Nous avons appliqué ensuite notre modèle de parallélisation au système de règles NAOS. Notre approche considère l'ensemble de règles d'un cycle d'exécution, dites règles candidates, pour la parallélisation. Nous construisons un plan d'exécution pour les règles candidates d'un cycle qui détermine l'exécution séquentielle ou parallèle des règles.

Un systeme de bases de données actif est capable d'executer automatiquement des actions predefinies en reponse a des evenements specifiques lorsque certaines conditions sont satisfaites. Les regles actives, de la forme evenement-Condition-Action, sont au coeur de cette approche. Dans cette these, nous nous interessons aux modeles d'execution des systemes actifs. Le modele d'execution d'un systeme actif decrit quand et comment (ordonnancement, synchronisation) sont executées, au cours d'une application, les regles declenchées lors de l'execution d'une transaction. Nous proposons tout d'abord une taxonomie et une representation graphique des modeles d'execution des systemes actifs. Nous exposons ensuite un modele d'execution parametrique nomme Flare (Flexible active rule execution). Une caracteristique essentielle de ce modele est de considerer des modules de regles - chaque module etant destine a une utilisation particuliere des regles. On peut specifier, d'une part, le comportement de chaque regle d'un module, et d'autre part, la strategie d'execution de chaque module. Il suffit, pour cela, de choisir une valeur pour chacun des parametres proposes parmi un ensemble de valeurs predefinies. Nous donnons egalement une semantique denotationnelle (ou fonctionnelle) du modele. Nous montrons que ce formalisme fournit une specification implantable que nous utilisons dans le cadre de l'experimentation que nous menons autours de NAOS - un mecanisme de regles actives pour le SGBD a objets O2 - afin de remplacer son moteur d'execution par Flare.

La définition d'un système d'information nécessite la prise en compte de nombreuses questions relatives à des aspects dynamiques du type ``comment une unité de soins réagit-elle face à une demande d'acte de la part d'un prescripteur ?'', ``quelles sont les contraintes à vérifier lors de l'élaboration du planning du personnel d'une compagnie de trains ?'' ou encore ``que faut-il faire lors de l'absence d'un agent ?''. Ces questions doivent être traitées tout au long de l'activité de modélisation des applications. L'objectif de cette thèse est d'intégrer et de développer des patrons afin d'apporter des éléments pour faciliter l'analyse, la conception et l'implantation de tels besoins appelés ``situations comportementales'' exprimant des réactions à des situations significatives des applications. Concrètement, le modèle et le langage de patrons SCalP permettent de représenter des situations comportementales depuis leur expression au niveau de l'analyse jusqu'à leur implantation dans un système cible ; ils sont expérimentés dans un cadre de bases de données actives avec le système de gestion de bases de données actif NAOS. Les patrons que nous proposons représentent des solutions à des problèmes récurrents dans divers domaines et à différents niveaux d'abstraction. Notre approche présente deux avantages principaux. D'une part, elle permet une expression assez naturelle des situations comportementales. D'autre part, elle facilite la réutilisation de composants (patrons) plus conséquents que de simples classes d'objets. Ces patrons représentent de véritables mini-systèmes basés sur la prise en compte en amont (production) et en aval (consommation) d'événements pertinents quant à la dynamique du système d'information concerné.