Issue 079 - WS-AT: state tables - "Forgetting" state

["Ram Jeyaraman" <Ram.Jeyaraman@microsoft.com>]

This is identified as WS-TX issue 079.

 

Please ensure follow-ups have a subject line starting ‘Issue 079 - WS-AT: state tables - "Forgetting" state’.

 

From: Peter Furniss [mailto:peter.furniss@erebor.co.uk]
Sent: Monday, July 10, 2006 1:08 PM
To: Ram Jeyaraman
Subject: new issue - WS-AT: state tables - "Forgetting" state

 

Issue name -- WS-AT: state tables - "Forgetting" state 

 
PLEASE DO NOT REPLY TO THIS EMAIL OR START A DISCUSSISON THREAD UNTIL THE ISSUE IS ASSIGNED A NUMBER.
 
The issues coordinator will notify the list when that has occurred.
 
Target document and draft:
 
Protocol:  WS-AT
 
Artifact:  spec
 
Draft:  AT spec cd 2
 
Link to the document referenced:
 
http://www.oasis-open.org/committees/download.php/18889/wstx-wsat-1.1-spec-cd-02.doc

 

Section and PDF line number:  section 10, coordinator view state table
 

 

Issue type:  Editorial
 

 

Related issues:
 
Issue 036 : WS-AT - Coordinator state machine incomplete
Issue 048 : WS-AT - Internal events and actions undefined
New issues:
 
Issue Description:

 

Readonly leaves the coordinator in Active state which will cause it to send protocol in reaction to internal events, contrary to the state diagram.
 
Issue Details

 

A coordinator receiving ReadOnly from a Participant should end the protocol exchanges. However, the table currently has the state staying in Active (The "Forget" action has to
be understood as initiating forget, as the transitions to None are distinct)
If User Commit or User Rollback are received while this state engine is still in the Active state, the table says Prepare or Rollback would be sent.  ReadOnly needs to move the state to one where User Commit and User Rollback are ignored.
 
A related problem is the two User actions are not permitted in Aborting - which is correct since we would not allow duplicate User Rollback, but incorrect if the transition to Aborting was caused by the spontaneous arrival of Aborted in Active state.

 

 
Proposed resolution
 
Add a state "Forgetting", which is entered by all cells that have Forget as an action. All incoming messages have action Ignore, except for Prepared, and User Commit, User Rollback, Initiate Rollback, Expires Times Out are all ignored. All Forgotten causes transition to None. receive Prepared/Forgetting has action (re)Send  Rollback.