Details
| Original language | English |
|---|---|
| Title of host publication | Model-Driven Engineering and Software Development |
| Editors | Bran Selic, Luis Ferreira Pires, Slimane Hammoudi |
| Publisher | Springer Verlag |
| Pages | 449-483 |
| Number of pages | 35 |
| ISBN (print) | 9783319947631 |
| Publication status | Published - 2018 |
| Event | 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017 - Porto, Portugal Duration: 19 Feb 2017 → 21 Feb 2017 |
Publication series
| Name | Communications in Computer and Information Science |
|---|---|
| Volume | 880 |
| ISSN (Print) | 1865-0929 |
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. 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].
Keywords
- Concurrency, Distributed systems, Scenario-based modeling, Software engineering
ASJC Scopus subject areas
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Model-Driven Engineering and Software Development. ed. / Bran Selic; Luis Ferreira Pires; Slimane Hammoudi. Springer Verlag, 2018. p. 449-483 (Communications in Computer and Information Science; Vol. 880).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Efficient distributed execution of multi-component scenario-based models
AU - Steinberg, Shlomi
AU - Greenyer, Joel
AU - Gritzner, Daniel
AU - Harel, David
AU - Katz, Guy
AU - Marron, Assaf
N1 - Funding information:. This work is funded by grants from the German-Israeli Foundation for Scientific Research and Development (GIF) and from the Israel Science Foundation (ISF).
PY - 2018
Y1 - 2018
N2 - 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].
AB - 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].
KW - Concurrency
KW - Distributed systems
KW - Scenario-based modeling
KW - Software engineering
UR - http://www.scopus.com/inward/record.url?scp=85050404450&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-94764-8_19
DO - 10.1007/978-3-319-94764-8_19
M3 - Conference contribution
AN - SCOPUS:85050404450
SN - 9783319947631
T3 - Communications in Computer and Information Science
SP - 449
EP - 483
BT - Model-Driven Engineering and Software Development
A2 - Selic, Bran
A2 - Pires, Luis Ferreira
A2 - Hammoudi, Slimane
PB - Springer Verlag
T2 - 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017
Y2 - 19 February 2017 through 21 February 2017
ER -