Join Node: Client_DivSQL
:
| State Variable Name | Submodel Variables |
|---|
| Begin_Edge_1 | TransactionSAN_1->Begin_Edge |
| Begin_Edge_2 | TransactionSAN_2->Begin_Edge |
| Begin_Success_1 | Middleware_SAN->Begin_called_1 |
| TransactionSAN_1->Begin_Success |
| Begin_Success_2 | TransactionSAN_2->Begin_Success |
| Middleware_SAN->Begin_called_2 |
| Client_ID | TransactionSAN_2->Trans_ID |
| ClientSAN->Client_ID |
| Middleware_SAN->Middleware_ID |
| TransactionSAN_1->Trans_ID |
| Execute_Transaction_MW_Client | ClientSAN->Execute_Transaction |
| Middleware_SAN->Execute_Transaction_current |
| Execute_Transaction_MW_Server_1 | Middleware_SAN->Execute_Transaction_1 |
| TransactionSAN_1->Execute_Transaction |
| Execute_Transaction_MW_Server_2 | TransactionSAN_2->Execute_Transaction |
| Middleware_SAN->Execute_Transaction_2 |
| Init_Blocking_Ptrs | TransactionSAN_1->Init_Blocking_Ptrs |
| Mutex_granted | Middleware_SAN->Mutex_granted |
| Mutex_pool | Middleware_SAN->Mutex_pool |
| Number_of_Clients | ClientSAN->Number_of_Clients |
| Oper_1 | TransactionSAN_1->Oper |
| Oper_2 | TransactionSAN_2->Oper |
| Operation_Executed_MW_Client | ClientSAN->Next_Operation_Details_1 |
| Middleware_SAN->Operation_Executed_current |
| Operation_Executed_MW_Server_1 | Middleware_SAN->Operation_Executed_Server_1 |
| TransactionSAN_1->Operation_Executed_Server_1 |
| Operation_Executed_MW_Server_2 | TransactionSAN_2->Operation_Executed_Server_2 |
| Middleware_SAN->Operation_Executed_Server_2 |
| ReacPulse_2_Server_1 | TransactionSAN_1->ReacPulse_2 |
| ReacPulse_2_Server_2 | TransactionSAN_2->ReacPulse_2 |
| Request_Operation_MW_Client | ClientSAN->Request_Operation_Client_1 |
| Middleware_SAN->Request_Operation_Server_current |
| Request_Operation_MW_Server_1 | Middleware_SAN->Request_Operation_Server_1 |
| TransactionSAN_1->Request_Operation_Server |
| Request_Operation_MW_Server_2 | TransactionSAN_2->Request_Operation_Server |
| Middleware_SAN->Request_Operation_Server_2 |
| Server_1_enabled | Middleware_SAN->Server_1_enabled |
| Server_2_enabled | Middleware_SAN->Server_2_enabled |
| Start_Client_Servers | TransactionSAN_2->Start_Servers |
| ClientSAN->Start_Clients |
| TransactionSAN_1->Start_Servers |
|