Changes for page SC Language & Graph

Last modified by Richard Kreissig on 2023/09/14 11:13
<
From version < 2.1 >
edited by ssm
on 2013/05/03 14:55
To version < 4.1 >
edited by ssm
on 2013/05/03 15:12
>
Change comment: Migrated to Confluence 5.3

Summary

Details

Page properties
Content
... ... @@ -1,3 +1,7 @@
1 +
2 +
3 +{{toc/}}
4 +
1 1  = The SC Language (SCL) and its graphical representation (SCG) =
2 2  
3 3  As mentioned in the introduction SCL is a minimal language. It consists of seven statements.
... ... @@ -21,3 +21,16 @@
21 21  )))|(((
22 22  [[image:attach:SCL_ABO_scg.png]]
23 23  )))
28 +
29 += The SCL Meta-model =
30 +
31 +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.
32 +
33 +[[image:attach:SCL_metamodel.png]]
34 +
35 +* Every SCL program is contained in a **Program**
36 +* A **Program** and concurrent threads of a parallel statement a **AbstractThreads**
37 +* **AbstractThreads** contain a list of **Statements**
38 +* A **Statement** can either be a **InstructionStatement** and contains a single instruction or an **EmptyStatement**
39 +* **EmptyStatements** do not contain an instruction, but can hold a label or an annotation
40 +* An instruction is a **Conditional**, a **Pause**, a **Goto**, an **Assignment**, a **Parallel** or a new **StatementScope**
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -6750222
1 +50823286
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/6750222/SC Language & Graph
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/50823286/SC Language & Graph