Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | ESEC/FSE 2017 - Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering |
| Herausgeber/-innen | Andrea Zisman, Eric Bodden, Wilhelm Schafer, Arie van Deursen |
| Herausgeber (Verlag) | Association for Computing Machinery (ACM) |
| Seiten | 974-978 |
| Seitenumfang | 5 |
| ISBN (elektronisch) | 9781450351058 |
| Publikationsstatus | Veröffentlicht - 21 Aug. 2017 |
| Veranstaltung | 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2017 - Paderborn, Deutschland Dauer: 4 Sept. 2017 → 8 Sept. 2017 |
Publikationsreihe
| Name | Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering |
|---|---|
| Band | 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/
ASJC Scopus Sachgebiete
- Informatik (insg.)
- Software
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
ESEC/FSE 2017 - Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. Hrsg. / Andrea Zisman; Eric Bodden; Wilhelm Schafer; Arie van Deursen. Association for Computing Machinery (ACM), 2017. S. 974-978 (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; Band Part F130154).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › 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 -