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.

3 comments
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.

0
Comment actions Permalink

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"

0

Please sign in to leave a comment.