Generation de serveurs de vues. Coherence de representations externes distribuees

par XAVIER CEUGNIET et VINCENT LEXTRAIT

Thèse de doctorat en Sciences appliquées

Sous la direction de PAUL FRANCHI.

Soutenue en 1992

à Nice .

    mots clés mots clés


  • Résumé

    En depit de l'existence de nombreuses solutions partielles au probleme du maintien de la coherence d'informations distribuees, il existe peu d'outils qui adoptent l'architecture client/server, et savent s'inserer comme composants capables de dialoguer avec d'autres composants en s'adaptant a la structure et la logique d'interface souhaitees. Nous proposons une architecture nouvelle, fondee sur la centralisation d'une information abstraite, et la derivation de vues, de mecanismes d'actions et de notifications independants. Ce modele, baptise serveur de vues unifie un grand nombre de problemes. Nous identifions les difficultes theoriques et pratiques de sa mise en uvre, dont entre autres l'incrementalite. Une etude de l'etat de la connaissance sur les grammaires attribuees, connues pour leurs proprietes d'incrementalite, nous amene a proposer les grammaires abstraites a references, qui supportent les structures de graphes, et des grammaires attribuees a couches, qui autorisent les attributs a avoir des structures comme domaine de valuation. Nous definissons ce que nous entendons par evaluation valide (baptisee evaluation incrementale sur les structures) dans une grammaire a couches. Un algorithme d'evaluation de valeurs atomiques, derive de l'algorithme de hudson et king est presente. Deux algorithmes autorisant l'evaluation incrementale sur les structures sont proposes. Un langage de specification nomme vsl et un generateur sont proposes pour automatiser la production de serveurs de vues. Vsl integre un formalisme de grammaires attribuees, etendues de facon a supporter le modele complet du serveur de vues. L'edition des structures repose sur les declarations d'actions et des algorithmes d'execution incrementaux. La notification des clients se realise par des regles de notification traduites dans des systemes d'attribution. L'implantation du cycle d'interaction d'un serveur de vues est etudiee. Une perspective sur les langages a objets est detaillee en conclusion


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 143 REF

Où se trouve cette thèse ?

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