The current graph representation of Protocols does not allow for implementation of CNP protocol as it cannot be expressed that a certain number of messages of a specific type should arrive in any permuation of ordering. Moreover, timeouts should be involved in some manner.
Logged In: YES
user_id=1954604
Originator: YES
The number of messages to arrive in any permuation must not be expected to be known in design time.
Logged In: NO
There should be also accounted for more than 2 participants of the interaction (i.e. 1:1 negotiation) - at least 1:N interactions should be considered.