Projet : PAMPA - pampa

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00052000000000000000" id= "SECTION00052000000000000000"></a><a name= "Pampa-logiciels-uml" id="Pampa-logiciels-uml"></a><br /> <small>UMLAUT</small> : un outil de manipulation de modèles <small>UML</small></h2> <a name="PAMPA_logiciels_module-99" id= "PAMPA_logiciels_module-99"></a> <p><br /> <br /> <span class="textbf">Participants :</span> Jean-Marc Jézéquel, Wai Ming Ho, Alain Le Guennec, François Pennaneac'h, Gerson Sunye, Séverine Simon, Katia Vinceller, Hanh Vu Le.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>UML, composant, patterns, validation .</i></p> <h3>Résumé :</h3> <div class="ABSTRACT"> <p><i>De nombreux Ateliers de Génie Logiciel (<small>AGL</small>) pour <small>UML</small> permettent aux ingénieurs logiciels de tracer des diagrammes et de générer des squelettes de code à partir de ceux-ci. Mais souvent les utilisateurs avertis voudraient faire plus de chose avec leurs modèles <small>UML</small>, comme par exemple appliquer des design patterns spécifiques, générer du code pour des systèmes embarqués, simuler des aspects fonctionnels ou non fonctionnels du système, ou encore passer des outils de validation sur le modèle ; activités difficiles à mener en utilisant les facilités de script offertes par la plupart des <small>AGL</small>.</i></p> <p><i><small>UMLAUT</small> (<small>UML</small> Automatic Universal Transformations) est un framework de transformation de modèles (dont le coeur est développé dans le cadre de la <small>CTI</small> Cnet Meta<small>FOR</small>) permettant d'appliquer des manipulations complexes à un modèle <small>UML</small>. Ces manipulations sont exprimées comme des compositions algébriques de transformations élémentaires réifiées. Elle sont donc extensibles au travers des mécanismes classiques d'héritage et d'agrégation. <small>UMLAUT</small> est utilisé en particulier dans le cadre du projet <small>RNRT</small> Oural pour transformer le modèle <small>UML</small> d'une application répartie en un système de transitions étiquetées ; dans l'objectif de le valider avec des outils avancés de validation de protocoles (e.g. <small>TGV</small>). <small>UMLAUT</small> est aussi utilisé, dans le cadre du projet <small>RNRT</small> Convergence, pour prototyper de futures évolutions d'<small>UML</small> telles que discutées actuellement à l'<small>OMG</small>.</i></p> <p><i><small>UMLAUT</small> a été déposé par l'Inria à l'Agence de Protection des Programmes en 1999. Des versions de démonstration pour Linux, Solaris et Windows <small>NT</small> sont librement disponibles depuis le site web de l'équipe (http://www.irisa.fr/pampa).</i></p> </div> <p>La notation <small>UML</small> ( <em>Unified Modeling Language</em>) est issue des travaux de Booch, Rumbaugh et Jacobson, auteurs des méthodes de développement à objets parmi les plus utilisées (les méthodes Booch, <small>OMT</small> et <small>OOSE</small>). <small>UML</small> est le successeur commun de ces trois méthodes, dont elle reprend la plupart des concepts et notations, dans un souci d'unification. Le manque d'uniformisation, les difficultés à communiquer entre outils constituaient en effet un frein au déploiement des méthodes de développement à objets. Il était donc souhaitable de créer un langage commun convenant à la modélisation des systèmes informatiques, mais également suffisamment générique pour prendre en compte des problèmes d'autres domaines. Contrairement à ces prédécesseurs, <small>UML</small> impose un langage (en cours de normalisation par l'<small>OMG</small>), mais laisse libre le choix du processus de développement associé.</p> <p>La principale particularité de la notation <small>UML</small> réside dans sa base formelle appelée <em>méta modèle</em> : la sémantique des concepts manipulés par la notation <small>UML</small> est décrite en utilisant la notation elle-même. Cela a pour conséquence l'amélioration de la correction des modèles (suppression des ambiguïtés et des incohérences), et permet d'envisager l'utilisation de techniques formelles à des fins de vérification/validation, les éléments d'un modèle devant respecter les propriétés et contraintes définies dans le méta-modèle.</p> <p>L'outil <small>UMLAUT</small> vise à montrer la validité d'une telle approche. Cet outil intègre le méta-modèle <small>UML</small> et fournit un ensemble de facilités permettant de raisonner sur des modélisations <small>UML</small>. Il s'agit en fait d'un véritable framework de transformation de modèles permettant d'appliquer des manipulations complexes à un modèle <small>UML</small>. Ces manipulations sont exprimées comme des compositions algébriques de transformations élémentaires réifiées. Elle sont donc extensibles au travers des mécanismes classiques d'héritage et d'aggrégation.</p> <p>Les modèles sont fournis à l'outil soit à l'aide d'une interface graphique (implantée en Java avec Swing), soit dans un format d'échange comme <small>CDIF</small> (Case Data Interchange Format) ou <small>XMI</small> (le format normalisé par l'<small>OMG</small> d'échange de modèles <small>UML</small> sur la base de <small>XML</small>), ou encore un format ``propriétaire'' comme celui de Rational Rose (en cours de développement).</p> <p>L'outil accepte également en entrée des sources de programmes Java ou Eiffel, afin de reconstruire automatiquement les modèles <small>UML</small> correspondants ( <em>reverse-engineering</em>).</p> <p><small>UMLAUT</small> intégrant le méta-modèle <small>UML</small>, il est possible de réaliser simplement des transformations de modèles définies par un ensemble de règles fournies par l'utilisateur. Dans le cadre du projet <small>RNRT</small> Oural, nous avons commencé à appliquer cette idée pour transformer le modèle <small>UML</small> d'une application répartie en un système de transitions étiquetées ; dans l'objectif de le valider avec des outils avancés de validation de protocoles.</p> <p><small>UMLAUT</small> est aussi utilisé, dans le cadre du projet <small>RNRT</small> Convergence, pour prototyper de futures évolutions d'<small>UML</small> en ce qui concerne un langage d'actions (<small>ASL</small>) telles que discutées actuellement à l'<small>OMG</small>.</p> </body>