CF4 detailed proposal for V1.07

[Jacques Durand <JDurand@us.fujitsu.com>]

Title: CF4 detailed proposal for V1.07

--------- CF4 on V1.07:

Important note:
The three faults codes for which we recommend to terminate resending in 3.2.1,
are kind of arbitrary:
there is no chance that resending the exact faulted message will change its status from fault to succeed, no matter what the fault is, except for the fault: MessageProcessingFailure

In consequence, and in the light of latest discussions on CF4, my proposal is:

--------------------------
L580:
Replace:
 "A Sending RMP SHOULD NOT resend a message for which an RM-Reply with one of the
 following Fault types has been received and MUST notify its Producer of a delivery failure instead: <bullet list>"
with:
"A Sending RMP SHALL NOT resend a message for which an RM-Reply with a Fault type other than
MessageProcessingFailure has been received, and MUST notify its Producer of a delivery failure instead."
(note that the bullet list disappears).

-------------------------------------------------------
Section 5.1.3.5 (termination by ordering failure), the Triggering event line (in both Sender and Receiver)
should be modified as:

replace on "Receiver side" part:
"Triggering event: in an ordered group, a received message expires before delivery."
with:
"Triggering event: in an ordered group, a received message expires before delivery, or a received message is faulted with a fault code different from MessageProcessingFailure ."

 replace on "Sender side" part:
"Triggering event: in an ordered group, a non-acknowledged message expires."
with:
"Triggering event: in an ordered group, a non-acknowledged message expires, or a sent message is faulted
with a fault code different from MessageProcessingFailure ."

-------------------------------------------------------
Section 3.2.3 (Ordered Message Delivery), after L632 (at the end of section) add:
 "A Sending RMP and a Receiver will terminate the group as specified in 5.1.3.5 (Termination by Ordering Failure)
when respectively receiving and publishing Faults other than MessageProcessingFailure."

(note that the normative requirement for this (MUST) is in 5.1.3.5)

Jacques