Documents

User Manual

 

Overview

 

Meta-model Implementation

 

Transformation framework

 

Validation of UML models

The basic idea here is to transform a UML model of a distributed software in such a way that advanced formal validation tools (borrowed from the protocol engineering world) can be applied to it. The principle of this idea is described here.

Visiting UML models

A set of slides detailing how UMLAUT traverse a UML model can be found here

Code generation

Code generation is available for Java and Eiffel. A direct production of C code will also be possible. Here is an example of the code produced from this example.

Computing Integration Plans