JavaFSMPlugin4

JavaFSM is an instance of MOP for Java and for FSM specifications. It is obtained by running JavaMOP with FSM specifications. Despite its simplicity, JavaFSM has conceptual (and potentially theoretical) value; many Java users prefer to specify properties exclusively as parametric finite state machines.