bt-spec message
[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
--
[Date Index]
| [Thread Index]
| [Elist Home]
Subject: [bt-spec] Issue 18: Response to contradiction
- From: Tony Fletcher <tony.fletcher@choreology.com>
- To: BT - spec <bt-spec@lists.oasis-open.org>
- Date: Thu, 24 Jan 2002 17:27:56 +0000
Dear
Colleagues,
Peter
wrote:
There is no response to CONTRADICTION, it's the
end of the message sequence. It's receipt means the Inferior is permitted to
remove the persistent information that recorded the autonomous decision - this
ensures that a contradiction (the event, not the message) is known to the
superior, because the Superior won't send CONTRADICTION until it has recorded
(or done whatever it wants to) with the knowledge of the contradiction. (if you
track through the state tables you'll see that k2 and l2, the post-contradiction
states, are left only be removing the persistent information, causing a transit
to state z).
After
a HAZARD is a little messier, since there may not be any persistent information
(in fact it may be precisely the inability to modify the persistent information
that caused the problem). But CONTRADICTION is again the indication that the
Superior has taken note of the problem, so the Inferior has no further
responsibility.
Proposed
Solution:
No change.
(CONTRADICTION is a final message)
Best Regards
Tony
A M Fletcher
Choreology Ltd., 13 Austin Friars, London
EC2N 2JX UK
Tel: +44 (0) 20
76701787 Mobile: +44 (0) 7801
948219
[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
--
[Date Index]
| [Thread Index]
| [Elist Home]
Powered by eList eXpress LLC