Sous-projet OCL/GOODY.

L'expérience acquise dans les projets FLOO, IREC et K2 met en évidence l'intérêt de disposer d'un modèle à objets général qui étende les possibilités actuelles du langage Eiffel, afin qu'il convienne mieux, dans un premier temps aux domaines du génie logiciel et des bases de données, puis progressivement aux domaines de la CAO et de l'IA.

Pour préparer cet objectif ambitieux, nous avons commencé quelques actions préliminaires :

• l'étude de divers modèles à objets, notamment ceux de ODMG (1993 et 1995),

• la participation au workshop OOPSLA'94 sur le thème des moteurs à objets organisé par Fred Cummins [RBC94a],

• la réalisation d'un cours de DEA sur le thème d'un modèle commun pour le GL, les BD et la CAO,

• un début de réflexion sur les problèmes d'efficacité, particulièrement sur l'exploitation de la persistance et de nouvelles possibilités d'introspection pour donner plus de souplesse au cycle de vie des composants et permettre une meilleure efficacité des contrôles et des exécutions. Cette réflexion se poursuit actuellement avec la collaboration de Jean-Claude Royer (IRIN).

• enfin, le démarrage de la thèse de Philippe Collet en octobre 1994, sur le thème des assertions en Eiffel. Il s'agit en particulier d'étendre le langage assertionnnel d'Eiffel et d'opérer un rapprochement entre la notion d'invariant de classe et celle de critère de sélection dans les bases de données.