Titre original :

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

  • Langue : Français
  • Discipline : Productique. Automatique et informatique industrielle
  • Identifiant : Inconnu
  • Type de thèse : Doctorat
  • Date de soutenance : 01/01/1999

Résumé en langue originale

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.

  • Directeur(s) de thèse : Gentina, Jean-Claude

AUTEUR

  • Allain, Laurent
Droits d'auteur : Ce document est protégé en vertu du Code de la Propriété Intellectuelle.
Accès libre