<
From version < 2.1 >
edited by ssm
on 2013/05/03 14:55
To version < 5.1 >
edited by Alexander Schulz-Rosengarten
on 2018/12/04 14:14
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.ssm
1 +XWiki.als
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.
... ... @@ -11,6 +11,7 @@
11 11  
12 12   ABO example:
13 13  
18 +(% class="wrapped" %)
14 14  |=(((
15 15  ABO SCL
16 16  )))|=(((
... ... @@ -17,7 +17,32 @@
17 17  ABO SCG
18 18  )))
19 19  |(((
25 +(% class="content-wrapper" %)
26 +(((
20 20  [[image:attach:SCL_ABO_scl.png]]
28 +)))
21 21  )))|(((
30 +(% class="content-wrapper" %)
31 +(((
22 22  [[image:attach:SCL_ABO_scg.png]]
23 23  )))
34 +)))
35 +
36 +{{panel bgColor="orange" title="Deprecated since 0.12"}}
37 +This article is deprecated. The described features are no longer available in current releases.
38 +{{/panel}}
39 +
40 +\\
41 +
42 += The SCL Meta-model =
43 +
44 +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.
45 +
46 +[[image:attach:SCL_metamodel.png]]
47 +
48 +* Every SCL program is contained in a **Program**
49 +* A **Program** and concurrent threads of a parallel statement a **AbstractThreads**
50 +* **AbstractThreads** contain a list of **Statements**
51 +* A **Statement** can either be a **InstructionStatement** and contains a single instruction or an **EmptyStatement**
52 +* **EmptyStatements** do not contain an instruction, but can hold a label or an annotation
53 +* 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 +50823287
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/50823287/SC Language & Graph