Changes for page Textual SCCharts Language SCT
Last modified by Richard Kreissig on 2023/09/14 11:05
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -151,196 +151,245 @@ 151 151 [[image:attach:04superstate.png]] 152 152 {{/column}} 153 153 154 -== S CCharts,Initial States,States,Transitions==154 +== Super State: Final States & Termination Transition == 155 155 156 156 {{column width="50%"}} 157 157 {{code linenumbers="true"}} 158 - ansition {158 +scchart FinalStateTermination { 159 159 initial state A 160 160 --> B; 161 - state B 162 - --> C; 163 - state C 164 - --> A immediate; 161 + state B { 162 + initial state B1 163 + --> B2; 164 + final state B2; 165 + } 166 + >-> C; 167 + state C; 165 165 } 166 166 {{/code}} 167 167 {{/column}} 168 168 169 169 {{column width="50%"}} 170 - [[image:attach:0 1statetransition.png]]173 + [[image:attach:05finalstatetermination.png]] 171 171 {{/column}} 172 172 173 -== S CCharts,InitialStates,States,Transitions==176 +== Super State: Weak Abort Transition == 174 174 175 175 {{column width="50%"}} 176 176 {{code linenumbers="true"}} 177 - scchart StateTransition { 180 +scchart WeakAbort { 181 + input bool W; 178 178 initial state A 179 179 --> B; 180 - state B 181 - --> C; 182 - state C 183 - --> A immediate; 184 + state B { 185 + initial state B1 186 + --> B2; 187 + state B2; 188 + } 189 + --> C with W; 190 + state C; 184 184 } 185 185 {{/code}} 186 186 {{/column}} 187 187 188 188 {{column width="50%"}} 189 - [[image:attach:0 1statetransition.png]]196 + [[image:attach:06weakabort.png]] 190 190 {{/column}} 191 191 192 -== S CCharts,InitialStates,States,Transitions==199 +== Super State: Strong Abort Transition == 193 193 194 194 {{column width="50%"}} 195 195 {{code linenumbers="true"}} 196 - scchart StateTransition { 203 +scchart StrongAbort { 204 + input bool S; 197 197 initial state A 198 198 --> B; 199 - state B 200 - --> C; 201 - state C 202 - --> A immediate; 207 + state B { 208 + initial state B1 209 + --> B2; 210 + state B2; 211 + } 212 + o-> C with S; 213 + 214 + state C; 203 203 } 204 204 {{/code}} 205 205 {{/column}} 206 206 207 207 {{column width="50%"}} 208 - [[image:attach:0 1statetransition.png]]220 + [[image:attach:07strongabort.png]] 209 209 {{/column}} 210 210 211 -== SCCharts,InitialStates,States,Transitions==223 +== Concurrent Regions (inside a Super State) == 212 212 213 213 {{column width="50%"}} 214 214 {{code linenumbers="true"}} 215 - scchart StateTransition { 227 +scchart Regions { 228 + input bool S; 216 216 initial state A 217 217 --> B; 218 - state B 219 - --> C; 220 - state C 221 - --> A immediate; 231 + state B { 232 + region Region1 : 233 + initial state B1 234 + --> B2; 235 + state B2; region Region2 : 236 + initial state B3; 237 + }; 222 222 } 223 223 {{/code}} 224 224 {{/column}} 225 225 226 226 {{column width="50%"}} 227 - [[image:attach:0 1statetransition.png]]243 + [[image:attach:08regions.png]] 228 228 {{/column}} 229 229 230 -== SCCharts,InitialStates,States,Transitions==246 +== Entry Action, During Action, Exit Action == 231 231 232 232 {{column width="50%"}} 233 233 {{code linenumbers="true"}} 234 - scchart StateTransition { 250 +scchart Actions { 251 + input bool var1; 252 + output bool var2; 235 235 initial state A 236 236 --> B; 237 - state B 238 - --> C; 239 - state C 240 - --> A immediate; 255 + state B { 256 + entry var1 / var2 = true; 257 + during var1 / var2 = true; 258 + immediate during var1 / var2 = true; 259 + exit var1 / var2 = true; 260 + initial state B1 261 + --> B2; 262 + state B2; 263 + }; 241 241 } 242 242 {{/code}} 243 243 {{/column}} 244 244 245 245 {{column width="50%"}} 246 - [[image:attach:0 1statetransition.png]]269 + [[image:attach:09actions.png]] 247 247 {{/column}} 248 248 249 -== S CCharts, InitialStates, States,Transitions==272 +== Shallow History Transition == 250 250 251 251 {{column width="50%"}} 252 252 {{code linenumbers="true"}} 253 - scchart StateTransition { 276 +scchart HistoryShallow { 277 + input bool var1; 278 + output bool var2; 254 254 initial state A 255 - --> B; 256 - state B 257 - --> C; 258 - state C 259 - --> A immediate; 280 + --> B shallow history with var1; 281 + state B { 282 + initial state B1 283 + --> B2; 284 + state B2; 285 + } 286 + --> A with var1; 260 260 } 261 261 {{/code}} 262 262 {{/column}} 263 263 264 264 {{column width="50%"}} 265 - [[image:attach: 01statetransition.png]]292 + [[image:attach:10historyshallow.png]] 266 266 {{/column}} 267 267 268 -== SCCharts,Initial States, States,Transitions==295 +== Deep History Transition == 269 269 270 270 {{column width="50%"}} 271 271 {{code linenumbers="true"}} 272 - scchart StateTransition { 299 +scchart HistoryDeep { 300 + input bool var1; 301 + output bool var2; 273 273 initial state A 274 - --> B; 275 - state B 276 - --> C; 277 - state C 278 - --> A immediate; 303 + --> B history with var1; 304 + state B { 305 + initial state B1 306 + --> B2; 307 + state B2; 308 + } 309 + --> A with var1; 279 279 } 280 280 {{/code}} 281 281 {{/column}} 282 282 283 283 {{column width="50%"}} 284 - [[image:attach: 01statetransition.png]]315 + [[image:attach:11historydeep.png]] 285 285 {{/column}} 286 286 287 -== SCCharts, Initial States,States,Transitions==318 +== Deferred Transition == 288 288 289 289 {{column width="50%"}} 290 290 {{code linenumbers="true"}} 291 - scchart StateTransition { 322 +scchart Deferred { 323 + input bool var1; 324 + output bool var2; 292 292 initial state A 293 - --> B; 294 - state B 295 - -->C;296 - state C297 - --> A i mmediate;326 + --> B deferred with var1; 327 + state B { 328 + entry var1 / var2 = true; 329 + } 330 + --> A with var1; 298 298 } 299 299 {{/code}} 300 300 {{/column}} 301 301 302 302 {{column width="50%"}} 303 - [[image:attach: 01statetransition.png]]336 + [[image:attach:12deferred.png]] 304 304 {{/column}} 305 305 306 -== SCCharts, InitialStates,States,Transitions==339 +== Transition with Count Delay == 307 307 308 308 {{column width="50%"}} 309 309 {{code linenumbers="true"}} 310 - scchart StateTransition { 343 +scchart CountDelay { 344 + input bool var1; 345 + output bool var2; 311 311 initial state A 312 - --> B; 347 + --> B with 4 var1; 313 313 state B 314 - --> C; 315 - state C 316 - --> A immediate; 349 + --> A with var1; 317 317 } 318 318 {{/code}} 319 319 {{/column}} 320 320 321 321 {{column width="50%"}} 322 - [[image:attach: 01statetransition.png]]355 + [[image:attach:13countdelay.png]] 323 323 {{/column}} 324 324 325 -== SCCharts, Initial States, States, Transitions==358 +== Array == 326 326 327 327 {{column width="50%"}} 328 328 {{code linenumbers="true"}} 329 - scchart StateTransition { 330 - initial state A 331 - --> B; 332 - state B 333 - --> C; 334 - state C 335 - --> A immediate; 336 -} 362 +scchart Array { 363 + int myArray[10][2]; 364 + initial state init 365 + --> done with myArray[1][0] == 1 / myArray[2][1] = 2; 366 + final state done; 367 +} 337 337 {{/code}} 338 338 {{/column}} 339 339 340 340 {{column width="50%"}} 341 - [[image:attach: 01statetransition.png]]372 + [[image:attach:14array.png]] 342 342 {{/column}} 343 343 375 +== Signal == 376 + 377 +{{column width="50%"}} 378 +{{code linenumbers="true"}} 379 +scchart Signal { 380 + input signal i; 381 + output signal o 382 + initial state init 383 + --> done with i / o; 384 + final state done; 385 +} 386 +{{/code}} 387 +{{/column}} 388 + 389 +{{column width="50%"}} 390 + [[image:attach:15signal.png]] 391 +{{/column}} 392 + 344 344 345 345 346 346 ... ... @@ -372,3 +372,7 @@ 372 372 373 373 374 374 424 + 425 + 426 + 427 +
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -947138 71 +9471388 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/947138 7/Textual SCCharts Description Language (SCT)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471388/Textual SCCharts Description Language (SCT)