Write a Blog >>
SLE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Tue 1 Nov 2016 13:30 - 13:55 at Zürich 2 - Language Validation Chair(s): Ralf Laemmel

Domain-specific modelling languages (DSML) enable domain users

to model systems in their problem domain, using concepts and

notations they are familiar with. The process of domain-specific

modelling (DSM) consists of two stages: a language engineering

stage where a DSML is created, and a system modelling stage where

the DSML is used. Because techniques such as metamodelling and

model transformation allow for a efficient creation of DSMLs, and

using DSMLs significantly increases productivity, DSM is very

suitable for early prototyping. Many systems that are modelled

using DSMLs are reactive, meaning that during their execution, they

respond to external input. Because of the complexity of input and

response behaviour of reactive systems, it is desirable to test models

as early as possible. However, while dedicated testing support for

specific DSMLs has been provided, no systematic support exists for

testing DSML models according to DSM principles.

In this paper, we introduce a technique to automatically generate

a domain-specific testing framework from an annotated DSML

definition. In our approach, the DSML definition consists of a metamodel,

a concrete syntax definition and operational semantics described

as a schedule of graph rewrite rules, thus covering a large

class of DSMLs. Currently, DSMLs with deterministic behaviour

are supported, but we provide an outlook to other (nondeterministic,

real-time or continuous-time) DSMLs. We illustrate the approach

with a DSML for describing an elevator controller. We evaluate

the approach and conclude that compared to the state-of-the-art,

our testing support is significantly less costly, and similar or better

(according to DSM principles) testing support is achieved. Additionally,

the generative nature of the approach makes testing support for

DSMLs less error-prone while catering the need for early testing.

Tue 1 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:10
Language ValidationSLE at Zürich 2
Chair(s): Ralf Laemmel University of Koblenz-Landau, Germany
Automated Testing Support for Reactive Domain-Specific Modelling Languages
Bart Meyers University of Antwerp, Belgium, Joachim Denil University of Antwerp, Belgium, István Dávid University of Antwerp, Belgium, Hans Vangheluwe University of Antwerp, Canada
Side Effects Take the Blame
Felipe Bañados Schwerter University of British Columbia, Canada
Symbolic Execution of High-Level TransformationsArtifact EvaluationDistinguished paper nominee
Ahmad Salim Al-Sibahi IT University of Copenhagen, Denmark, Aleksandar S. Dimovski IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark
Link to publication DOI Pre-print Media Attached
Raincode Assembler Compiler (Tool Demo)
Volodymyr Blagodarov Raincode, Belgium, Yves Jaradin Raincode, Belgium, Vadim Zaytsev Raincode, Belgium