Changes for page PLDI'14 Artifact on SCCharts
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -60,39 +60,6 @@ 60 60 61 61 [[image:attach:kieler09.png]] 62 62 63 -The textual SCCharts Xtext based editor (for *.sct files) will automatically be opened: 64 - 65 -[[image:attach:kieler10.png]] 66 - 67 -Now start modeling an SCChart. For example copy & paste the following sct code of abo, the hello world of SCCharts: 68 - 69 -{{code title="abo.sct"}} 70 -scchart ABO { 71 - input output bool A; 72 - input output bool B; 73 - output bool O1; 74 - output bool O2; 75 - region: 76 - 77 - initial state Init 78 - --> WaitAB immediate with / O1 = false; O2 = false; 79 - state WaitAB { 80 - region HandleA: 81 - initial state WaitA 82 - --> DoneA immediate with A / B = true; O1 = true; 83 - final state DoneA; 84 - region HandleB: 85 - initial state WaitB 86 - --> DoneB with B / O1 = true; 87 - final state DoneB; 88 - } 89 - >-> GotAB with / O1 = false; O2 = true; 90 - state GotAB; 91 -} 92 -{{/code}} 93 - 94 - 95 - 96 96 = Generate C Code = 97 97 98 98 xxx
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -86517 211 +8651719 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/86517 21/PLDI'14 Artifact on SCCharts1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651719/PLDI'14 Artifact on SCCharts