A State-Based Programming Model for Wireless Sensor Networks

162 Appendix A. OSM Code Generation
128 module STATE_C:
129 input e, f;
130 % no outputs
131 procedure inC1()(), inC2()();
132 present
133 case f do call inC1()();
134 case e do call inC2()();
135 end present;
136 halt
137 end module % STATE_C
138
139 % o-star
140 module STATE_PROG_2:
141 input e, f;
142 % no outputs
143 % no function declarations
144 run CONSTELLATION_D_G; % sequential substates
145 halt
84 trap T in
85 signal alpha, iota, omega in
86 emit alpha;
87 suspend
88 % suspend
89 halt
90 % when
91 when immediate iota
92 ||
93 every tick do
94 present
95 case f do emit iota; emit xi1; call outA()(); exit T
96 case e do emit iota; emit xi2; call outA()(); exit T
97 end present
98 end every
99 end signal
100 end trap
101 end module % STATE_A
102
103 module STATE_B:
104 input e, f;
105 output xi1, xi2;
106 procedure outB()();
107 % no onEntry actions
108 trap T in
109 signal alpha, iota, omega in
110 emit alpha;
111 suspend
112 % suspend
113 halt
114 % when
115 when immediate iota
116 ||
117 every tick do
118 present
119 case f do emit iota; emit xi1; call outB()(); exit T
120 case e do emit iota; emit xi2; exit T
146 end module % STATE_PROG_2
147
148 module CONSTELLATION_D_G:
149 input e, f;
150 % no output
151
152 signal gamma1, gamma2 in
153 % init:
154 emit gamma1; % start initial state
155 % mainloop
156 loop
157 trap L in
158 % STATE_D
159 present gamma1 then
160 signal alpha in
161 emit alpha;
162 run STATE_D [signal gamma2/ xi1];
163 present alpha else exit L end present
164 end signal
165 end present;
166 % STATE_G
167 present gamma2 then
168 signal alpha in
169 emit alpha;
170 run STATE_G [signal gamma1/ xi1];
171 present alpha else exit L end present
121 end present
122 end every
123 end signal
124 end trap
125 end module % STATE_B
126
127 % o-star