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 Transformation 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 inheritance and aggregation. To illustrate the interest of our approach, we show how the model of an UML distributed application can be automatically transformed into a labeled transition system validated using advanced protocol validation technology. Key-words: Object-oriented F...

The Gem Cutter is a graphical tool for creating functions in the Haskell-like language CAL by snapping together previously created functions on a canvas known as the table-top. Our contribution is a new graphical model supporting the composition of higherorder functions, creation and use of local functions and variables, composable editors for editing values of possibly compound type, and incorporation of textual CAL expressions. The resulting graphical representation is powerful enough to express any CAL function, but at the same time uses few distinct kinds of graphical elements that are organized as a set of trees rather than a graph. The model is checked by the underlying functional compiler at each stage, ensuring that only valid operations are permitted. The Gem Cutter can suggest valid subsequent compositions to various degrees of granularity. Any part of the model can be run, with value entry for required arguments prompted for using the composable type-directed value editors.