Efficient Distributed Execution of Multi-component Scenario-based Models

Shlomi Steinberg

Joel Greenyer

Daniel Gritzner

David Harel

Guy Katz

Assaf Marron

cite

BibTex ×

@incollection{Steinberg_2018,
 	doi = {10.1007/978-3-319-94764-8_19},
 	url = {https://doi.org/10.1007%2F978-3-319-94764-8_19},
 	year = 2018,
 	publisher = {Springer International Publishing},
 	pages = {449--483},
 	author = {Shlomi Steinberg and Joel Greenyer and Daniel Gritzner and David Harel and Guy Katz and Assaf Marron},
 	title = {Efficient Distributed Execution of Multi-component Scenario-Based Models},
 	booktitle = {Communications in Computer and Information Science}
 }

copy to clipboard

Model-Driven Engineering and Software Development

Publication date: July 8th, 2018
doi: 10.1007/978-3-319-94764-8_19

Abstract

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.