KIELER Project


Get me back to the home page!

Page tree

Versions Compared

Old Version 1

changes.mady.by.user Steven Smyth

Saved on

compared with

New Version Current

changes.mady.by.user Alexander Schulz-Rosengarten

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

Table of Contents

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

...

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

 ABO example:

ABO SCLABO SCG
Image Modified
Image Modified

The SCL Meta-model


Panel
bgColororange
titleDeprecated 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.

Image Added

  • 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