PR Issue 16: Invariant wrong

[Marc Goodner <mgoodner@microsoft.com>]

PR Issue 16

-----Original Message-----
From: Paul Fremantle [mailto:paul@wso2.com]
Sent: Thursday, October 19, 2006 1:29 PM
To: ws-rx@lists.oasis-open.org
Subject: [ws-rx] New Issue: Invariant wrong

The 2nd Protocol Invariant (sec 2.3) says:

Within every Acknowledgement Message it issues, the RM Destination MUST
include one or more
AcknowledgementRange child elements that contain, in their collective
ranges, the message
number of every message accepted by the RM Destination. The RM
Destination MUST exclude, in
the AcknowledgementRange elements, the message numbers of any messages
it has not
accepted.

This isn't true in the case when the SequenceAck is either None or Nack.

Paul

--
Paul Fremantle
VP/Technology and Partnerships, WSO2
OASIS WS-RX TC Co-chair

http://bloglines.com/blog/paulfremantle
paul@wso2.com
(646) 290 8050

"Oxygenating the Web Service Platform", www.wso2.com