Clarification on Behavior Annex Variable Lifetime

[Jaehun]

Hello,

I have a question regarding the lifetime of local variables defined in the Behavior Model Annex (AS5506/3).

The standard says:

"Local variables can be used to keep track of intermediate results within the scope of the annex subclause. … They are not persistent across the various invocations of the same Behavior_Specification annex subclause."

I would like to confirm whether this means that local variables are re-initialized at each thread dispatch, or at each transition within the behavior specification.

Thank you in advance for your clarification!

Best regards,

Jaehun Lee.