Currently we are working on the Beta Version of the upcoming 1.6 Version of LieberLieber AMUSE for Sparx Systems Enterprise Architect.

We will have a feature to validate your state machine against a scenario defined in a Sequence Diagram.



This sequence Diagram could be used against the ATM Sample from our AMUSEExamples.eap


So we will have the ability to validate state machines against given Scenarios.