UMLAUT: an Extendible UML Transformation Framework

Wai Ming Ho 1 Jean-Marc Jézéquel 1 Alain Le Guennec 1 François Pennaneac'H 1
1 PAMPA - Models and Tools for Programming Distributed Parallel Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : Many UML CASE tools allow software engineers to draw diagrams and generate code skeletons from them. But often advanced users want to do more with their UML models, e.g., apply speciic design patterns, generate code for embedded systems, simulate the functional and non-functional behavior of the system, run validation tools on the model, etc. which a r e v ery diicult to do with the scripting facilities ooered in most UML case tools. In this paper, we describe UMLAUT, a freely available UML Transformation Framework allowing complex manipulations to be applied to a UML model. These manipulations are expressed as algebraic compositions of reiied elementary transformations. They are thus open to extensions through inheritance and aggregation. To illustrate the interest of our approach, we show h o w the model of an UML distributed application can be automatically transformed into a labeled transition system validated using advanced protocol validation technology.
Type de document :
Communication dans un congrès
Proc. Automated Software Engineering, ASE'99, Oct 1999, Florida, United States. 1999
Liste complète des métadonnées
Contributeur : Jean-Marc Jézéquel <>
Soumis le : mardi 12 mars 2019 - 11:39:53
Dernière modification le : mardi 12 mars 2019 - 13:14:23


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00776495, version 1


Wai Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'H. UMLAUT: an Extendible UML Transformation Framework. Proc. Automated Software Engineering, ASE'99, Oct 1999, Florida, United States. 1999. 〈hal-00776495〉



Consultations de la notice


Téléchargements de fichiers