Authors:
Shlomi Steinberg
1
;
Joel Greenyer
2
;
Daniel Gritzner
2
;
David Harel
1
;
Guy Katz
3
and
Assaf Marron
1
Affiliations:
1
The Weizmann Institute of Science, Israel
;
2
Leibniz Universität Hannover, Germany
;
3
Stanford University, United States
Keyword(s):
Software Engineering, Scenario-based Modeling, Concurrency, Distributed Systems.
Related
Ontology
Subjects/Areas/Topics:
Applications and Software Development
;
Languages, Tools and Architectures
;
Methodologies, Processes and Platforms
;
Model Execution and Simulation
;
Model Transformation
;
Model Transformations and Generative Approaches
;
Model-Driven Software Development
;
Models
;
Paradigm Trends
;
Reasoning about Models
;
Software Engineering
;
Syntax and Semantics of Modeling Languages
Abstract:
In recent years, scenario-based modeling has been proposed to help mitigate some of the underlying difficulties in modeling complex reactive systems, by allowing modelers to specify system behavior in a way that is intuitive and directly executable. This modeling approach simplifies the specification of systems that include events occurring in distinct system components. However, when these system components are physically distributed, executing the scenario-based model requires inter-component coordination that may negatively affect system performance or robustness. We describe a technique that aims to reduce the amount of joint event-selection decisions that require coordination and synchronization among distributed system components. The technique calls for replicating the entire scenario-based executable specification in each of the components, and then transforming it in a component-specific manner that induces the required differences in execution while reducing synchronization
requirements. In addition to advantages in streamlining design and improving performance, our approach captures the fact that in certain ``smart' distributed systems it is often required that components know what rules govern the behavior of other components. Our evaluation of the technique shows promising results.
(More)