kirancodes.me
To Proof Maintenance & Beyond!

UMLAUT: An Extendible UML Transformation Framework

Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h

Abstract

Advanced users often find themselves restricted by the limited facilities of most UML CASE tools when they want to do complex manipulations of UML models, e.g., apply design patterns, generate code for simulation and validation etc. We describe UMLAUT, a freely available UML transformation framework for manipulating UML models. These manipulations are expressed as algebraic compositions of reified elementary transformations. They are thus open to extensions through inheritance and aggregation. To illustrate the interest of our approach, we show how the model of a UML distributed application can be automatically transformed into a labeled transition system validated using advanced protocol validation technology.

BibTeX
@inproceedings{Ho-al:ASE99,
  author    = {Wai{-}Ming Ho and
               Jean{-}Marc J{\'{e}}z{\'{e}}quel and
               Alain Le Guennec and
               Fran{\c{c}}ois Pennaneac'h},
  title     = {{UMLAUT:} An Extendible {UML} Transformation Framework},
  booktitle = {ASE},
  pages     = {275--278},
  publisher = {{IEEE} Computer Society},
  year      = {1999},
}

Related papers