formal released

UML model compilation, simulation, generation