This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In section 2.4.9, it states that "a finalizer block may be enabled for a given choreography instance, during subsequent progress, including Exception handling and finalization, of the enclosing choreography." This implies that the exception handler of an enclosing choreography can finalize an enclosed choreography. However, in section 2.4.8 it states: "If an Exception occurs within a choreography, then the Choreography completes unsuccessfully. In this case its Finalizer Block(s) MUST NOT be installed. The actions, including enclosed Choreographies, within this Choreography are completed abnormally before an Exception Work Unit can be matched." This should probably be changed to say that "enclosed Choreographies that have not completed" - so that enclosed choreos awaiting finalization are not terminated abnormally. Regards Gary
From 8-feb-05 concall: http://lists.w3.org/Archives/Member/member-ws-chor/2005Feb/att-0003/Minutes- 02082005-0.txt Editorial
In section 2.4.8 changed the final bullet from: . If an Exception occurs within a Choreography, then the Choreography completes unsuccessfully. In this case its Finalizer Block(s) MUST NOT be installed. The actions, including enclosed Choreographies, within this Choreography are completed abnormally before an Exception Work Unit can be matched to . If an Exception occurs within a Choreography, then the Choreography completes unsuccessfully. In this case its Finalizer Block(s) MUST NOT be installed. The actions, including enclosed Choreographies that have not completed, within this Choreography are completed abnormally before an Exception Work Unit can be matched
group notification of status change: http://lists.w3.org/Archives/Member/member- ws-chor/2005Jul/0004.html
no comments from group so closed confirmed: http://lists.w3.org/Archives/Member/member-ws-chor/2005Jul/0004.html