[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: PR Issue 16: Invariant wrong
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
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]