Architectures reflexives et implementations des langages a taxonomie de classes en lisp : applications a objvlisp, common lisp object system et telos

• Auteur / Autrice : NICOLAS GRAUBE
• Direction : Pierre Cointe
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1989
• Etablissement(s) : Paris 6

Résumé

En un premier temps nous exposerons une interpretation des postulats definissant les comportements des objets du systeme objvlisp, conduisant a l'implementation de cette extension sur la base d'une machine virtuelle reflexive et d'une architecture reflexive de classes. Cette etude permet de mettre a jour une methodologie generale d'implementation par utilisation des metaclasses. Une seconde partie est dediee a l'etude approfondie des concepts et mecanismes contenus dans le systeme objet de common lisp: common lisp object system. (clos). Nous passons en revue tant l'interface externe que l'ensemble des protocoles decrivant les comportements des differentes entites du systeme. Au long de cette etude non ponctuons l'analyse de commentaires tant sur les aspects positifs des concepts utilises que sur la difficulte d'implementation du systeme resultant. A la suite de cette etude nous exposons comment il est envisageable d'etendre objvlipp vers les concepts introduits par clos. Nous continuons cette tentative d'expression des caracteres minimaux de clos par une description des postulas formulant l'ensemble des comportements de ses objets. A l'instar d'objvlisp, nous en deduisons une micro-implementation: micro-clos, pouvant servir de base a la derivation complete de clos. Finalement, nous synthetisons l'ensemble de nos connaissances en la description d'un nouveau systeme objet; telos, permettant a la fois l'expression des concepts introduits par clos et l'utilisation des metaclasses. Ces metaclasses seront a la base des extensions et des optimisations