Sparx Systems Forum

Enterprise Architect => Bugs and Issues => Topic started by: NB_SMO on July 25, 2023, 08:12:20 pm

Title: Executable State Machines
Post by: NB_SMO on July 25, 2023, 08:12:20 pm
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
Title: Re: Executable State Machines
Post by: NB_SMO on July 27, 2023, 09:39:51 pm
... ... 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.