Efficient distributed execution of multi-component scenario-based models

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

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

7 Scopus citations


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 languageAmerican English
Title of host publicationModel-Driven Engineering and Software Development - 5th International Conference, MODELSWARD 2017, Revised Selected Papers
EditorsBran Selic, Luis Ferreira Pires, Slimane Hammoudi
PublisherSpringer Verlag
Number of pages35
ISBN (Print)9783319947631
StatePublished - 2018
Externally publishedYes
Event5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017 - Porto, Portugal
Duration: 19 Feb 201721 Feb 2017

Publication series

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


Conference5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017

Bibliographical note

Publisher Copyright:
© Springer International Publishing AG, part of Springer Nature 2018.


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


Dive into the research topics of 'Efficient distributed execution of multi-component scenario-based models'. Together they form a unique fingerprint.

Cite this