[MODULE_PARAMETERS] | |
tsp_IOT_LGen_FSMs := { | |
{ | |
/**** FSM Editor layout information. **** | |
@state "idle" (144, 311) | |
@state "initiated" (739, 313) | |
@parallellink "idle" -- "initiated" (159, 311) (214, 311) * (712, 313) (657, 313) | |
@link "idle" -- "initiated" | |
singleevent "EPTF_CLL_LGenBase" "LGenBase: Start_the_traffic_case!" | |
@link "initiated" -- "idle" | |
singleevent "COAP Behavior" "COAP rsp: 205" | |
@link "initiated" -- "idle" | |
eventlist "COAP Behavior" "COAP rsp: 200" "COAP rsp: 201" "COAP rsp: 202" "COAP rsp: 203" "COAP rsp: 204" | |
@link "initiated" -- "idle" | |
singleevent "Special behavior for timeout reporting" "watchdog" | |
*/ | |
name := "TC_CORE01_GET_FSM", | |
fsmParams := { | |
{ | |
stateList := { | |
"idle", | |
"initiated" | |
} | |
}, | |
{ | |
timerList := { | |
{ | |
name := "watchdog", | |
startValue := 10.0 | |
} | |
} | |
}, | |
{ | |
varList := { | |
{ | |
name := "remoteHost", | |
initValue := { | |
charstringVal := "127.0.0.1" | |
}, | |
scope := TC | |
},//var:remoteHost | |
{ | |
name := "remotePort", | |
initValue := { | |
intVal := 30000 | |
}, | |
scope := TC | |
},//var:remotePort | |
// var:localHost | |
{ | |
name := "localHost", | |
initValue := { | |
charstringVal := "127.0.0.1" | |
}, | |
scope := TC | |
}, | |
// var:localPort | |
{ | |
name := "localPort", | |
initValue := { | |
intVal := 31000 | |
}, | |
scope := TC | |
} | |
} | |
}, | |
{ | |
statHandlerStatList := { } | |
} | |
},// fsmParams | |
table := { | |
extendedTable := { | |
{ | |
events2Listen := { | |
events := { | |
{ | |
singleEvent := { | |
bName := "EPTF_CLL_LGenBase", | |
iName := "LGenBase: Start_the_traffic_case!", | |
eventType := fsm | |
} | |
} | |
} | |
}, | |
cellRow := { | |
statedCellRow := { | |
{ | |
inState := { | |
state := "idle" | |
}, | |
cell := { | |
actionList := { | |
{ | |
stepOrFunctionName := "COAP Applib: init", | |
contextArgs := omit | |
}, | |
{ | |
stepOrFunctionName := "IOT App COAP: setLocalAddress_byVars", | |
contextArgs := { | |
varNames := { | |
"localHost", | |
"localPort" | |
} | |
} | |
}, | |
{ | |
stepOrFunctionName := "COAP Applib: setRemoteAddress_byVars", | |
contextArgs := { | |
varNames := { | |
"remoteHost", | |
"remotePort" | |
} | |
} | |
}, | |
{ | |
stepOrFunctionName := "COAP Applib: loadTemplate_byStringId", | |
contextArgs := { | |
charstringValue := "t_TC_CORE_01_GET" | |
} | |
}, | |
{ | |
stepOrFunctionName := "COAP Applib: send", | |
contextArgs := omit | |
}, | |
{ | |
stepOrFunctionName := "LGenBase: StepFunction_timerStart", | |
contextArgs := { | |
timerName := "watchdog" | |
} | |
} | |
}, | |
nextStateCalculation := omit, | |
nextState := "initiated" | |
} | |
} | |
} | |
} | |
}, | |
{ | |
events2Listen := { | |
events := { | |
{ | |
singleEvent := { | |
bName := "COAP Behavior", | |
iName := "COAP rsp: 205", | |
eventType := fsm | |
} | |
} | |
} | |
}, | |
cellRow := { | |
statedCellRow := { | |
{ | |
inState := { | |
state := "initiated" | |
}, | |
cell := { | |
actionList := { | |
{ | |
stepOrFunctionName := "IOT App: tcFinished_withVerdict", | |
contextArgs := { | |
verdict := { | |
verdict := pass, | |
reason := "" | |
} | |
} | |
} | |
}, | |
nextStateCalculation := omit, | |
nextState := "idle" | |
} | |
} | |
} | |
} | |
}, | |
{ | |
events2Listen := { | |
events := { | |
{ | |
eventList := { | |
bName := "COAP Behavior", | |
iNameList := { | |
"COAP rsp: 200", | |
"COAP rsp: 201", | |
"COAP rsp: 202", | |
"COAP rsp: 203", | |
"COAP rsp: 204" | |
}, | |
eventType := fsm | |
} | |
} | |
} | |
}, | |
cellRow := { | |
statedCellRow := { | |
{ | |
inState := { | |
state := "initiated" | |
}, | |
cell := { | |
actionList := { | |
{ | |
stepOrFunctionName := "IOT App: tcFinished_withVerdict", | |
contextArgs := { | |
verdict := { | |
verdict := fail, | |
reason := "" | |
} | |
} | |
} | |
}, | |
nextStateCalculation := omit, | |
nextState := "idle" | |
} | |
} | |
} | |
} | |
}, | |
{ | |
events2Listen := { | |
events := { | |
{ | |
singleEvent := { | |
bName := "Special behavior for timeout reporting", | |
iName := "watchdog", | |
eventType := fsm | |
} | |
} | |
} | |
}, | |
cellRow := { | |
statedCellRow := { | |
{ | |
inState := { | |
state := "initiated" | |
}, | |
cell := { | |
actionList := { | |
{ | |
stepOrFunctionName := "IOT App: tcFinished_withVerdict", | |
contextArgs := { | |
verdict := { | |
verdict := fail, | |
reason := "" | |
} | |
} | |
} | |
}, | |
nextStateCalculation := omit, | |
nextState := "idle" | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
}, | |
{ | |
/**** FSM Editor layout information. **** | |
@state "idle" (100, 527) | |
@state "initiated" (1019, 527) | |
@parallellink "idle" -- "initiated" (115, 527) (203, 527) * (992, 527) (904, 527) | |
@link "idle" -- "initiated" | |
singleevent "EPTF_CLL_LGenBase" "LGenBase: Start_the_traffic_case!" | |
@link "initiated" -- "idle" | |
eventlist "COAP Behavior" "COAP rsp: 200" "COAP rsp: 202" "COAP rsp: 203" "COAP rsp: 205" | |
@link "initiated" -- "idle" | |
singleevent "COAP Behavior" "COAP rsp: 201" | |
@link "initiated" -- "idle" | |
singleevent "Special behavior for timeout reporting" "watchdog" | |
*/ | |
name := "TC_CORE02_POST_FSM", | |
fsmParams := { | |
{ | |
stateList := { | |
"idle", | |
"initiated" | |
} | |
}, | |
{ | |
timerList := { | |
{ | |
name := "watchdog", | |
startValue := 10.0 | |
} | |
} | |
}, | |
{ | |
varList := { | |
{ | |
name := "remoteHost", | |
initValue := { | |
charstringVal := "127.0.0.1" | |
}, | |
scope := TC | |
},//var:remoteHost | |
{ | |
name := "remotePort", | |
initValue := { | |
intVal := 30000 | |
}, | |
scope := TC | |
},//var:remotePort | |
// var:localHost | |
{ | |
name := "localHost", | |
initValue := { | |
charstringVal := "127.0.0.1" | |
}, | |
scope := TC | |
}, | |
// var:localPort | |
{ | |
name := "localPort", | |
initValue := { | |
intVal := 31000 | |
}, | |
scope := TC | |
} | |
} | |
}, | |
{ | |
statHandlerStatList := { } | |
} | |
},// fsmParams | |
table := { | |
extendedTable := { | |
{ | |
events2Listen := { | |
events := { | |
{ | |
singleEvent := { | |
bName := "EPTF_CLL_LGenBase", | |
iName := "LGenBase: Start_the_traffic_case!", | |
eventType := fsm | |
} | |
} | |
} | |
}, | |
cellRow := { | |
statedCellRow := { | |
{ | |
inState := { | |
state := "idle" | |
}, | |
cell := { | |
actionList := { | |
{ | |
stepOrFunctionName := "COAP Applib: init", | |
contextArgs := omit | |
}, | |
{ | |
stepOrFunctionName := "IOT App COAP: setLocalAddress_byVars", | |
contextArgs := { | |
varNames := { | |
"localHost", | |
"localPort" | |
} | |
} | |
}, | |
{ | |
stepOrFunctionName := "COAP Applib: setRemoteAddress_byVars", | |
contextArgs := { | |
varNames := { | |
"remoteHost", | |
"remotePort" | |
} | |
} | |
}, | |
{ | |
stepOrFunctionName := "COAP Applib: loadTemplate_byStringId", | |
contextArgs := { | |
charstringValue := "t_TC_CORE_02_POST" | |
} | |
}, | |
{ | |
stepOrFunctionName := "COAP Applib: send", | |
contextArgs := omit | |
}, | |
{ | |
stepOrFunctionName := "LGenBase: StepFunction_timerStart", | |
contextArgs := { | |
timerName := "watchdog" | |
} | |
} | |
}, | |
nextStateCalculation := omit, | |
nextState := "initiated" | |
} | |
} | |
} | |
} | |
}, | |
{ | |
events2Listen := { | |
events := { | |
{ | |
eventList := { | |
bName := "COAP Behavior", | |
iNameList := { | |
"COAP rsp: 200", | |
"COAP rsp: 202", | |
"COAP rsp: 203", | |
"COAP rsp: 205" | |
}, | |
eventType := fsm | |
} | |
} | |
} | |
}, | |
cellRow := { | |
statedCellRow := { | |
{ | |
inState := { | |
state := "initiated" | |
}, | |
cell := { | |
actionList := { | |
{ | |
stepOrFunctionName := "IOT App: tcFinished_withVerdict", | |
contextArgs := { | |
verdict := { | |
verdict := fail, | |
reason := "" | |
} | |
} | |
} | |
}, | |
nextStateCalculation := omit, | |
nextState := "idle" | |
} | |
} | |
} | |
} | |
}, | |
{ | |
events2Listen := { | |
events := { | |
{ | |
singleEvent := { | |
bName := "COAP Behavior", | |
iName := "COAP rsp: 201", | |
eventType := fsm | |
} | |
} | |
} | |
}, | |
cellRow := { | |
statedCellRow := { | |
{ | |
inState := { | |
state := "initiated" | |
}, | |
cell := { | |
actionList := { | |
{ | |
stepOrFunctionName := "IOT App: tcFinished_withVerdict", | |
contextArgs := { | |
verdict := { | |
verdict := pass, | |
reason := "" | |
} | |
} | |
} | |
}, | |
nextStateCalculation := omit, | |
nextState := "idle" | |
} | |
} | |
} | |
} | |
}, | |
{ | |
events2Listen := { | |
events := { | |
{ | |
singleEvent := { | |
bName := "Special behavior for timeout reporting", | |
iName := "watchdog", | |
eventType := fsm | |
} | |
} | |
} | |
}, | |
cellRow := { | |
statedCellRow := { | |
{ | |
inState := { | |
state := "initiated" | |
}, | |
cell := { | |
actionList := { | |
{ | |
stepOrFunctionName := "IOT App: tcFinished_withVerdict", | |
contextArgs := { | |
verdict := { | |
verdict := fail, | |
reason := "" | |
} | |
} | |
} | |
}, | |
nextStateCalculation := omit, | |
nextState := "idle" | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
}, | |
{ | |
/**** FSM Editor layout information. **** | |
@state "idle" (177, 188) | |
@state "initializing" (668, 273) | |
@state "serving" (393, 486) | |
@selfstate "serving" (850, 668) | |
@parallellink "idle" -- "initializing" (192, 191) (236, 199) * (633, 267) (589, 259) | |
@link "idle" -- "initializing" | |
singleevent "EPTF_CLL_LGenBase" "LGenBase: Start_the_traffic_case!" | |
@link "initializing" -- "idle" | |
singleevent "COAP Behavior" "COAP transport: fail rsp" | |
@parallellink "initializing" -- "serving" (653, 285) (629, 304) * (408, 474) (433, 455) | |
@link "initializing" -- "serving" | |
singleevent "COAP Behavior" "COAP transport: succ rsp" | |
@parallellink "serving" -- "idle" (384, 474) (364, 447) * (186, 200) (206, 227) | |
@link "serving" -- "idle" | |
singleevent "EPTF_CLL_LGenBase" "LGenBase: Stop_the_traffic_case!" | |
@parallellink "serving" -- "serving" (417, 496) (458, 512) * (826, 658) (785, 642) | |
@link "serving" -- "serving" | |
singleevent "COAP Behavior" "COAP req: GET" | |
@link "serving" -- "serving" | |
singleevent "COAP Behavior" "COAP req: POST" | |
*/ | |
name := "TC_CORE_Server_FSM", | |
fsmParams := { | |
{ | |
stateList := { | |
"idle", | |
"initializing", | |
"serving" | |
} | |
}, | |
{ | |
varList := { | |
// var:localHost | |
{ | |
name := "localHost", | |
initValue := { | |
charstringVal := "127.0.0.1" | |
}, | |
scope := TC | |
}, | |
// var:localPort | |
{ | |
name := "localPort", | |
initValue := { | |
intVal := 30000 | |
}, | |
scope := TC | |
}, | |
{ | |
name := "portOffset", | |
initValue := { | |
intVal := 0 | |
}, | |
scope := TC | |
}//var:portOffset | |
} | |
}, | |
{ | |
statHandlerStatList := { } | |
} | |
},// fsmParams | |
table := { | |
extendedTable := { | |
{ | |
events2Listen := { | |
events := { | |
{ | |
singleEvent := { | |
bName := "EPTF_CLL_LGenBase", | |
iName := "LGenBase: Start_the_traffic_case!", | |
eventType := fsm | |
} | |
} | |
} | |
}, | |
cellRow := { | |
statedCellRow := { | |
{ | |
inState := { | |
state := "idle" | |
}, | |
cell := { | |
actionList := { | |
{ | |
stepOrFunctionName := "COAP Applib: init", | |
contextArgs := omit | |
}, | |
{ | |
stepOrFunctionName := "IOT App COAP: setLocalAddress_byVars", | |
contextArgs := { | |
varNames := { | |
"localHost", | |
"localPort", | |
"portOffset" | |
} | |
} | |
}, | |
{ | |
stepOrFunctionName := "COAP Applib: startListening", | |
contextArgs := omit | |
} | |
}, | |
nextStateCalculation := omit, | |
nextState := "initializing" | |
} | |
} | |
} | |
} | |
}, | |
{ | |
events2Listen := { | |
events := { | |
{ | |
singleEvent := { | |
bName := "COAP Behavior", | |
iName := "COAP transport: succ rsp", | |
eventType := fsm | |
} | |
} | |
} | |
}, | |
cellRow := { | |
statedCellRow := { | |
{ | |
inState := { | |
state := "initializing" | |
}, | |
cell := { | |
actionList := omit, | |
nextStateCalculation := omit, | |
nextState := "serving" | |
} | |
} | |
} | |
} | |
}, | |
{ | |
events2Listen := { | |
events := { | |
{ | |
singleEvent := { | |
bName := "COAP Behavior", | |
iName := "COAP transport: fail rsp", | |
eventType := fsm | |
} | |
} | |
} | |
}, | |
cellRow := { | |
statedCellRow := { | |
{ | |
inState := { | |
state := "initializing" | |
}, | |
cell := { | |
actionList := { | |
{ | |
stepOrFunctionName := "IOT App: tcFinished_withVerdict", | |
contextArgs := { | |
verdict := { | |
verdict := fail, | |
reason := "" | |
} | |
} | |
} | |
}, | |
nextStateCalculation := omit, | |
nextState := "idle" | |
} | |
} | |
} | |
} | |
}, | |
{ | |
events2Listen := { | |
events := { | |
{ | |
singleEvent := { | |
bName := "EPTF_CLL_LGenBase", | |
iName := "LGenBase: Stop_the_traffic_case!", | |
eventType := fsm | |
} | |
} | |
} | |
}, | |
cellRow := { | |
statedCellRow := { | |
{ | |
inState := { | |
state := "serving" | |
}, | |
cell := { | |
actionList := { | |
{ | |
stepOrFunctionName := "IOT App: tcFinished_withVerdict", | |
contextArgs := { | |
verdict := { | |
verdict := fail, | |
reason := "" | |
} | |
} | |
} | |
}, | |
nextStateCalculation := omit, | |
nextState := "idle" | |
} | |
} | |
} | |
} | |
}, | |
{ | |
events2Listen := { | |
events := { | |
{ | |
singleEvent := { | |
bName := "COAP Behavior", | |
iName := "COAP req: GET", | |
eventType := entity | |
} | |
} | |
} | |
}, | |
cellRow := { | |
statedCellRow := { | |
{ | |
inState := { | |
state := "serving" | |
}, | |
cell := { | |
actionList := { | |
{ | |
stepOrFunctionName := "COAP Applib: handleRequest", | |
contextArgs := omit | |
}, | |
{ | |
stepOrFunctionName := "COAP Applib: loadTemplate_byStringId", | |
contextArgs := { | |
charstringValue := "t_TC_CORE_Server_Content" | |
} | |
}, | |
{ | |
stepOrFunctionName := "COAP Applib: sendResponse", | |
contextArgs := omit | |
} | |
}, | |
nextStateCalculation := omit, | |
nextState := "serving" | |
} | |
} | |
} | |
} | |
}, | |
{ | |
events2Listen := { | |
events := { | |
{ | |
singleEvent := { | |
bName := "COAP Behavior", | |
iName := "COAP req: POST", | |
eventType := entity | |
} | |
} | |
} | |
}, | |
cellRow := { | |
statedCellRow := { | |
{ | |
inState := { | |
state := "serving" | |
}, | |
cell := { | |
actionList := { | |
{ | |
stepOrFunctionName := "COAP Applib: handleRequest", | |
contextArgs := omit | |
}, | |
{ | |
stepOrFunctionName := "COAP Applib: loadTemplate_byStringId", | |
contextArgs := { | |
charstringValue := "t_TC_CORE_Server_Created" | |
} | |
}, | |
{ | |
stepOrFunctionName := "COAP Applib: sendResponse", | |
contextArgs := omit | |
} | |
}, | |
nextStateCalculation := omit, | |
nextState := "serving" | |
} | |
} | |
} | |
} | |
} | |
} | |
} | |
}} | |