Mots clés : annuaire thématique,
raisonnement à partir de cas, programmation asynchrone,
langage de spécifications, objets réactifs, n bus logiciel,
Web, décision, point de vue, confrontation, négociation,
forum de discussion, argumentation, conception .
Participants : Thierry
Despeyroux, Semi Gaieb, Brigitte Trousse, Adrien
Zamani.
L'expérience de la conception de Centaur par l'équipe
Croap (Inria Sophia Antipolis) ainsi que celle plus récente
de la conception d'applications Web par l'action AID
(systèmes basés sur Broadway*Tools, Hermès) mettent en
évidence le besoin d'environnements adaptés à la
programmation asynchrome distribuée qui assistent le
concepteur durant toutes les étapes de la construction de
telles applications.
Un état de l'art a été fait montrant l'existence de
nombreux outils (Sophtalk, Corba/IDL, Java/RMI Olan/OCL,
Esterel, Électre), leurs avantages et leurs limites.
Le principal objectif d'un nouvel outil est de regrouper
les avantages de chacun de ces outils : celui-ci devra
permettre 1) de décrire clairement les interactions entre les
objets 2) de rester indépendant du langage hôte, 3) de
décrire une architecture dynamique, indépendante de la
configuration de l'application, et 4) d'offrir une analyse
statique et dynamique de l'architecture ainsi décrite.
Nos résultats dans le cadre de la thèse de S. Gaieb,
consistent en (i) un langage de description (appelé ROL pour
Reactive Object Language) quasi-indépendant du langage
hôte (syntaxe proche de Java) [13],
(ii) la définition d'une traduction automatique vers Java
(nous avons écrit les bibliothèques nécessaires), (iii) une
indépendance totale de la situation géographique des objets
et (iv) un début d'interface graphique. Les avantages de ce
langage sont la syntaxe intuitive des réactions, la
possibilité d'avoir des objets hétérogènes et une
architecture dynamique. Cette année, nos travaux ont porté
sur une traduction automatique vers un langage cible (Java)
et sur une analyse sémantique partielle du code écrit en
ROL.
Enfin, dans un but d'évaluation du langage ROL, nous
l'avons appliqué cette année au logiciel Hermès (dans le
cadre d'un projet ESSI [19]
et à un système d'aide à la navigation dans un annuaire
thématique basé sur l'approche Broadway.