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é.

Cette thèse propose un modèle et un ensemble de mécanismes pour supporter le développement de bases de données actives. D'une part, le modèle permet la description intégrée des aspects statiques et dynamiques des applications. Pour décrire la structure des traitements sur les informations trois concepts sont proposés : entité focale, activité et procédure. D'autre part, ce modèle est supporté par un ensemble d'outils et de mécanismes permettant de lancer automatiquement, contrôler et suivre l'exécution des activités et procédures. Un des mécanismes qui a mérité une attention particulière est celui du déclenchement automatique d'une activité ou d'une procédure. Ceci implique l'évaluation de préconditions liées aux activités et aux procédures. Leur évaluation est réalisée lors des mises à jour et nécessite potentiellement des accès complexes à la base de données. Cette évaluation se fait en deux phases • la première détermine le sous-ensemble de préconditions à évaluer pour une certaine mise à jour. Ce travail a abouti à l'établissement d'un ensemble de règles de correspondance entre les préconditions et les mises à jour. • la deuxième réalise l'évaluation proprement dite des préconditions. Ce travail a abouti à la définition d'une méthode d'évaluation efficace qui utilise un ensemble de techniques d'optimisation. D'autres mécanismes à souligner sont • l'interaction entre les mécanismes de déclenchement et d'exécution des activités et procédures avec le système transactionnel. • le contrôle persistant de l'exécution des procédures. Ce travail est complété par l'implémentation des différents services proposés.