Nr | Name | Value | Previous Value |
---|---|---|---|
1 | g | ? | ? |
2 | h | ? | ? |
3 | i | ? | ? |
4 | r | ? | ? |
5 | r_st | ? | ? |
6 | s_st | ? | ? |
Nr | Name | Value |
---|---|---|
1 | f | {(1|->data1),(2|->data2),(3|->data3)} |
2 | n | 3 |
Nr | Name | Value |
---|---|---|
1 | D | {data1,data2,data3} |
2 | STATUS | {working,success,failure} |
Nr | Name | Enabled |
---|---|---|
1 | brp | ? |
2 | RCV_current_data | ? |
3 | RCV_success | ? |
4 | RCV_failure | ? |
5 | SND_success | ? |
6 | SND_failure | ? |
Nr | Event | Description | Target State ID |
---|---|---|---|
1 | SETUP_CONSTANTS(f={(1↦data1),(2↦data2),(3↦data3)},n=3) | State 0 | |
2 | INITIALISATION(g=∅,h=∅,i=0,r=0,r_st=working,s_st=working) | ||
3 | RCV_current_data | the receiver receives packet nr. 1 : data1 | |
4 | RCV_current_data | the receiver receives packet nr. 2 : data2 | |
5 | RCV_success | the receiver receives last packet nr. 3 : data3 | |
6 | SND_success | the sender detectcs successful completion | |
7 | brp(g={(1↦data1),(2↦data2),(3↦data3)},i=3) | the protocol terminates on the sender side with 3 packets sent |