W3C home > Mailing lists > Public > public-ws-chor-comments@w3.org > January 2005

Finalization of an enclosed choreography when exception occurs

From: Gary Brown <gary@enigmatec.net>
Date: Thu, 27 Jan 2005 14:43:02 -0000
Message-ID: <006301c5047e$84e02680$0200a8c0@LATTITUDEGary>
To: <public-ws-chor-comments@w3.org>
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.

Received on Thursday, 27 January 2005 14:43:16 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:46:24 UTC