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
-
... ... @@ -65,6 +65,10 @@ 65 65 66 66 = Detailed Syntax of SCCharts Language Elements = 67 67 68 + 69 + 70 +{{toc/}} 71 + 68 68 == SCCharts, Initial States, States, Transitions == 69 69 70 70 {{column width="50%"}} ... ... @@ -86,8 +86,285 @@ 86 86 87 87 88 88 93 +== Variable == 94 + 95 +{{column width="50%"}} 96 +{{code linenumbers="true"}} 97 +scchart Variable { 98 + int var1; 99 + bool var2; 100 + int var3 = 3; 101 + bool var4 = false; 102 + input int var5; 103 + output float var6; 104 + input output bool var7; 105 + initial state A 106 + --> B; 107 + state B; 108 +} 109 +{{/code}} 110 +{{/column}} 111 + 112 +{{column width="50%"}} 113 + [[image:attach:02variable.png]] 114 +{{/column}} 115 + 116 +== Transition: Trigger & Effect == 117 + 118 +{{column width="50%"}} 119 +{{code linenumbers="true"}} 120 +scchart TriggerEffect { 121 + input int var1; 122 + output bool var2; 123 + initial state A 124 + --> B with var1 == 3 / var2 = true; 125 + state B; 126 +} 127 +{{/code}} 128 +{{/column}} 129 + 130 +{{column width="50%"}} 131 + [[image:attach:03triggereffect.png]] 132 +{{/column}} 133 + 134 +== Super State == 135 + 136 +{{column width="50%"}} 137 +{{code linenumbers="true"}} 138 +scchart SuperState { 139 + initial state A 140 + --> B; 141 + state B { 142 + initial state B1 143 + --> B2; 144 + state B2; 145 + }; 146 +} 147 +{{/code}} 148 +{{/column}} 149 + 150 +{{column width="50%"}} 151 + [[image:attach:04superstate.png]] 152 +{{/column}} 153 + 154 +== SCCharts, Initial States, States, Transitions == 155 + 156 +{{column width="50%"}} 157 +{{code linenumbers="true"}} 158 + scchart StateTransition { 159 + initial state A 160 + --> B; 161 + state B 162 + --> C; 163 + state C 164 + --> A immediate; 165 +} 166 +{{/code}} 167 +{{/column}} 168 + 169 +{{column width="50%"}} 170 + [[image:attach:01statetransition.png]] 171 +{{/column}} 172 + 173 +== SCCharts, Initial States, States, Transitions == 174 + 175 +{{column width="50%"}} 176 +{{code linenumbers="true"}} 177 + scchart StateTransition { 178 + initial state A 179 + --> B; 180 + state B 181 + --> C; 182 + state C 183 + --> A immediate; 184 +} 185 +{{/code}} 186 +{{/column}} 187 + 188 +{{column width="50%"}} 189 + [[image:attach:01statetransition.png]] 190 +{{/column}} 191 + 192 +== SCCharts, Initial States, States, Transitions == 193 + 194 +{{column width="50%"}} 195 +{{code linenumbers="true"}} 196 + scchart StateTransition { 197 + initial state A 198 + --> B; 199 + state B 200 + --> C; 201 + state C 202 + --> A immediate; 203 +} 204 +{{/code}} 205 +{{/column}} 206 + 207 +{{column width="50%"}} 208 + [[image:attach:01statetransition.png]] 209 +{{/column}} 210 + 211 +== SCCharts, Initial States, States, Transitions == 212 + 213 +{{column width="50%"}} 214 +{{code linenumbers="true"}} 215 + scchart StateTransition { 216 + initial state A 217 + --> B; 218 + state B 219 + --> C; 220 + state C 221 + --> A immediate; 222 +} 223 +{{/code}} 224 +{{/column}} 225 + 226 +{{column width="50%"}} 227 + [[image:attach:01statetransition.png]] 228 +{{/column}} 229 + 230 +== SCCharts, Initial States, States, Transitions == 231 + 232 +{{column width="50%"}} 233 +{{code linenumbers="true"}} 234 + scchart StateTransition { 235 + initial state A 236 + --> B; 237 + state B 238 + --> C; 239 + state C 240 + --> A immediate; 241 +} 242 +{{/code}} 243 +{{/column}} 244 + 245 +{{column width="50%"}} 246 + [[image:attach:01statetransition.png]] 247 +{{/column}} 248 + 249 +== SCCharts, Initial States, States, Transitions == 250 + 251 +{{column width="50%"}} 252 +{{code linenumbers="true"}} 253 + scchart StateTransition { 254 + initial state A 255 + --> B; 256 + state B 257 + --> C; 258 + state C 259 + --> A immediate; 260 +} 261 +{{/code}} 262 +{{/column}} 263 + 264 +{{column width="50%"}} 265 + [[image:attach:01statetransition.png]] 266 +{{/column}} 267 + 268 +== SCCharts, Initial States, States, Transitions == 269 + 270 +{{column width="50%"}} 271 +{{code linenumbers="true"}} 272 + scchart StateTransition { 273 + initial state A 274 + --> B; 275 + state B 276 + --> C; 277 + state C 278 + --> A immediate; 279 +} 280 +{{/code}} 281 +{{/column}} 282 + 283 +{{column width="50%"}} 284 + [[image:attach:01statetransition.png]] 285 +{{/column}} 286 + 287 +== SCCharts, Initial States, States, Transitions == 288 + 289 +{{column width="50%"}} 290 +{{code linenumbers="true"}} 291 + scchart StateTransition { 292 + initial state A 293 + --> B; 294 + state B 295 + --> C; 296 + state C 297 + --> A immediate; 298 +} 299 +{{/code}} 300 +{{/column}} 301 + 302 +{{column width="50%"}} 303 + [[image:attach:01statetransition.png]] 304 +{{/column}} 305 + 306 +== SCCharts, Initial States, States, Transitions == 307 + 308 +{{column width="50%"}} 309 +{{code linenumbers="true"}} 310 + scchart StateTransition { 311 + initial state A 312 + --> B; 313 + state B 314 + --> C; 315 + state C 316 + --> A immediate; 317 +} 318 +{{/code}} 319 +{{/column}} 320 + 321 +{{column width="50%"}} 322 + [[image:attach:01statetransition.png]] 323 +{{/column}} 324 + 325 +== SCCharts, Initial States, States, Transitions == 326 + 327 +{{column width="50%"}} 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 +} 337 +{{/code}} 338 +{{/column}} 339 + 340 +{{column width="50%"}} 341 + [[image:attach:01statetransition.png]] 342 +{{/column}} 343 + 89 89 90 90 91 91 92 92 93 93 349 + 350 + 351 + 352 + 353 + 354 + 355 + 356 + 357 + 358 + 359 + 360 + 361 + 362 + 363 + 364 + 365 + 366 + 367 + 368 + 369 + 370 + 371 + 372 + 373 + 374 +
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -947138 51 +9471387 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/947138 5/Textual SCCharts Description Language (SCT)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471387/Textual SCCharts Description Language (SCT)