The Umple Model-Oriented Programming Technology
ALFOUR Programming language. Simple, safe, power, multi-platform.
Translates state machine into a target programming language.
C++, Java IDE with auto class, sequence, zone, dependency, diagrams
AMOS BASIC reimplementation in Java
Djarva - object language, compiler and virtual machine