home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / fnet / seminair / 74 < prev    next >
Encoding:
Internet Message Format  |  1992-12-24  |  2.5 KB
  1. Path: sparky!uunet!opl.com!cass.ma02.bull.com!mips2!bull.bull.fr!julienas!seti!trinidad.inria.fr
  2. From: ia@trinidad.inria.fr (Isabelle Attali)
  3. Newsgroups: fnet.seminaires
  4. Subject: V. Lextrait & X. Ceugniet [these]
  5. Message-ID: <4740@seti.inria.fr>
  6. Date: 17 Dec 92 16:13:03 GMT
  7. Sender: news@seti.inria.fr
  8. Distribution: fnet
  9. Organization: INRIA, Sophia-Antipolis (Fr)
  10. Lines: 42
  11. Approved: xleroy@margaux.inria.fr
  12. Jour: 18/12/92
  13. Lieu: I3S, Sophia-Antipolis
  14.  
  15.  
  16.  
  17. A l'I3S, vendredi 18 dec, 14h30, soutenance de la these de Vincent Lextrait et
  18. Xavier Ceugniet (voici un resume) :
  19.  
  20. En depit de l'existence de nombreuses solutions partielles au probleme du
  21. maintien de la coherence d'informations distribuees, il existe peu d'outils 
  22. qui adoptent l'architecture client/server, et savent s'inserer comme composants
  23. capables de dialoguer avec d'autres composants en s'adaptant a la structure et 
  24. la logique d'interface souhaitees.
  25.  
  26. Nous proposons une architecture nouvelle, fondee sur la centralisation d'une 
  27. information abstraite, et la derivation de vues, de mecanismes d'actions et 
  28. de notifications independants. Ce modele, baptise ``Serveur de Vues'' 
  29. unifie un grand nombre de problemes. Nous identifions les difficultes 
  30. theoriques et pratiques de sa mise en oeuvre, dont entre autres 
  31. l'incrementalite.
  32.  
  33. Une etude de l'etat de la connaissance sur les grammaires attribuees, 
  34. connues pour leurs proprietes d'incrementalite, nous amene a proposer 
  35. les ``Grammaires Abstraites a
  36. References'', qui supportent des structures de graphes, et des 
  37. ``Grammaires Attribuees a Couches'', qui autorisent les attributs a 
  38. avoir des structures comme domaine de valuation. Nous definissons ce que nous 
  39. entendons par evaluation valide (baptisee evaluation incrementale
  40. sur les structures) dans une Grammaire a Couches.
  41.  
  42. Un algorithme d'evaluation de valeurs atomiques, derive de l'algorithme de 
  43. Hudson et King est presente. Deux algorithmes autorisant l'evaluation 
  44. incrementale sur les structures sont proposes.
  45.  
  46. Un langage de specification nomme ``VSL'' et un generateur sont proposes
  47. pour automatiser la production de serveurs de vues. VSL integre un
  48. formalisme de grammaires attribuees, etendues de facon a
  49. supporter le modele complet du Serveur de Vues. L'edition des
  50. structures repose sur les declarations d'actions et des algorithmes d'execution
  51. incrementaux.
  52. La notification des clients se realise par des regles
  53. de notification traduites dans des systemes d'attribution.
  54. L'implantation du cycle d'interaction d'un serveur de vues est etudiee.
  55.  
  56. Une perspective sur les langages a objets est detaillee en conclusion.
  57.