Efficient Distributed Execution of Multi-component Scenario-Based Models

Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf Marron

Research output: Chapter in Book/Report/Conference proceedingConference contribution


In scenario-based programming (SBP), the semantics, which enables direct execution of these intuitive specifications, calls, among others, for synchronizing concurrent scenarios prior to every event-selection decision. Doing so even when the running scenarios are distributed across multiple physical system components, may degrade system performance or robustness. In this paper we describe a technique for automated distribution of an otherwise-centralized specification, such that much of the synchronization requirement may be relaxed. The technique calls for replicating the entire scenario-based executable specification in each of the components, locally transforming it in a component-specific manner, and reducing the synchronization requirements to very specific and well-defined points during execution. Our evaluation of the technique shows promising results. Given that relaxed synchronization can lead to what appears as different runs in different components we discuss various criteria for what would constitute acceptable differences, or divergence, in the parallel, distributed runs of almost-identical copies of a single specification. This paper incorporates and substantially extends the material of the paper published in MODLESWARD’17 Distributing Scenario-Based Models: A Replicate-and-Project Approach by the same authors [37].
Original languageEnglish
Title of host publicationModel-Driven Engineering and Software Development
EditorsBran Selic, Luis Ferreira Pires, Slimane Hammoudi
PublisherSpringer Verlag
Number of pages34
ISBN (Electronic)9783319947648
ISBN (Print)331994763X, 9783319947631
StatePublished - 8 Jul 2018
EventMODELSWARD 2017 - Porto, Portugal
Duration: 19 Feb 201721 Feb 2017

Publication series

NameCommunications in Computer and Information Science
ISSN (Print)1865-0929


ConferenceMODELSWARD 2017


  • Concurrency
  • Distributed systems
  • Scenario-based modeling
  • Software engineering

All Science Journal Classification (ASJC) codes

  • Computer Science(all)
  • Mathematics(all)


Dive into the research topics of 'Efficient Distributed Execution of Multi-component Scenario-Based Models'. Together they form a unique fingerprint.

Cite this