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

From: David MENTRÉ < >
Date: Sun, 28 Feb 2016 20:47:27 +0100

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,

The System Safety Mailing List
systemsafety_at_xxxxxx Received on Sun Feb 28 2016 - 20:47:39 CET

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:07 CEST