Modeling and programming a leader-follower challenge problem with scenario-based tools

Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron

Research output: Contribution to journalConference articlepeer-review

3 Scopus citations

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 languageEnglish
Pages (from-to)376-385
Number of pages10
JournalCEUR Workshop Proceedings
Volume2245
StatePublished - 1 Jan 2018
Event2018 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 201819 Oct 2018

ASJC Scopus subject areas

  • Computer Science (all)

Fingerprint

Dive into the research topics of 'Modeling and programming a leader-follower challenge problem with scenario-based tools'. Together they form a unique fingerprint.

Cite this