Issue R16: Proposal For Vote

[Danny van der Rijn <dannyv@tibco.com>]

To summarize an answer Mark's questions

What fault is the 3rd sentence referring to?

"the new fault" should read "a new fault" or "no new fault"

If it MUST NOT be generated and thrown, then what is the point of the 4th sentence?

The 4th sentence is a continuation of the 2nd.  I've moved them together in this proposal.

2 possible rewordings for the bullet:

1)

If a fault handler has completed without any unhandled fault then a check for orphaned IMA's MUST be made. If any orphaned IMA is detected then a new bpel:missingReply is thrown to the parent scope (similar to throwing or rethrowing other faults from a fault handler). The newly thrown bpel:missingReply fault MUST encompass all orphaned IMA's, and they are no longer considered orphaned.  However, if the fault handler is handling a bpel:missingReply fault and no new IMA's were created and left open by the fault handler, a new bpel:missingReply fault MUST NOT be generated or thrown. 

2) 
If a fault handler has completed without any unhandled fault then a check for orphaned IMA's MUST be made. If any orphaned IMA is detected then a new bpel:missingReply is thrown to the parent scope (similar to throwing or rethrowing other faults from a fault handler). The newly thrown bpel:missingReply fault MUST encompass all orphaned IMA's, and they are no longer considered orphaned.  
However, if the fault handler is handling a bpel:missingReply fault and no new IMA's were created and left open by the fault handler, a bpel:missingReply fault MUST NOT be thrown, rethrown, or generated. 

-----------------------------------------

Issue R16: confusing description of Message Exchange Handling

Status: received
Date added: 26 Sep 2006
Date submitted: 26 September 2006
Submitter: Mark Ford
Description: Section 12.2 contains a paragraph and bullet points that define an orphaned IMA and how they should be detected and handled. I’m having a hard time understanding the 2nd bullet:

• If a fault handler has completed without any unhandled fault then a check for orphaned IMA’s MUST be made. If any orphaned IMA is detected then a new bpel:missingReply is thrown to the parent scope (similar to throwing or rethrowing other faults from a fault handler). However, if the fault handler is handling a bpel:missingReply fault and no new IMA's were created and left open by the fault handler, the new fault MUST NOT be generated and thrown. The newly thrown bpel:missingReply fault MUST encompass all orphaned IMA's. When the bpel:missingReply fault is thrown, all the orphaned IMA's are encompassed by the fault and are no longer considered orphaned.

I get lost after the second sentence. What fault is the 3rd sentence referring to? If it MUST NOT be generated and thrown, then what is the point of the 4th sentence?
Changes: 26 Sep 2006 - new issue