Write a Blog >>
SLE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Mon 31 Oct 2016 16:05 - 16:30 at Zürich 2 - Domain-Specific Languages Chair(s): Jordi Cabot

In model-driven engineering, developers express their solutions in domain-specific modelling languages (DSLs) that support domain-specific abstractions. Big-Step Modelling Languages (BSML) is a family of extended state-machine DSLs for creating executable models that have a complex execution semantics. In this paper, we present BSML-mbeddr, which imbeds a large subset of BSML within the mbeddr C programming environment, thereby extending mbeddr with language constructs for extended, semantically configurable state-machines. We also report on three case studies that exercise the expressiveness of BSML-mbeddr, assess the integrability of BSML-mbeddr into mbeddr, and demonstrate the need to provide support for state-machine models with different execution semantics.

Mon 31 Oct

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

15:40 - 17:20
Domain-Specific LanguagesSLE at Zürich 2
Chair(s): Jordi Cabot Open University of Catalonia, Spain
15:40
25m
Talk
Language Design and Implementation for the Domain of Coding ConventionsDistinguished paper nominee
SLE
Boryana Goncharenko University of Amsterdam, Netherlands, Vadim Zaytsev Raincode, Belgium
DOI Media Attached
16:05
25m
Talk
BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment
SLE
Zhaoyi Luo University of Waterloo, Canada, Joanne M. Atlee University of Waterloo, Canada
DOI Media Attached
16:30
25m
Talk
Adding Uncertainty and Units to Quantity Types in Software Models
SLE
Tanja Mayerhofer TU Vienna, Austria, Manuel Wimmer TU Vienna, Austria, Antonio Vallecillo University of Málaga, Spain
DOI Media Attached
16:55
15m
Talk
FRaMED: Full-Fledge Role Modeling Editor (Tool Demo)Artifact Evaluation
SLE
Thomas Kühn TU Dresden, Germany, Kay Bierzynski TU Dresden, Germany, Sebastian Richly TU Dresden, Germany, Uwe Aßmann TU Dresden, Germany
DOI Media Attached
17:10
10m
Day closing
AwardsRaincode
SLE
Emilie Balland Sensational AG, Daniel Varro , Vadim Zaytsev Raincode, Belgium, Dimitris Kolovos University of York