BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment
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 Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:40 - 17:20: Domain-Specific LanguagesSLE at Zürich 2 Chair(s): Jordi CabotOpen University of Catalonia, Spain | |||
15:40 - 16:05 Talk | Language Design and Implementation for the Domain of Coding Conventions SLE DOI Media Attached | ||
16:05 - 16:30 Talk | BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment SLE DOI Media Attached | ||
16:30 - 16:55 Talk | Adding Uncertainty and Units to Quantity Types in Software Models SLE Tanja MayerhoferTU Vienna, Austria, Manuel WimmerTU Vienna, Austria, Antonio VallecilloUniversity of Málaga, Spain DOI Media Attached | ||
16:55 - 17:10 Talk | FRaMED: Full-Fledge Role Modeling Editor (Tool Demo) SLE Thomas KühnTU Dresden, Germany, Kay BierzynskiTU Dresden, Germany, Sebastian RichlyTU Dresden, Germany, Uwe AßmannTU Dresden, Germany DOI Media Attached | ||
17:10 - 17:20 Day closing | Awards SLE Emilie BallandSensational AG, Daniel Varro, Vadim ZaytsevRaincode, Belgium, Dimitris KolovosUniversity of York |