This is the first public release of UMLAUT, called Gauvain. This version almost supports all the UML1.3 meta-model. It includes a Java based GUI, a MDL reader, a XMI reader, as well as a CDIF generator and an Eiffel code generator. It is available in binary form for demonstration purposes on Linux, Solaris and Windows NT platforms.

The next variant in preparation (called LANCELOT) will be based on the UML1.3 meta-model and will include an XMI reader and writer.

This variant adds to Gauvain the support for OCL and some of the Action Semantics Language currently being defined at the OMG in the UML/ASL RFP.

This UML simulator explores the state-space of a UML specification "on the fly", in the form of a labelled transition system. The dynamically built transition system can be used by a number of tools part of the CADP tool-box, which notably comprises an interactive simulator, a model checker and a test generation tool called TGV. It is available in binary form for Linux, Solaris and Windows NT platforms. The last version of SmallEiffel (SmallEiffel-0.76) is also required by the UMLAUT/Simulator module. You can freely download the standard distribution of SmallEiffel on the LORIA site http://SmallEiffel.loria.fr.