summaryrefslogtreecommitdiff
path: root/cesar/cp/sta/action/doc/poweron.sdl
blob: 1a1a4fe3cf79e4d304d50206c70e748e358cd84b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
(idle) -to poweron-> (poweron)

poweron:
(poweron) -ustt timeout-> <:avln?> -n-> (poweron)
                          <:avln?> -y(1)-> (poweron)
(poweron) -btt timeout-> <:NID match\n& CCo?> -y-> (cco)
                         <:NID match\n& CCo?> -n-> <b:avln?> -y-> (usta)
                                                   <b:avln?> -n-> (ucco)
(poweron) -beacon-> <:NID match?> -n(2)-> (poweron)
                    <:NID match?> -y-> (poweron joining)
(poweron) -DRV_STA_SC-> (poweron)
(poweron) -to stop-> (idle)
(poweron joining) -left(2)-> (poweron)
(poweron joining) -joined-> (sta)
(poweron joining) -DRV_STA_SC-> (poweron joining)
(poweron joining) -to stop-> (unassociating)

usta:
(usta) -ustt timeout-> <:avln?> -n-> (usta)
                       <:avln?> -y(1)-> (usta)
(usta) -beacon-> <:NID match?> -n(2)-> (usta)
                 <:NID match?> -y-> (usta joining)
(usta) -usta ind-> <:NID match\n& CCo?> -y-> (cco)
                   <:NID match\n& CCo?> -n-> (usta)
(usta) -net list empty-> (ucco)
(usta) -DRV_STA_SC-> (usta sc)
(usta) -to stop-> (idle)
(usta joining) -left(2)-> (usta)
(usta joining) -joined-> (sta)
(usta joining) -DRV_STA_SC-> (usta joining)
(usta joining) -to stop-> (unassociating)

(usta sc) -ustt timeout-> <usc:avln?> -n-> (usta sc)
                          <usc:avln?> -y-> (usta sc)
(usta sc) -beacon-> (usta sc)
(usta sc) -usta ind-> <usc:NID match\n& CCo?> -y-> (ucco sc)
                      <usc:NID match\n& CCo?> -n-> (usta sc)
(usta sc) -net list empty-> (ucco sc)
(usta sc) -sc to cco-> (cco sc)
(usta sc) -sc to sc add-> (cco sc)
(usta sc) -sc succeed-> (usta joining)
(usta sc) -sc failed-> (usta)
(usta sc) -to stop-> (unassociating)

ucco:
(ucco) -beacon-> (usta)
(ucco) -association request-> (cco)
(ucco) -DRV_STA_SC-> <:add?> -y-> (ucco sc)
                     <:add?> -n-> (ucco sc)
(ucco) -to stop-> (idle)

(ucco sc) -beacon-> (usta sc)
(ucco sc) -sc to cco-> (cco sc)
(ucco sc) -sc to sc add-> (cco sc)
(ucco sc) -sc succeed-> (usta joining)
(ucco sc) -sc failed-> (ucco)
(ucco sc) -to stop-> (unassociating)

sta:
(sta) -left-> (usta)
(sta) -avln failure-> (poweron)
(sta) -DRV_STA_SC-> <:add?> -y-> (sta sc)
                    <:add?> -n-> (sta)
(sta) -to stop-> (unassociating)

(sta sc) -sc succeed-> (sta)
(sta sc) -sc failed-> (sta)
(sta sc) -left-> (usta sc)
(sta sc) -avln failure-> (poweron)
(sta sc) -to stop-> (unassociating)

cco:
(cco) -join timeout-> <:sta joined> -y-> (cco)
                      <:sta joined> -n-> <:avln?> -y-> (usta)
                                         <:avln?> -n-> (ucco)
(cco) -all sta leaved(3)-> (cco)
(cco) -DRV_STA_SC-> <:add?> -y-> (cco sc)
                    <:add?> -n-> (cco)
(cco) -to stop-> (unassociating)

(cco sc) -join timeout-> <cs:sta joined> -y-> (cco sc)
                         <cs:sta joined> -n-> <:avln?> -y-> (usta sc)
                                              <:avln?> -n-> (ucco sc)
(cco sc) -sc succeed-> (cco)
(cco sc) -all sta leaved-> (cco sc)
(cco sc) -to stop-> (unassociating)

unassociating:
(unassociating) -left-> (idle)
(unassociating) -avln failure-> (idle)