W3C home > Mailing lists > Public > public-ws-chor-comments@w3.org > April 2006

Exception handling for the actions in a finalizerBlock

From: Jing Li <molingxi@gmail.com>
Date: Sun, 16 Apr 2006 00:35:42 +0800
Message-ID: <1a9a7c3a0604150935m65df0ffamb818aded56fe0505@mail.gmail.com>
To: "public-ws-chor-comments@w3.org" <public-ws-chor-comments@w3.org>
According to Section 5.7 "Choreography Life-line",  the exceptionBlock is
deinstalled when the choreography enters the Successfully Completed*
*State. That means when an exception occurs in a finalizerBlock of the
choreography which is in a Successfully Completed State, the exception can't
be handled in this choreography. However, in Section 5.9 "Choreography
Finalization", the last sentece said"The actions of a finalizer activity MAY
fault. The semantics for matching the fault and acting on it are the same as
described in Section 5.8". It leads to conflict because when performing
finalizerBlock, the exceptionBlock has been deinstalled.

I think the exceptionBlock should not be deinstalled until the choreography
enters the Closed State, so it can also deal with the exception during the
performance of any finalizerBlock.
Received on Monday, 17 April 2006 15:10:32 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:20:10 GMT