Wiki source code of SC Language & Graph

Last modified by Richard Kreissig on 2023/09/14 11:13
Show last authors
1 {{toc/}}
2
3 = The SC Language (SCL) and its graphical representation (SCG) =
4
5 As mentioned in the introduction SCL is a minimal language. It consists of seven statements.
6
7 [[image:attach:SCL_SCG_instructions.png]]
8
9 The SCG is a labelled graph //G = (S, E)//, whereas
10
11 * the nodes S correspond to the statements of the program
12 * and the edges E reflect the sequential execution ordering
13
14 ABO example:
15
16 (% class="wrapped" %)
17 |=(((
18 ABO SCL
19 )))|=(((
20 ABO SCG
21 )))
22 |(((
23 (% class="content-wrapper" %)
24 (((
25 [[image:attach:SCL_ABO_scl.png]]
26 )))
27 )))|(((
28 (% class="content-wrapper" %)
29 (((
30 [[image:attach:SCL_ABO_scg.png]]
31 )))
32 )))
33
34 = The SCL Meta-model =
35
36
37 == Deprecated since 0.12 ==
38 This article is deprecated. The described features are no longer available in current releases.
39
40
41 The SC language is implemented in the plugin de.cau.cs.kieler.scl and created via xtext. The xtext grammar file is de.cau.cs.kieler.scl.SCL.xtext.
42
43 [[image:attach:SCL_metamodel.png]]
44
45 * Every SCL program is contained in a **Program**
46 * A **Program** and concurrent threads of a parallel statement a **AbstractThreads**
47 * **AbstractThreads** contain a list of **Statements**
48 * A **Statement** can either be a **InstructionStatement** and contains a single instruction or an **EmptyStatement**
49 * **EmptyStatements** do not contain an instruction, but can hold a label or an annotation
50 * An instruction is a **Conditional**, a **Pause**, a **Goto**, an **Assignment**, a **Parallel** or a new **StatementScope**