events + statemachine

what do you all have for experiences with using statemachine /state pattern for complex event handling?

do you use any tools for model checking / verification of the statemachine, like BOGOR (eclipse plugin) - but BOGOR is not yet able to directly check the java code.


Comment actions Permalink

I generally create a state transition table by hand and do a thorough manual walk through. This may sound primitive, but for small machines, it is fine.

Comment actions Permalink

Robert Martin has a State Machine compiler for Java.


You create a state transition table in plain text. This is fed to the
complier as its input.

It is described in his book "UML for Java Programmers"


Please sign in to leave a comment.