W3C home > Mailing lists > Public > www-voice@w3.org > January to March 2013

Reentering child of parallel state leaves all childs?

From: Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de>
Date: Sat, 9 Feb 2013 21:45:31 +0000
To: "www-voice@w3.org (www-voice@w3.org)" <www-voice@w3.org>
Message-ID: <6A775895400B8040A331C2963964820C19532975@exchange01.tk.informatik.tu-darmstadt.de>
Hi, it's me again.

I am currently trying to get Jacob's test-cases to run and ran into something peculiar with the following SCXML document:


<parallel id="p">
<state id="a">
    <transition target="a" event="t"/>
<state id="b"/>


Its initial stable configuration is {p, a, b}. When event "t" arrives, we are entering exitStates with the transition "a -> a" enabled. Considering the pseudocode in the draft, we will determine the LCCA of {a, a}, which is "p" and subsequently add all of its descendants, which are part of the configuration to statesToExit, which includes "b". Thus exiting "b", even when we are immediately reentering "a" - is this desired?

Worse still, if I read the pseudo-code correctly, we will only reenter "a", not "b" in enterStates, leaving the interpreter in an invalid configuration. What did I miss here?

Received on Saturday, 9 February 2013 21:45:56 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:07:43 UTC