wsba:Invalid-State

[Saleem Vighio <saleem.vighio@gmail.com>]

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