Executable State Machines

[NB_SMO]

Dear all,

we are using Execuatble State Machines (ESTM) to simulate our STM models. In doing so, we want to control the STMs rather by variables than by events. However, our investigations about this topic has eventually revealed, that all expressions, like transitions, behaviors, effects, which not consist of events, only evaluated once per state configuration. That means, that a transition, which don't fireing at it's evaluation, will never fiering later, even if its expression has menwhile changed, becaus the resp. expression will never be evaluated again in this state configuration.
Has somebody any idea to solve this problem without sacrifice the idea of variable based STM control?
Many thanks in advance.
Best Regards

NB_SMO

[NB_SMO]

... ... Meanwhile I've found a solution by myself.
This is based on using a respective unconditioned loop transition ( maintaining a state) for each state. This way, the code generator will caused to insert a so called "completion" event, which will be generated periodically if no other transition is firering. Based on this mechanism, the DO-behaivoir of the states will executed periodically.   There are no death-locks by ommitted evaluations of any expressions.