Système de règles de production et calcul de réécriture

par Hubert Dubois

Thèse de doctorat en Informatique

Sous la direction de Hélène Kirchner.

Soutenue en 2001

à Nancy 1 , en partenariat avec Université Henri Poincaré Nancy 1. Faculté des sciences et techniques (autre partenaire) .


  • Résumé

    Dans cette thèse nous formalisons des systèmes de règles de production dans le système ELAN basé sur la logique de réécriture où l'application des règles est contrôlée par des stratégies. Le calcul de réécriture fournit une sémantique opérationnelle à ELAN. Nous avons ainsi été amenés à étendre ELAN tout en respectant sa sémantique. Cette extension comporte tout d'abord la possibilité de définir des classes et des objets en ELAN. Ce langage s'implante en ELAN comme un langage objet à prototype. Nous avons également défini un formalisme de règles travaillant à la fois avec une base d'objets et avec une base de contraintes. Ces deux bases coopérent par l'intermédiaire de variables partagées. Ce nouveau paradigme de programmation avec règles, objets, contraintes et stratégies nous permet de modéliser des problèmes de planification ou d'ordonnancement.

  • Titre traduit

    Production Rule Systems and Rewriting calculus


  • Résumé

    In this thesis, we design production rule systems in the ELAN system which is based on the rewriting logic and where strategies control the application of the rules. The rewriting calculus gives an operational semantics of ELAN. Thus, we developed an extension of ELAN that respects its semantics. Firstly, in this extension, we give the possibility to define classes and objects in ELAN. This language is implemented in ELAN as a prototype object-language. Then, we define a new formalism of rules working together with an object and a constraint store such that objects and constraints share variables. The application of the set of rules is controlled by strategies. This new programming paradigm with rules, objects, constraints and strategies is here used to model problems such that planification or scheduling.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (VI-150 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 143-150

Où se trouve cette thèse ?

  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : SC N2001 123A
  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : SC N2001 123B
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : DUBOIS s
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : DUBOIS s
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.