Thèse soutenue

Contribution à la modélisation et à la spécification : réseaux formels et bases de données actives

FR  |  
EN
Auteur / Autrice : Laurent Allain
Direction : Jean-Claude Gentina
Type : Thèse de doctorat
Discipline(s) : Productique, automatique et informatique industrielle
Date : Soutenance en 1999
Etablissement(s) : Lille 1

Mots clés

FR

Mots clés contrôlés

Résumé

FR

Depuis quelques années, des recherches ont été entreprises afin de modéliser l'aspect dynamique du comportement d'un système conçu autour d'une base de données. Différents projets ont donc conduit à proposer des systèmes de gestion de bases de données actifs, mais les concepteurs d'applications ne peuvent cependant pas encore s'affranchir d'une spécification des traitements peu différente de la programmation classique. Nous proposons de définir un modèle de spécification compréhensible par l'utilisateur, aussi bien adapte à la modélisation des données qu'à celle des traitements, et de concevoir un outil de génération automatique de code de la partie opératoire d'un système d'information, s'appuyant sur l'utilisation des réseaux formels. Ce modèle tire les avantages graphiques des réseaux de Petri pour servir de support de dialogue avec l'utilisateur, et hérite de la rigueur des langages formels bases sur la théorie des ensembles en décrivant sans ambiguïte les règles de gestion du système d'information. L'outil qui en est dérivé, baptisé NetSPEC, apporte au concepteur la possibilité de concentrer ses efforts sur la conception de son application, non sur son implémentation, puisque le système effectue lui-même la transformation des spécifications d'un réseau formel en un programme utilisant les langages classiques associés aux bases de données.