Wiki source code of SC Language & Graph

Last modified by Richard Kreissig on 2023/09/14 11:13

version	line-number	content
3.1	1	{{toc/}}
	2
1.1	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
5.1	16	(% class="wrapped" %)
1.1	17	\|=(((
	18	ABO SCL
	19	)))\|=(((
	20	ABO SCG
	21	)))
	22	\|(((
5.1	23	(% class="content-wrapper" %)
	24	(((
1.1	25	[[image:attach:SCL_ABO_scl.png]]
5.1	26	)))
1.1	27	)))\|(((
5.1	28	(% class="content-wrapper" %)
	29	(((
1.1	30	[[image:attach:SCL_ABO_scg.png]]
	31	)))
5.1	32	)))
3.1	33
6.1	34	= The SCL Meta-model =
	35
	36
8.1	37	== Deprecated since 0.12 ==
5.1	38	This article is deprecated. The described features are no longer available in current releases.
	39
	40
3.1	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