This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 1062 - Section 2.4.7 does not describe whether the 'complete' could cause the premature completion of a finalizer
Summary: Section 2.4.7 does not describe whether the 'complete' could cause the premat...
Status: CLOSED FIXED
Alias: None
Product: WS Choreography
Classification: Unclassified
Component: Last Call Comment: Confirmed Closed (show other bugs)
Version: unspecified
Hardware: PC Linux
: P2 normal
Target Milestone: --
Assignee: Martin Chapman
QA Contact: Martin Chapman
URL: http://lists.w3.org/Archives/Public/p...
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-01-27 14:37 UTC by Greg Ritzinger
Modified: 2005-08-02 14:02 UTC (History)
0 users

See Also:

Attachments

Description Greg Ritzinger 2005-01-27 14:37:30 UTC 
The current text in the choreography lifeline section 2.4.7 does not describe
whether the 'complete' could cause the premature completion of a finalizer.
Comment 1 Martin Chapman 2005-02-14 21:28:37 UTC 
From 8-feb-05 concall:
http://lists.w3.org/Archives/Member/member-ws-chor/2005Feb/att-0003/Minutes-
02082005-0.txt

"The current text in the choreography lifeline section 2.4.7 does not describe
whether the 'complete' could cause the premature completion of a finalizer."
Nick: Intention - completion condition for normal activities
Gary: Sounds reasonable - thus an EDITORIAL
Comment 2 Greg Ritzinger 2005-05-25 20:55:20 UTC 
In section 2.4.7 changed the paragraph:
Alternatively, a Choreography completes successfully if its complete
condition, is matched by evaluating to "true". A complete condition is
considered for matching while the Choreography is in Enabled State. The
complete condition MUST be possible to be matched in all Roles that
participate in the Choreography. When the complete condition of a
Choreography is matched then all activities in the Choreography are
disabled, and the Choreography completes as if there were no more enabled
activities within it. When a Choreography completes, all uncompleted
enclosed Choreographies will automatically become completed. Messages that
were sent as part of a Choreography that has since completed MUST be
ignored.
to read
Alternatively, a Choreography completes successfully if its complete
condition, is matched by evaluating to "true". A complete condition is
considered for matching while the Choreography is in Enabled State. The
complete condition MUST be possible to be matched in all Roles that
participate in the Choreography. When the complete condition of a
Choreography is matched then all activities in the Choreography are
disabled, except for any Finalizer Block(s), and the Choreography completes
as if there were no more enabled activities within it. When a Choreography
completes, all uncompleted enclosed Choreographies will automatically become
completed. Messages that were sent as part of a Choreography that has since
completed MUST be ignored.  If a Finalizer Block has been entered when the
complete condition evaluates to "true", then it is unaffected and its
messages MUST NOT be ignored.
Comment 3 Martin Chapman 2005-07-14 16:24:11 UTC 
group notification of status change: http://lists.w3.org/Archives/Member/member-
ws-chor/2005Jul/0004.html
Comment 4 Martin Chapman 2005-08-02 14:02:17 UTC 
no comments from group so closed confirmed:

http://lists.w3.org/Archives/Member/member-ws-chor/2005Jul/0004.html