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,10 +65,6 @@ 65 65 66 66 = Detailed Syntax of SCCharts Language Elements = 67 67 68 - 69 - 70 -{{toc/}} 71 - 72 72 == SCCharts, Initial States, States, Transitions == 73 73 74 74 {{column width="50%"}} ... ... @@ -90,285 +90,8 @@ 90 90 91 91 92 92 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 - 344 344 345 345 346 346 347 347 348 348 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 71 +9471385 - 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/9471385/Textual SCCharts Description Language (SCT)