Page History
...
SCCharts are typically modeled using the textual SCT language defined as an Xtext grammar in KIELER. In the following we will describe the basic elements using the famous ABRO example:
Code Block | ||
---|---|---|
| ||
scchart ABRO { input bool A; input bool B; input bool R; output bool O = false; region Main: initial state ABO { initial state WaitAB { region HandleA: initial state WA --> DA with A; final state DA; region HandleB: initial state WB --> DB with B; final state DB; } >-> Done with / O = true; state Done; } o-> ABO with R; } |
Overview
Content Tools