Projet : EPATR - epatr

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00">  <a name="CHILD_LINKS" id= "CHILD_LINKS"><strong>Sous-sections</strong></a> <ul> <li> <ul> <li><a name="tex2html414" href= "resul_module-17_mn.html#SECTION00062010000000000000" target="main" id="tex2html414"><small>Traduction des Statecharts <small>UML</small> en <small>BDL</small></small></a></li> </ul> </li> </ul> <hr /> <h2><a name="SECTION00062000000000000000" id= "SECTION00062000000000000000"><small>BDL</small>, un formalisme synchrone déclaratif pour <small>UML</small></a></h2> <a name="EPATR_resultats_module-17" id= "EPATR_resultats_module-17"></a> <p><a name="bdl" id="bdl"></a><br /> <br /> <span class="textbf">Participants :</span> Albert Benveniste, Paul Le Guernic, Jean-Pierre Talpin, Yunming Wang.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>système de transition synchrone, Statecharts, UML, BDL .</i></p> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>En collaboration avec le projet Pampa, et dans le cadre du contrat Reutel avec Alcatel, nous avons élaboré un formalisme synchrone de préordres étiquetés, appelé <small>BDL</small> (Behavioral Description Language). <small>BDL</small> est destiné à permettre la manipulation abstraite d'objets, de composants, et d'architectures, avec une sémantique double synchrone/asynchrone.</i> </div> <p>Nous avons introduit un modèle permettant de représenter indifféremment les systèmes réactifs synchrones et les systèmes distribués asynchrones [<a href= "bibliographie_Toc.html#caillaud00" target= "contents">32</a>]. Par rapport aux langages synchrones existants, ce modèle offre une nouvelle loi de composition : le choix non déterministe. Avec la composition parallèle synchrone et le choix non déterministe, on dispose des opérations adéquates pour faire de l'héritage sur le plan comportemental (par addition de contraintes, ou par enrichissement de comportements).</p> <p><small>BDL</small> est une syntaxe concrète qui met en oeuvre ce modèle. <small>BDL</small> bénéficie complètement de l'ensemble des résultats sur la désynchronisation (endo- et isochronie). <small>BDL</small> est destiné à être connecté à la plateforme Umlaut dévloppée dans le projet Pampa, ainsi qu'à l'environnement Signal pour bénéficier des outils qui y sont associés.</p> <p>Nous étudions une syntaxe graphique pour <small>BDL</small>, par adaptation du formalisme des Statecharts [<a href="bibliographie_Toc.html#wang00a" target= "contents">30</a>]. Notre objectif est de pouvoir transcoder en <small>BDL</small> à la fois des Statecharts <small>UML</small>, et des diagrammes de séquence <small>UML</small>.</p> <h4><a name="SECTION00062010000000000000" id= "SECTION00062010000000000000">Traduction des Statecharts <small>UML</small> en <small>BDL</small></a></h4><br /> <p>Nous avons proposé une structure formelle, complète et récursive des Statecharts et une méthode de traduction vers <small>BDL</small> [<a href="bibliographie_Toc.html#wang00b" target="contents">29</a>]. Cela donne une sémantique formelle et complète des Statecharts, à la différence des travaux existants, où les sémantiques formelles sont toujours incomplètes, et les sémantiques complètes sont toujours informelles. Cette sémantique se conforme à la sémantique définie par <small>UML</small>.</p> <p>Nous avons également réalisé un prototype de cette traduction. Ce prototype fait actuellement la traduction de texte à texte, ce qui donne une bonne flexibilité et permet de l'intégrer dans des projets différents. Le fichier d'entrée se compose d'un ensemble d'états et un ensemble de transitions. Apres avoir lu le fichier, le prototype vérifie tout d'abord si le Statechart est complètement et bien défini ; puis il calcule le niveau, la source principale et la cible principale de chaque transition ; il construit la représentation récursive du Statechart, génère le graphe initial de <small>BDL</small> et produit la famille de graphes décrivant le comportement du Statechart.</p> <p>Ce prototype a été intégré dans le projet Reutel sur la plate-forme Umlaut.</p> </body>