{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:06Z","timestamp":1750306086663,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T00:00:00Z","timestamp":1503273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"German-Israeli Foundation for Scientific Research and Development","award":["1258"],"award-info":[{"award-number":["1258"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,8,21]]},"DOI":"10.1145\/3106237.3122827","type":"proceedings-article","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T19:36:18Z","timestamp":1501702578000},"page":"974-978","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["From scenario modeling to scenario programming for reactive systems with dynamic topology"],"prefix":"10.1145","author":[{"given":"Joel","family":"Greenyer","sequence":"first","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover, Germany"}]},{"given":"Daniel","family":"Gritzner","sequence":"additional","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover, Germany"}]},{"given":"Florian","family":"K\u00f6nig","sequence":"additional","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover, Germany"}]},{"given":"Jannik","family":"Dahlke","sequence":"additional","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover, Germany"}]},{"given":"Jianwei","family":"Shi","sequence":"additional","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover, Germany"}]},{"given":"Eric","family":"Wete","sequence":"additional","affiliation":[{"name":"Leibniz Universit\u00e4t Hannover, Germany"}]}],"member":"320","published-online":{"date-parts":[[2017,8,21]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/2591062.2591140"},{"key":"e_1_3_2_1_2_1","volume-title":"Lee","author":"Bagheri Maryam","year":"2017","unstructured":"Maryam Bagheri , Ilge Akkaya , Ehsan Khamespanah , Narges Khakpour , Marjan Sirjani , Ali Movaghar , and Edward A . Lee . 2017 . Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, and Edward A. Lee. 2017."},{"unstructured":"Coordinated Actors for Reliable Self-adaptive Systems. Springer International Publishing Cham 241\u2013259. 3- 319- 57666- 4_15  Coordinated Actors for Reliable Self-adaptive Systems. Springer International Publishing Cham 241\u2013259. 3- 319- 57666- 4_15","key":"e_1_3_2_1_3_1"},{"unstructured":"Christian Brenner Joel Greenyer and Valerio Panzica La Manna. 2013.  Christian Brenner Joel Greenyer and Valerio Panzica La Manna. 2013.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. 12th Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT","author":"ScenarioTools The","year":"2013","unstructured":"The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions , In Proc. 12th Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2013 ). Electronic Communications of the EASST 58. The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions, In Proc. 12th Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2013). Electronic Communications of the EASST 58."},{"volume-title":"41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) (Leibniz International Proceedings in Informatics (LIPIcs))","author":"Chatterjee Krishnendu","unstructured":"Krishnendu Chatterjee , Wolfgang Dvor\u00e1k , Monika Henzinger , and Veronika Loitzenbauer . 2016. Conditionally Optimal Algorithms for Generalized B\u00fcchi Games . In 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) (Leibniz International Proceedings in Informatics (LIPIcs)) , Piotr Faliszewski, Anca Muscholl, and Rolf Niedermeier (Eds.), Vol. 58 . Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany , 25:1\u201325:15. Krishnendu Chatterjee, Wolfgang Dvor\u00e1k, Monika Henzinger, and Veronika Loitzenbauer. 2016. Conditionally Optimal Algorithms for Generalized B\u00fcchi Games. In 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) (Leibniz International Proceedings in Informatics (LIPIcs)), Piotr Faliszewski, Anca Muscholl, and Rolf Niedermeier (Eds.), Vol. 58. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 25:1\u201325:15.","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1023\/A:1011227529550"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 10th International Workshop on Models@Run.Time (MRT 2015), co-located with MODELS 2015 (to appear). http:\/\/jgreen.de\/wp-content\/documents\/2015\/scenarios-at-runtime.pdf","author":"Greenyer Joel","year":"2015","unstructured":"Joel Greenyer , Daniel Gritzner , Timo Gutjahr , Tim Duente , Stefan Dulle , Falk-David Deppe , Nils Glade , Marius Hilbich , Florian Koenig , Jannis Luennemann , Nils Prenner , Kevin Raetz , Thilo Schnelle , Martin Singer , Nicolas Tempelmeier , and Raphael Voges . 2015 . Scenarios@run.time \u2013 Distributed Execution of Specifications on IoT-Connected Robots . In Proceedings of the 10th International Workshop on Models@Run.Time (MRT 2015), co-located with MODELS 2015 (to appear). http:\/\/jgreen.de\/wp-content\/documents\/2015\/scenarios-at-runtime.pdf Joel Greenyer, Daniel Gritzner, Timo Gutjahr, Tim Duente, Stefan Dulle, Falk-David Deppe, Nils Glade, Marius Hilbich, Florian Koenig, Jannis Luennemann, Nils Prenner, Kevin Raetz, Thilo Schnelle, Martin Singer, Nicolas Tempelmeier, and Raphael Voges. 2015. Scenarios@run.time \u2013 Distributed Execution of Specifications on IoT-Connected Robots. In Proceedings of the 10th International Workshop on Models@Run.Time (MRT 2015), co-located with MODELS 2015 (to appear). http:\/\/jgreen.de\/wp-content\/documents\/2015\/scenarios-at-runtime.pdf"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the MoDELS 2016 Demo and Poster Sessions, colocated with ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS","volume":"1725","author":"Greenyer Joel","year":"2016","unstructured":"Joel Greenyer , Daniel Gritzner , Guy Katz , and Assaf Marron . 2016 . Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools . In Proceedings of the MoDELS 2016 Demo and Poster Sessions, colocated with ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Juan de Lara, Peter J. Clarke, and Mehrdad Sabetzadeh (Eds.) , Vol. 1725 . CEUR, 16\u201332. Joel Greenyer, Daniel Gritzner, Guy Katz, and Assaf Marron. 2016. Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools. In Proceedings of the MoDELS 2016 Demo and Poster Sessions, colocated with ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Juan de Lara, Peter J. Clarke, and Mehrdad Sabetzadeh (Eds.), Vol. 1725. CEUR, 16\u201332."},{"key":"e_1_3_2_1_10_1","volume-title":"SysInt 2016) 26","author":"Greenyer Joel","year":"2016","unstructured":"Joel Greenyer , Daniel Gritzner , Guy Katz , Assaf Marron , Nils Glade , Timo Gutjahr , and Florian K\u00f6nig . 2016. Distributed Execution of Scenario-Based Specifications of Structurally Dynamic Cyber-Physical Systems. Procedia Technology (Proceedings of the 3nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering , SysInt 2016) 26 ( 2016 ), 552 \u2013 559. 3rd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering (SysInt 2016). Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron, Nils Glade, Timo Gutjahr, and Florian K\u00f6nig. 2016. Distributed Execution of Scenario-Based Specifications of Structurally Dynamic Cyber-Physical Systems. Procedia Technology (Proceedings of the 3nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, SysInt 2016) 26 (2016), 552 \u2013 559. 3rd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering (SysInt 2016)."},{"unstructured":"D. Harel and R. Marelly. 2003.  D. Harel and R. Marelly. 2003.","key":"e_1_3_2_1_11_1"},{"volume-title":"Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"Come","unstructured":"Come , Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine . Springer . Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer.","key":"e_1_3_2_1_12_1"},{"unstructured":"David Harel and Rami Marelly. 2003.  David Harel and Rami Marelly. 2003.","key":"e_1_3_2_1_13_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1007\/s10270-002-0015-5"},{"unstructured":"David Harel Assaf Marron and Gera Weiss. 2012.  David Harel Assaf Marron and Gera Weiss. 2012.","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","first-page":"7","volume":"55","author":"Behavioral","year":"2012","unstructured":"Behavioral programming. Comm. ACM 55 , 7 ( 2012 ), 90\u2013100. Behavioral programming. Comm. ACM 55, 7 (2012), 90\u2013100.","journal-title":"Comm. ACM"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.5555\/3104068.3104074"},{"unstructured":"Florian Wolfgang Hagen K\u00f6nig. 2017.  Florian Wolfgang Hagen K\u00f6nig. 2017.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","volume-title":"Leibniz Universit\u00e4t Hannover","author":"Java Szenariobasierte Programmierung","year":"2017","unstructured":"Szenariobasierte Programmierung und verteilte Ausf\u00fchrung in Java . Master\u2019s Thesis . Leibniz Universit\u00e4t Hannover , Software Engineering Group . http:\/\/jgreen.de\/wpcontent\/documents\/msctheses\/ 2017 \/Koenig2017.pdf Szenariobasierte Programmierung und verteilte Ausf\u00fchrung in Java. Master\u2019s Thesis. Leibniz Universit\u00e4t Hannover, Software Engineering Group. http:\/\/jgreen.de\/wpcontent\/documents\/msctheses\/ 2017\/Koenig2017.pdf"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/2000799.2000804"},{"unstructured":"Rami Marelly David Harel and Hillel Kugler. 2002.  Rami Marelly David Harel and Hillel Kugler. 2002.","key":"e_1_3_2_1_21_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/583854.582429"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 10th International Workshop on Models@Run.Time (MRT 2015), co-located with MODELS 2015. http:\/\/ceur-ws.org\/Vol-1474\/MRT15_paper_6.pdf","author":"Piechnick Christian","year":"2015","unstructured":"Christian Piechnick , Maria Piechnick , Sebastian G\u00f6tz , Georg P\u00fcschel , and Uwe A\u00dfmann . 2015 . Managing Distributed Context Models Requires Adaptivity too . In Proceedings of the 10th International Workshop on Models@Run.Time (MRT 2015), co-located with MODELS 2015. http:\/\/ceur-ws.org\/Vol-1474\/MRT15_paper_6.pdf Christian Piechnick, Maria Piechnick, Sebastian G\u00f6tz, Georg P\u00fcschel, and Uwe A\u00dfmann. 2015. Managing Distributed Context Models Requires Adaptivity too. In Proceedings of the 10th International Workshop on Models@Run.Time (MRT 2015), co-located with MODELS 2015. http:\/\/ceur-ws.org\/Vol-1474\/MRT15_paper_6.pdf"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1007\/11609773_24"},{"volume-title":"Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. In 2016 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE). 33\u201338","author":"Schubert D.","unstructured":"D. Schubert , C. Heinzemann , and C. Gerking . 2016 . Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. In 2016 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE). 33\u201338 . D. Schubert, C. Heinzemann, and C. Gerking. 2016. Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. In 2016 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE). 33\u201338.","key":"e_1_3_2_1_25_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.5220\/0006271301820195"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"ESEC\/FSE'17","name":"ESEC\/FSE'17: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Paderborn Germany"},"container-title":["Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3122827","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3106237.3122827","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:17Z","timestamp":1750217417000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3122827"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,21]]},"references-count":26,"alternative-id":["10.1145\/3106237.3122827","10.1145\/3106237"],"URL":"https:\/\/doi.org\/10.1145\/3106237.3122827","relation":{},"subject":[],"published":{"date-parts":[[2017,8,21]]},"assertion":[{"value":"2017-08-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}