Skip to Content

Changes for page Examples (sct)

Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
From version 18.2
edited by cmot
on 2023/07/06 14:36
Change comment: Update document after refactoring.
To version 23.1
edited by Alexander Schulz-Rosengarten
on 2023/07/11 10:26
Change comment: Renamed from xwiki:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).Examples (sct).WebHome

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.cmot
1 +XWiki.als
Content
... ... @@ -1,4 +1,4 @@
1 -[[~[~[image:attach:SCCharts (pre 1.0)@download.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/SCCharts#SCCharts-Downloads||shape="rect"]] [[~[~[image:attach:SCCharts (pre 1.0)@onlinecompiler.png~]~]>>url:http://www.sccharts.com||shape="rect"]] (% class="confluence-link" %)[[image:attach:Command Line Compiler@commandlinecompiler2.png]][[doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).Command Line Compiler.WebHome]](%%) [[image:attach:SCCharts (pre 1.0)@quickstart.png]][[doc:Quick Start Guide (pre 0\.13)]]
1 +[[~[~[image:attach:SCCharts (pre 1.0)@download.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/SCCharts#SCCharts-Downloads||shape="rect"]] [[~[~[image:attach:SCCharts (pre 1.0)@onlinecompiler.png~]~]>>url:http://www.sccharts.com||shape="rect"]] (% class="confluence-link" %)[[image:attach:KIELER.Command Line Compiler.WebHome@commandlinecompiler2.png]][[doc:Kieler.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).Command Line Compiler.WebHome]](%%) [[image:attach:SCCharts (pre 1.0)@quickstart.png]][[doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).Quick Start Guide (pre 0\.13).WebHome]]
2 2  
3 3  = SCCharts Examples =
4 4  
... ... @@ -156,7 +156,7 @@
156 156  
157 157  = SCCharts Evaluation Examples =
158 158  
159 -In the following, you find some examples used for evaluation. Be advised that there currently is no tool integrated evaluation possible. Please refer to the SCCharts superpage for the [[project status>>doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).WebHome]] and [[known limitations>>doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).WebHome]]. You may use our [[online compiler>>doc:Online Compiler]] or the [[command line compiler >>doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).Command Line Compiler.WebHome]]to play around with the following SCCharts. On the right side you'll find the textual SCChart (SCT) description, on the left side you see the equivalent synthesized SCChart diagram for it. You can use our [[online SCChart synthesis>>doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).Command Line Rendering.WebHome]] for rendering SCCharts diagrams from textual SCCharts descriptions.
159 +In the following, you find some examples used for evaluation. Be advised that there currently is no tool integrated evaluation possible. Please refer to the SCCharts superpage for the [[project status>>doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).WebHome]] and [[known limitations>>doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).WebHome]]. You may use our [[online compiler>>doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).Online Compiler.WebHome]] or the [[command line compiler >>doc:Kieler.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).Command Line Compiler.WebHome]]to play around with the following SCCharts. On the right side you'll find the textual SCChart (SCT) description, on the left side you see the equivalent synthesized SCChart diagram for it. You can use our [[online SCChart synthesis>>doc:Kieler.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).Command Line Rendering.WebHome]] for rendering SCCharts diagrams from textual SCCharts descriptions.
160 160  
161 161  (% class="wrapped" %)
162 162  |=(((
... ... @@ -179,7 +179,7 @@
179 179  (((
180 180  (% class="content-wrapper" %)
181 181  (((
182 -[[image:attach:PLDI'14 Artifact on SCCharts@shifter3.png]]
182 +[[image:attach:KIELER.PLDI'14 Artifact on SCCharts@shifter3.png]]
183 183  )))
184 184  )))|(% colspan="1" %)(% colspan="1" %)
185 185  (((
... ... @@ -211,7 +211,7 @@
211 211  )))|(((
212 212  (% class="content-wrapper" %)
213 213  (((
214 -[[image:attach:PLDI'14 Artifact on SCCharts@reincarnation.png]]
214 +[[image:attach:KIELER.PLDI'14 Artifact on SCCharts@reincarnation.png]]
215 215  )))
216 216  )))|(% colspan="1" %)(% colspan="1" %)
217 217  (((
... ... @@ -247,7 +247,7 @@
247 247  )))|(((
248 248  (% class="content-wrapper" %)
249 249  (((
250 -[[image:attach:PLDI'14 Artifact on SCCharts@cabin.png]]
250 +[[image:attach:KIELER.PLDI'14 Artifact on SCCharts@cabin.png]]
251 251  )))
252 252  )))|(% colspan="1" %)(% colspan="1" %)
253 253  (((
... ... @@ -301,7 +301,7 @@
301 301  )))|(((
302 302  (% class="content-wrapper" %)
303 303  (((
304 -[[image:attach:PLDI'14 Artifact on SCCharts@reactor-control.png]]
304 +[[image:attach:KIELER.PLDI'14 Artifact on SCCharts@reactor-control.png]]
305 305  )))
306 306  )))|(% colspan="1" %)(% colspan="1" %)
307 307  (((