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

Re: Remark about SCXML "entry set" definition (section 3.11)

From: Ate Douma <ate@douma.nu>
Date: Tue, 11 Mar 2014 00:06:35 +0100
Message-ID: <531E457B.6080209@douma.nu>
To: www-voice@w3.org
Hi Jim,

On 09-03-14 21:33, Jim Barnett wrote:
> Ate,
>    You are right.  In the current public draft there is a conflict between the
> text and the algorithm, and the algorithm is correct and the text is incorrect.
> I propose expanding the definition of entry set as follows, so that it will
> match the algorithm:
> "[Definition: The /entry set/ of a transition in configuration C is the set of
> states that are entered when the transition is taken. If a transition does not
> contain a 'target', its entry set is empty. Otherwise, it consists of all
> members of the transition's complete target set that that are not currently
> active or are in the exit set. (Thus the entry set consists of all members of
> the transition's complete target set that will not be active once the states in
> the exit set have been exited.) The entry set of a set of transitions is the
> union of the entry sets of the individual transitions.]"
> (By the way, the correct section number is 3.13, not 3.11.)
Sorry about that :)

> Please let me know if you are satisfied with this response.  If we do not hear
> from you by March 24th, we will assume that you are.

Yes, I agree with the above update of the definition.

Ate Douma

> Best,
> Jim Barnett
> On 3/7/2014 6:57 AM, Ate Douma wrote:
>> (I send this same email on March 4th, but never seem to have gotten through)
>> Hi there,
>> After reading the current SCXML spec, I find the definition of "entry set"
>> confusing, possible incorrect.
>> In section 3.11, for [Definition: The entry set ...] the following is stated:
>>   [...] Otherwise, it consists of all members of the transition's complete
>> target set that are not currently active. [..]
>> Maybe I'm missing something obvious here, but it seem to me this can't be
>> correct. Why are only 'not currently active' states considered?
>> A currently active state can be both exited and (re)entered as result of a
>> single transition, so should (and IMO is to) be included in the entry set as
>> well.
>> The "computeEntrySet" procedure in appendix A also doesn't reflect this
>> AFAICT, only determining the entry set based on the transition targets only,
>> not the (at that time already exited) current active states
>> Thanks,
>> Ate
>> (working on Apache Commons SCXML 2.0 towards spec compliance)
> --
> Jim Barnett
> Genesys
Received on Monday, 10 March 2014 23:07:05 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:01 UTC