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.
M.
Please sign in to leave a comment.
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.
Test
Robert Martin has a State Machine compiler for Java.
See:
http://www.objectmentor.com/resources/downloads/index
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"