Details
| Original language | English |
|---|---|
| Title of host publication | ESEC/FSE 2017 - Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering |
| Editors | Andrea Zisman, Eric Bodden, Wilhelm Schafer, Arie van Deursen |
| Publisher | Association for Computing Machinery (ACM) |
| Pages | 974-978 |
| Number of pages | 5 |
| ISBN (electronic) | 9781450351058 |
| Publication status | Published - 21 Aug 2017 |
| Event | 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2017 - Paderborn, Germany Duration: 4 Sept 2017 → 8 Sept 2017 |
Publication series
| Name | Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering |
|---|---|
| Volume | Part F130154 |
Abstract
Software-intensive systems often consist of cooperating reactive components. In mobile and reconfigurable systems, their topology changes at run-time, which influences howthe 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/
Keywords
- Assume/guarantee specifications, Distributed embedded systems, Dynamic topologies, Reactive systems, Scenario-based modeling
ASJC Scopus subject areas
- Computer Science(all)
- Software
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
ESEC/FSE 2017 - Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. ed. / Andrea Zisman; Eric Bodden; Wilhelm Schafer; Arie van Deursen. Association for Computing Machinery (ACM), 2017. p. 974-978 (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; Vol. Part F130154).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - From scenario modeling to scenario programming for reactive systems with dynamic topology
AU - Greenyer, Joel
AU - Gritzner, Daniel
AU - König, Florian
AU - Dahlke, Jannik
AU - Shi, Jianwei
AU - Wete, Eric
N1 - Funding Information: ∗Funded by the German Israeli Foundation for Scientific Research and Development (GIF), grant No. 1258.
PY - 2017/8/21
Y1 - 2017/8/21
N2 - Software-intensive systems often consist of cooperating reactive components. In mobile and reconfigurable systems, their topology changes at run-time, which influences howthe 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/
AB - Software-intensive systems often consist of cooperating reactive components. In mobile and reconfigurable systems, their topology changes at run-time, which influences howthe 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/
KW - Assume/guarantee specifications
KW - Distributed embedded systems
KW - Dynamic topologies
KW - Reactive systems
KW - Scenario-based modeling
UR - http://www.scopus.com/inward/record.url?scp=85030764842&partnerID=8YFLogxK
U2 - 10.1145/3106237.3122827
DO - 10.1145/3106237.3122827
M3 - Conference contribution
AN - SCOPUS:85030764842
T3 - Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
SP - 974
EP - 978
BT - ESEC/FSE 2017 - Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering
A2 - Zisman, Andrea
A2 - Bodden, Eric
A2 - Schafer, Wilhelm
A2 - van Deursen, Arie
PB - Association for Computing Machinery (ACM)
T2 - 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2017
Y2 - 4 September 2017 through 8 September 2017
ER -