Abstract
Scenario-based modeling (SBM) is an approach for creating executable models for reactive systems that are comprised of scenarios, each of which describing a separate aspect of the overall desired and undesired system behavior. SBM advantages include model intuitiveness, executability, amenability to formal verification, alignment with the requirements, and incrementality of the development. Here, we showcase two new SBM frameworks (which join the ones for LSC, SML, Java, C++, and others) by demonstrating the respective solutions to the MDETools18 Rover Follower challenge. One is IOSM-K, an LSC/SML-style inter-object scenario modeling framework for the Kotlin language, and the other is BPjs, a framework for behavioral programming for Javascript. We illustrate how the SBM advantages are manifested in developing such composite control logic, and discuss the differences, relative advantages of, and considerations in choosing, each of these SBM frameworks.
| Original language | English |
|---|---|
| Pages (from-to) | 376-385 |
| Number of pages | 10 |
| Journal | CEUR Workshop Proceedings |
| Volume | 2245 |
| State | Published - 1 Jan 2018 |
| Event | 2018 MODELS Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS, MODELS-WS 2018 - Copenhagen, Denmark Duration: 14 Oct 2018 → 19 Oct 2018 |
ASJC Scopus subject areas
- General Computer Science