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,245 +151,196 @@ 151 151 [[image:attach:04superstate.png]] 152 152 {{/column}} 153 153 154 -== S uperState:Final States& TerminationTransition ==154 +== SCCharts, Initial States, States, Transitions == 155 155 156 156 {{column width="50%"}} 157 157 {{code linenumbers="true"}} 158 -scchart FinalStateTermination {158 + scchart StateTransition { 159 159 initial state A 160 160 --> B; 161 - state B { 162 - initial state B1 163 - --> B2; 164 - final state B2; 165 - } 166 - >-> C; 167 - state C; 161 + state B 162 + --> C; 163 + state C 164 + --> A immediate; 168 168 } 169 169 {{/code}} 170 170 {{/column}} 171 171 172 172 {{column width="50%"}} 173 - [[image:attach:0 5finalstatetermination.png]]170 + [[image:attach:01statetransition.png]] 174 174 {{/column}} 175 175 176 -== S uper State:Weak Abort Transition ==173 +== SCCharts, Initial States, States, Transitions == 177 177 178 178 {{column width="50%"}} 179 179 {{code linenumbers="true"}} 180 -scchart WeakAbort { 181 - input bool W; 177 + scchart StateTransition { 182 182 initial state A 183 183 --> B; 184 - state B { 185 - initial state B1 186 - --> B2; 187 - state B2; 188 - } 189 - --> C with W; 190 - state C; 180 + state B 181 + --> C; 182 + state C 183 + --> A immediate; 191 191 } 192 192 {{/code}} 193 193 {{/column}} 194 194 195 195 {{column width="50%"}} 196 - [[image:attach:0 6weakabort.png]]189 + [[image:attach:01statetransition.png]] 197 197 {{/column}} 198 198 199 -== S uper State:Strong Abort Transition ==192 +== SCCharts, Initial States, States, Transitions == 200 200 201 201 {{column width="50%"}} 202 202 {{code linenumbers="true"}} 203 -scchart StrongAbort { 204 - input bool S; 196 + scchart StateTransition { 205 205 initial state A 206 206 --> B; 207 - state B { 208 - initial state B1 209 - --> B2; 210 - state B2; 211 - } 212 - o-> C with S; 213 - 214 - state C; 199 + state B 200 + --> C; 201 + state C 202 + --> A immediate; 215 215 } 216 216 {{/code}} 217 217 {{/column}} 218 218 219 219 {{column width="50%"}} 220 - [[image:attach:0 7strongabort.png]]208 + [[image:attach:01statetransition.png]] 221 221 {{/column}} 222 222 223 -== C oncurrentRegions(insidea SuperState)==211 +== SCCharts, Initial States, States, Transitions == 224 224 225 225 {{column width="50%"}} 226 226 {{code linenumbers="true"}} 227 -scchart Regions { 228 - input bool S; 215 + scchart StateTransition { 229 229 initial state A 230 230 --> B; 231 - state B { 232 - region Region1 : 233 - initial state B1 234 - --> B2; 235 - state B2; region Region2 : 236 - initial state B3; 237 - }; 218 + state B 219 + --> C; 220 + state C 221 + --> A immediate; 238 238 } 239 239 {{/code}} 240 240 {{/column}} 241 241 242 242 {{column width="50%"}} 243 - [[image:attach:0 8regions.png]]227 + [[image:attach:01statetransition.png]] 244 244 {{/column}} 245 245 246 -== Entry Action,During Action,ExitAction ==230 +== SCCharts, Initial States, States, Transitions == 247 247 248 248 {{column width="50%"}} 249 249 {{code linenumbers="true"}} 250 -scchart Actions { 251 - input bool var1; 252 - output bool var2; 234 + scchart StateTransition { 253 253 initial state A 254 254 --> B; 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 - }; 237 + state B 238 + --> C; 239 + state C 240 + --> A immediate; 264 264 } 265 265 {{/code}} 266 266 {{/column}} 267 267 268 268 {{column width="50%"}} 269 - [[image:attach:0 9actions.png]]246 + [[image:attach:01statetransition.png]] 270 270 {{/column}} 271 271 272 -== Sha llowHistoryTransition ==249 +== SCCharts, Initial States, States, Transitions == 273 273 274 274 {{column width="50%"}} 275 275 {{code linenumbers="true"}} 276 -scchart HistoryShallow { 277 - input bool var1; 278 - output bool var2; 253 + scchart StateTransition { 279 279 initial state A 280 - --> B shallow history with var1; 281 - state B { 282 - initial state B1 283 - --> B2; 284 - state B2; 285 - } 286 - --> A with var1; 255 + --> B; 256 + state B 257 + --> C; 258 + state C 259 + --> A immediate; 287 287 } 288 288 {{/code}} 289 289 {{/column}} 290 290 291 291 {{column width="50%"}} 292 - [[image:attach: 10historyshallow.png]]265 + [[image:attach:01statetransition.png]] 293 293 {{/column}} 294 294 295 -== DeepHistoryTransition ==268 +== SCCharts, Initial States, States, Transitions == 296 296 297 297 {{column width="50%"}} 298 298 {{code linenumbers="true"}} 299 -scchart HistoryDeep { 300 - input bool var1; 301 - output bool var2; 272 + scchart StateTransition { 302 302 initial state A 303 - --> B history with var1; 304 - state B { 305 - initial state B1 306 - --> B2; 307 - state B2; 308 - } 309 - --> A with var1; 274 + --> B; 275 + state B 276 + --> C; 277 + state C 278 + --> A immediate; 310 310 } 311 311 {{/code}} 312 312 {{/column}} 313 313 314 314 {{column width="50%"}} 315 - [[image:attach:1 1historydeep.png]]284 + [[image:attach:01statetransition.png]] 316 316 {{/column}} 317 317 318 -== DeferredTransition ==287 +== SCCharts, Initial States, States, Transitions == 319 319 320 320 {{column width="50%"}} 321 321 {{code linenumbers="true"}} 322 -scchart Deferred { 323 - input bool var1; 324 - output bool var2; 291 + scchart StateTransition { 325 325 initial state A 326 - --> B deferred with var1;327 - state B {328 - entry var1 / var2 = true;329 - }330 - --> A with var1;293 + --> B; 294 + state B 295 + --> C; 296 + state C 297 + --> A immediate; 331 331 } 332 332 {{/code}} 333 333 {{/column}} 334 334 335 335 {{column width="50%"}} 336 - [[image:attach:1 2deferred.png]]303 + [[image:attach:01statetransition.png]] 337 337 {{/column}} 338 338 339 -== Transitionwith CountDelay==306 +== SCCharts, Initial States, States, Transitions == 340 340 341 341 {{column width="50%"}} 342 342 {{code linenumbers="true"}} 343 -scchart CountDelay { 344 - input bool var1; 345 - output bool var2; 310 + scchart StateTransition { 346 346 initial state A 347 - --> B with 4 var1;312 + --> B; 348 348 state B 349 - --> A with var1; 314 + --> C; 315 + state C 316 + --> A immediate; 350 350 } 351 351 {{/code}} 352 352 {{/column}} 353 353 354 354 {{column width="50%"}} 355 - [[image:attach:1 3countdelay.png]]322 + [[image:attach:01statetransition.png]] 356 356 {{/column}} 357 357 358 -== Array==325 +== SCCharts, Initial States, States, Transitions == 359 359 360 360 {{column width="50%"}} 361 361 {{code linenumbers="true"}} 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 -} 329 + scchart StateTransition { 330 + initial state A 331 + --> B; 332 + state B 333 + --> C; 334 + state C 335 + --> A immediate; 336 +} 368 368 {{/code}} 369 369 {{/column}} 370 370 371 371 {{column width="50%"}} 372 - [[image:attach:1 4array.png]]341 + [[image:attach:01statetransition.png]] 373 373 {{/column}} 374 374 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 - 393 393 394 394 395 395 ... ... @@ -421,7 +421,3 @@ 421 421 422 422 423 423 424 - 425 - 426 - 427 -
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -947138 81 +9471387 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/947138 8/Textual SCCharts Description Language (SCT)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471387/Textual SCCharts Description Language (SCT)