Name
Title | ||
|---|---|---|
From scenario modeling to scenario programming for reactive systems with dynamic topology |
Abstract | ||
|---|---|---|
Software-intensive systems often consist of cooperating reactive components. In mobile and reconfigurable systems, their topology changes at run-time, which influences how the components must cooperate. The Scenario Modeling Language (SML) offers a formal approach for specifying the reactive behavior such systems that aligns with how humans conceive and communicate behavioral requirements. Simulation and formal checks can find specification flaws early. We present a framework for the Scenario-based Programming (SBP) that reflects the concepts of SML in Java and makes the scenario modeling approach available for programming. SBP code can also be generated from SML and extended with platform-specific code, thus streamlining the transition from design to implementation. As an example serves a car-to-x communication system. Demo video and artifact: http://scenariotools.org/esecfse-2017-tool-demo/ |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1145/3106237.3122827 | ESEC/SIGSOFT FSE |
Keywords | Field | DocType |
Scenario-based modeling,reactive systems,distributed embedded systems,dynamic topologies,assume/guarantee specifications | Topology,Programming language,Computer science,Modeling language,Communications system,Real-time computing,Reactive components,Reactive system,Java,Distributed computing | Conference |
ISBN | Citations | PageRank |
978-1-4503-5105-8 | 0 | 0.34 |
References | Authors | |
10 | 6 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Joel Greenyer | 1 | 224 | 20.36 |
| Daniel Gritzner | 2 | 11 | 2.61 |
| Florian König | 3 | 2 | 0.76 |
| Jannik Dahlke | 4 | 0 | 0.34 |
| Jianwei Shi | 5 | 3 | 1.78 |
| Eric Wete | 6 | 0 | 0.34 |