Mémoires de Fin d’Etudes
Etablissement
Université d’Oran1 - Ahmed Ben Bella
Affiliation
Département d’Informatique
Auteur
BABA-HAMED, Latifa
Directeur de thèse
BELBACHIR H. (Professeur)
Filière
Informatique
Diplôme
Doctorat
Titre
Nouvelle approche pour l’étude de terminaison de règles actives basée sur les réseaux de Petri
Mots clés
SGBD actif; Règles ECA; Terminaison de règles; Réseau de Petri; Chemin; Matrice d’incidence; Priorité des règles; Chemin cyclique.
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.
Date de soutenance
2007
Cote
TH2465
Pagination
IV-144F.
Format
31 cm
Notes
BIBLIOG.134-139F.ANNEXE 140-144F.RESUME ET MOTS CLES EN FRANCAIS ET EN ANGLAIS.
Statut
Soutenue