Tools

Scenario Modeling Language for Kotlin (SMLK)

SMLK is a rich, Kotlin-based incarnation of the behavioral programming paradigm, which we also call scenario-based programming. SMLK combines behavioral programming concepts with the concepts of ScenarioTools’ SML (bee below), and makes them available on the JVM. SMLK leverages Kotlin’s coroutines and Kotlin’s language features that allow for defining internal DSLs.

Check out the SMLK repository.

ScenarioTools

ScenarioTools is an Eclipse/EMF-based tool for modeling, simulating, and synthesizing controllers from scenario-based specifications of reactive systems. Especially, the goal is to support the modeling of distributed reactive systems with a dynamic system structure, such as systems of communicating cars or flexible production systems. Visit scenariotools.org for more information.

scenariotools-blueSee the MODELS 2016 tooldemo video.

TGG Interpreter

The TGG Interpreter tool suite provides tools for the specification and execution of Triple Graph Grammar-based model-to-model (M2M) transformations and model synchronization within the Eclipse platform for models conforming to the Eclipse Modeling Framework (EMF). More.

tgg-interpreter-logo

MSD-to-SMV for Product Lines

This is a prototype tool for modeling and consistency-checking scenario-based specifications of product lines (many variants) of reactive systems. It is based on the modeling of product lines of reactive systems by a combinations of scenarios and feature diagrams. The specifications can be checked for inconsistencies using a variability-aware extension of NuSMV.

Overview of the scenario-based product lines specification and consistency checking approach

Overview of the scenario-based product lines specification and consistency checking approach