Nouvelle approche pour l’étude de terminaison de règle active basée sur les réseaux de Pétri
Nouvelle approche pour l’étude de terminaison de règle active basée sur les réseaux de Pétri
Fichiers
Date
06-2007
Auteurs
BABA-HAMED Latifa
Nom de la revue
ISSN de la revue
Titre du volume
Éditeur
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.
Description
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