Action : AID - Evaluation du langage ROL pour nos applications Web

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00064000000000000000" id= "SECTION00064000000000000000">Evaluation du langage ROL pour nos applications Web</a></h2> <a name="AID_resultats_result-eval" id= "AID_resultats_result-eval"></a> <a name="result-rol" id= "result-rol"></a> <p><strong>Mots clés :</strong> <i>annuaire thématique, raisonnement à partir de cas, programmation asynchrone, langage de spécifications, objets réactifs, bus logiciel, Web, décision, point de vue, confrontation, négociation, forum de discussion, argumentation, conception .</i></p> <p><br /> <br /> <span class="textbf">Participants :</span> Thierry Despeyroux, Semi Gaieb, Brigitte Trousse.<br /> <br /></p> <p>La validation de ROL sur <tt>educaid</tt> s'est terminée en début d'année 2001 et les travaux de thèse de S. Gaieb ont été soutenus en juillet 2001 dont voici le résumé:<br /></p> <p>Les logiciels font de plus en plus souvent appel au parallélisme et aux composants distribués. Ces notions ont été petit à petit introduites dans les langages de programmation (ADA, Java) ou donné lieu au développement de langages spécialisés et de <span class= "textit">middlewares</span>. Cependant, il existe peu d'outils de conception de haut niveau pour de tels programmes. Dans cette thèse, nous proposons un modèle de communication basée sur les bus logiciels à messages et un langage de spécification des interactions entre objets de type réactifs asynchrones distribués nommé ROL (<span class= "textit">Reactive Object Language</span>). Ce langage permet la spécification du réseau que forment ces objets et leurs réactions aux messages qu'ils reçoivent. Les spécifications ROL sont totalement indépendantes de l'implémentation. Pour leur exécution, nous proposons une traduction vers le langage objet Java. Actuellement, la partie configuration de l'application est laissée à la charge du programmeur. En spécifiant deux applications Web parallèles asynchrones et distribuées existantes (Hermès et Educaid) avec notre langage ROL, nous montrons que sa syntaxe déclarative permet de simplifier la programmation et la maintenance de systèmes composés d'objets réactifs par rapport à une approche basée sur un langage à objets traditionnel.</p> <hr /> </body>