[SystemSafety] Modelling and coding guidelines: "Unambiguous Graphical Representation"

[David MENTRÉ]

Dear Prof. Ladkin,

Le 2016-02-28 18:06, Peter Bernard Ladkin a écrit :
> I asked about a compositional semantics of the Statecharts notation
> itself, since this is what yields deterministic behaviour, at least
> on the level of the semantics of the notation. Gerald said "this is
> tricky when chain reactions within one step are permitted by the
> Statecharts dialect, i.e., when the generation of one event
> triggers another transition within the same step.

Regarding SCADE, the answer is simple: SCADE does not allow chain
reactions, only one transition is allowed at each cycle.

I don't know what is the SDL semantics in this regards.

Sincerely yours,
david