KIELER Semantics

Semantics is part of the overarching KIELER project and represents research on the semantics of modeling languages, especially synchronous languages, in combination with pragmatics-aware modeling techniques. The focus is on Sequentially Constructive Charts (SCCharts), a successor of SyncCharts that is also synchronous state chart dialect but with sequentially constructive semantics. See the SCCharts wiki pages for further information and detailed documentation.

The KIELER SCCharts tool provides a modeling environment for SCCharts, including specialized automatically generated graphical views, model-transformation-based compilation, and simulation.

Installation

See the Downloads wiki page or our quick start guide for KIELER in Eclipse or KIELER in VS Code.

Related Publications

See list of publication of the RTSYS group.

Development

If you want to run or develop the semantics code base, please follow the developer Eclipse setup with Oomph.