Participants : Patrick Parot, François Rouaix
Patrick Parot a terminé et soutenu son travail de thèse sur la conception et la réalisation d'algorithmes pour la recherche dans une bibliothèque de composants logiciels réutilisables. Cette approche est une généralisation des mécanismes de réutilisation esquissés dans le système Alcool, et tente de définir une architecture générale pour la recherche de composants, se basant plus sur la syntaxe des spécifications que sur leur sémantique. Les particularités des spécifications des composants étudiés par Patrick Parot permettent de restreindre le problème de la recherche et donc de développer un algorithme pratique. Une formalisation de cet algorithme (pour des spécifications utilisant des termes du premier ordre) a été définie et publiée [27,28]. Un prototype a également été développé. Les travaux de Patrick Parot sont à la base de la coopération de l'INRIA dans le projet Eurêka SCI.