Université Lille1 - Sciences et Technologies Contribution à la modélisation et à la spécification : réseaux formels et bases de données actives Formal nets and active databases for modeling and specification 511.3 Bases de données Modèles mathématiques Petri, Réseaux de Text Electronic Thesis or Dissertation 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. application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1999/50376-1999-33.pdf Allain Laurent 1900-01-01 12206402X 1999LIL10001 1999-01-01 Productique. Automatique et informatique industrielle Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui Gentina Jean-Claude 059857501 ddc:510 ASCII PDF 9999