Hi,
I have a question relating to the meaning of "wsba:Invalid-State" in the
state tables of BusinessAgreementWithCoordinationCompletion
(Coordinator and Participant views)
protocol of "Web Services Business Activity (WS-BusinessActivity)
Version 1.2 OASIS
Standard 2 February 2009".
We interpret the presence of wsba:Invalid-State in the state tables
with
Outbound events
that the coordinator or participant are not supposed to send messages
that would lead
to such a state. In case of Inbound events, we understand the fact that
if a message
leading the coordinator or participant to an invalid state was sent to
them, then this
is an inconsistent situation in the protocol and can be understood as a
design flaw.
Could you, please, confirm whether this interpretation is correct?
Thank you in advance.
With regards,
Saleem
