# SC Language & Graph

Last modified by Richard Kreissig on 2023/09/14 11:13
Export
Office Formats
Export as PDF Export as ODT Export as RTF
Other Formats

Select the pages to export:

select all/ none

Legend:
  Created Page
  Modified Extension Page
  Clean Extension Page

Export as HTML

- The SC Language (SCL) and its graphical representation (SCG)
- The SCL Meta-model
  - Deprecated since 0.12

# The SC Language (SCL) and its graphical representation (SCG)

As mentioned in the introduction SCL is a minimal language. It consists of seven statements.

The SCG is a labelled graph G = (S, E), whereas

- the nodes S correspond to the statements of the program
- and the edges E reflect the sequential execution ordering

ABO example:

ABO SCL | ABO SCG
--- | ---

# The SCL Meta-model

## Deprecated since 0.12

This article is deprecated. The described features are no longer available in current releases.

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.

- Every SCL program is contained in a Program
- A Program and concurrent threads of a parallel statement a AbstractThreads
- AbstractThreads contain a list of Statements
- A Statement can either be a InstructionStatement and contains a single instruction or an EmptyStatement
- EmptyStatements do not contain an instruction, but can hold a label or an annotation
- An instruction is a Conditional, a Pause, a Goto, an Assignment, a Parallel or a new StatementScope

Tags:
Created by ssm on 2013/05/03 14:55

- Comments (0)
- Attachments (4)
- History
- Information

# Quick Links

KIELER on GitHub
RTSYS Homepage

XWiki 14.4.7