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 specific 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 are very difficult to do with the scripting facilities offered in most UML case tools. In this paper, we describe UMLAUT, a freely available UML Transformatio- n Framework allowing complex manipulations to be applied to a UML model. These manipulations are expressed as algebraic compositions of reified elementary transformations. They are thus open to extensions through inheritan- ce and aggregation. To illustrate the interest of our approach, we show how the model of an UML distributed application can be automatically transform- ed into a labeled transition system validated using advanced protocol validation technology.
Type de document :
Rapport
[Research Report] RR-3775, INRIA. 1999
Liste complète des métadonnées

https://hal.inria.fr/inria-00072886
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 11:10:51
Dernière modification le : vendredi 16 novembre 2018 - 01:24:54
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:26:40

Fichiers

Identifiants

  • HAL Id : inria-00072886, version 1

Citation

Wai Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'H. UMLAUT: an Extendible UML Transformation Framework. [Research Report] RR-3775, INRIA. 1999. 〈inria-00072886〉

Partager

Métriques

Consultations de la notice

396

Téléchargements de fichiers

761