MagicDraw Clean XMI Exporter 19.0 v4 Binary Binary RP::can_send() == true RP::unsent_changes() == <empty> RP::unsent_changes() != <empty> WHC::add_change(a_change) [a_change.seq_num > MAX{WP::received_changes}] else else a_change.sequenceNumber >= expected_seq_num a_change.sequenceNumber >= expected_seq_num Binary else RP::unsent_changes != <empty> RP::unsent_changes == <empty> RP::can_send() == true WHC:get_change_max() == RP:acked_changes_min() WHC:get_change_max() > RP:acked_changes_min() PR::requested_changes != <empty> RP::requested_changes == <empty> RP::can_send() == true is_relevant HEARTBEAT.F == 1 HEARTBEAT.F == 0 WP::missing_changes != <empty> WP::missing_changes == <empty> RP::requested_changes() == <empty> RP::can_send() == true RP::requested_changes() != <empty> RP::unsent_changes() != <empty> RP::unsent_changes() == <empty> RP::unacked_changes() == <empty> RP::unacked_changes != <empty> RP::can_send() == true is_relevant WHC::add_change(a_change) WHC::remove_change(a_change) W::pushMode == true W::pushMode == false WP::missing_changes() != <empty> WP::missing_changes() == <empty> HEARTBEAT.FinalFlag==SET a_change := DATA RHC::add_change (a_change) WP::received_change_set ( a_change HEARTBEAT.FinalFlag==NOT_SET RL::requested_changes() != <empty> RL::unsent_changes() == <empty> RL::unsent_changes() != <empty> RL::can_send() == true RL::requested_changes() == <empty> RP:unacked_changes != <empty> RP:unacked_changes() == <empty> RL::can_send() == true DATA RL::can_send() == true RL::unsent_changes() != <empty> RL::unsent_changes() == <empty> W::nackResponseDelay W::heartbeatPeriod RP::nackSupressionDuration R::heartbeatResponseDelay W::heartbeatPeriod