Génération de serveurs de vues : dérivation incrémentale de structures abstraites : cohérence de représentations externes distribuées

Generation of view servers : coherence between distributed external representations

• Auteur / Autrice : Xavier Ceugniet, Vincent Lextrait
• Direction : Paul Franchi-Zannettacci
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1992
• Etablissement(s) : Nice
• Jury : Président / Présidente : André Hirschowitz
• Jury : Examinateurs / Examinatrices : Jacques Chazarain, Michel Rueher
• Jury : Rapporteur / Rapporteuse : Jérôme Chailloux, Christer Fernstrom, Muriel Jourdan

Mots clés

Mots clés contrôlés

Interaction humain-machine

Traitement réparti

Résumé

En dépit de l'existence de nombreuses solutions partielles au problème du maintien de la cohérence d'informations distribuées, il existe peu d'outils qui adoptent l'architecture client/serveur, et savent s'insérer comme composants capables de dialoguer avec d'autres composants en s'adaptant à la structure et la logique d'interface souhaitées. Nous proposons une architecture nouvelle, fondée sur la centralisation d'une information abstraite, et la dérivation de vues, de mécanismes d'actions et de notifications indépendants. Ce modèle, baptisé serveur de vues, unifie un grand nombre de problèmes. Nous identifions les difficultés théoriques et pratiques de sa mise en œuvre, dont entre autres l'incrémentalité. Une étude de l'état de la connaissance sur les grammaires attribuées, connues pour leurs propriétés d'incrémentalité, nous amène à proposer les grammaires abstraites à références, qui supportent les structures de graphes, et des grammaires attribuées à couches, qui autorisent les attributs à avoir des structures comme domaine de valuation. Nous définissons ce que nous entendons par évaluation valide (baptisée évaluation incrémentale sur les structures) dans une grammaire à couches. Un algorithme d'évaluation de valeurs atomiques, dérivé de l'algorithme de Hudson et King est présenté. Deux algorithmes autorisant l'évaluation incrémentale sur les structures sont proposés. Un langage de spécification nomme vsl et un générateur sont proposés pour automatiser la production de serveurs de vues. Vsl intègre un formalisme de grammaires attribuées, étendues de façon à supporter le modèle complet du serveur de vues. L’édition des structures repose sur les déclarations d'actions et des algorithmes d'exécution incrémentaux. La notification des clients se réalise par des règles de notification traduites dans des systèmes d'attribution. L'implantation du cycle d'interaction d'un serveur de vues est étudiée. Une perspective sur les langages a objets est détaillée en conclusion