JavaFSMPlugin4

From FSL
Jump to: navigation, search

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.

Personal tools
Namespaces

Variants
Actions
Navigation