|
There are some minor fixes needed in the state tables that showed
up when the state tables were revised for 1.1.
1. Allow a superior to reject an enrolment by sending CANCEL
2. In inferior state z1, do not treat receive
SUPERIOR_STATE/prepare-received with response-request=false as if it
were a request for status.
3. Allow for disruption (failure) from the inferior's completed queried
states y1, y2.
Proposed resolution:
a. Allow "decide to cancel" in A1, with transition to G1.
b. Make receipt of SUPERIOR_STATE/prepare-received in z1 stay in z1.
c. Have transitions for "disruption I" in y1 and y2 to z and z1 respectively.
|
btp_1.1_statetables.xls (53K)