Un modele objet logique et relationnel le langage othelo

par Anne-Marie Pinna

Thèse de doctorat en Sciences appliquées

Sous la direction de Paul Franchi-Zannettacci.

Soutenue en 1990

à Nice .

    mots clés mots clés


  • Résumé

    Cette these a pour but d'integrer dans un systeme unique certains resultats de la programmation par objets, de la programmation en logique et de la programmation par relations. Ce systeme est alors capable de modeliser les connaissances du monde exterieur dans un formalisme permettant de les manipuler symboliquement. Cette these est constituee de trois parties principales. Definition d'un modele objet abstrait dans lequel les operations elementaires sous-jacentes aux mecanismes mis en uvre dans un langage a objets (creation, heritage, envoi de message) sont redefinissables par un programmeur. Un langage issu de ce modele peut autoriser: la creation d'objets de structures internes differentes pouvant communiquer entre eux; la definition de modes d'heritage complexes; l'expression des exceptions et des cas particuliers. Apports d'inference declarative au modele objet. Le langage othelo est une implantation en prolog du modele abstrait dans laquelle les principaux mecanismes ont ete reconsideres afin d'attribuer aux objets des comportements logiques. Citons: la definition de methodes polymorphes, l'envoi de message a objets anonymes, des combinaisons et du controle sur les methodes dans un graphe d'heritage et des capacites intrinseques a raisonner. Aspect relationnel de la connaissance. L'idee est d'utiliser l'approche objet pour decrire un langage de relations et ainsi faciliter l'expression des relations de dependance et le maintien automatique de leur coherence. Une des originalites de cette proposition est la prise en compte des modifications intervenant sur l'objet maitre pour retablir de facon incrementale la coherence. Les liens de la hierarchie proposee permettent de decrire les relations d'heritage et d'implanter une interface graphique. Une quatrieme partie illustre ce travail par une application en thermique


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 238 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.