Télécharger La thèse :

Titre: Nouvelle approche pour l’étude de terminaison de règle active basée sur les réseaux de Pétri

Domaine: Mathématiques informatique (MI)

Filière: Informatique

Option: informatique

Auteur: BABA-HAMED Latifa

Soutenu (e) le: 06/2007

Sous la direction de: BELBACHIR Hafida, Professeur, USTO

Le président du jury : RAHMOUNI Mustapha Kamel, Professeur, Université Oran

Examinateur1: ALLA Hassane, Professeur , INPG Université de Grenoble, France

Examinateur2: ZAOUI Lynda, Maître de Conférences, USTO

Examinateur3: BENHAMAMOUCH Djilali, Maître de Conférences, Université Oran

Résumé:

Un système de gestion de bases de données (SGBD) actif est un système qui fournit les mêmes fonctionnalités qu’un SGBD classique et est, également, en mesure de réagir automatiquement aux changements des états de la base grâce à des règles appelées règles actives. Le déclenchement de ces règles peut produire un cycle infini et entraîner ainsi un problème de non terminaison. Dans cette thèse, nous proposons une approche d’analyse de terminaison de règles actives basée sur les réseaux de Petri (RdPs) et présentons, également la structure du modèle, son exécution ainsi que son implémentation. Cette approche est meilleure que ses précédentes du fait qu’elle tienne compte des événements composés (pour représenter des situations complexes) et de la priorité des règles d’une part, et qu’un même RdP permet la représentation de la règle et son analyse d’une autre part. Cette méthode permet de détecter des cas de terminaison non détectables par les autres approches.


Mots clefs: SGBD actif; Règles ECA; Terminaison de règles; Réseau de Petri; Chemin; Matrice d’incidence; Priorité des règles; Chemin cyclique.