Hi Stefan,
Thanks for your comments. It's nice to know that it's possible for other
SCXML implementations to use the scxml-test-framework test client and
protocol.
One aspect of the protocol which might not be clear is that it is that it
tests the *basic configuration* of a state machine. A "basic configuration"
is defined by Harel as follows:
It follows that configurations are â€œclosed upwardsâ€