{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T17:10:10Z","timestamp":1751735410290,"version":"3.41.0"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319947631"},{"type":"electronic","value":"9783319947648"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-94764-8_19","type":"book-chapter","created":{"date-parts":[[2018,7,7]],"date-time":"2018-07-07T13:03:35Z","timestamp":1530968615000},"page":"449-483","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Distributed Execution of Multi-component Scenario-Based Models"],"prefix":"10.1007","author":[{"given":"Shlomi","family":"Steinberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joel","family":"Greenyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Gritzner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Harel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"Katz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Assaf","family":"Marron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,8]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Alexandron, G., Armoni, M., Gordon, M., Harel, D.: Scenario-based programming: reducing the cognitive load, fostering abstract thinking. In: Proceedings of the 36th International Conference on Software Engineering (ICSE), pp. 311\u2013320 (2014)","DOI":"10.1145\/2591062.2591167"},{"issue":"1\u20133","key":"19_CR2","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1023\/B:MACH.0000033116.57574.95","volume":"56","author":"N Bansal","year":"2004","unstructured":"Bansal, N., Blum, A., Chawla, S.: Correlation clustering. Mach. Learn. 56(1\u20133), 89\u2013113 (2004)","journal-title":"Mach. Learn."},{"key":"19_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04303-5","volume-title":"Handbook on Parallel and Distributed Processing","author":"J B\u0142a\u017cewicz","year":"2013","unstructured":"B\u0142a\u017cewicz, J., Ecker, K., Plateau, B., Trystram, D.: Handbook on Parallel and Distributed Processing. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-662-04303-5"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-662-46675-9_4","volume-title":"Fundamental Approaches to Software Engineering","author":"C Brenner","year":"2015","unstructured":"Brenner, C., Greenyer, J., Sch\u00e4fer, W.: On-the-fly synthesis of scarcely synchronizing distributed controllers from scenario-based specifications. In: Egyed, A., Schaefer, I. (eds.) FASE 2015. LNCS, vol. 9033, pp. 51\u201365. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46675-9_4"},{"issue":"6","key":"19_CR5","doi-asserted-by":"publisher","first-page":"700","DOI":"10.1109\/7.18637","volume":"24","author":"Y Cheng","year":"1988","unstructured":"Cheng, Y., Robertazii, T.: Distributed computation with communication delay (distributed intelligent sensor networks). IEEE Trans. Aerosp. Electron. Syst. 24(6), 700\u2013712 (1988)","journal-title":"IEEE Trans. Aerosp. Electron. Syst."},{"issue":"1","key":"19_CR6","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: breathing life into message sequence charts. J. Formal Methods Syst. Des. 19(1), 45\u201380 (2001)","journal-title":"J. Formal Methods Syst. Des."},{"issue":"2","key":"19_CR7","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/BF01088589","volume":"5","author":"JA Puente De La","year":"1993","unstructured":"De La Puente, J.A., Alonso, A., Le\u00f3n, G., Due\u00f1as, J.C.: Distributed execution of specifications. Real-Time Syst. 5(2), 213\u2013234 (1993)","journal-title":"Real-Time Syst."},{"issue":"2","key":"19_CR8","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/857076.857078","volume":"35","author":"P Eugster","year":"2003","unstructured":"Eugster, P., Felber, P., Guerraoui, R., Kermarrec, A.: The many faces of publish\/subscribe. ACM Comput. Surv. (CSUR) 35(2), 114\u2013131 (2003)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Fahland, D., Kantor, A.: Synthesizing decentralized components from a variant of live sequence charts. In: Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 25\u201338 (2013)","DOI":"10.5220\/0004320500250038"},{"issue":"5","key":"19_CR10","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/0020-0190(96)00121-4","volume":"59","author":"S Ghosh","year":"1996","unstructured":"Ghosh, S., Gupta, A.: An exercise in fault-containment: self-stabilizing leader election. Inf. Process. Lett. 59(5), 281\u2013288 (1996)","journal-title":"Inf. Process. Lett."},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Gordon, M., Marron, A., Meerbaum-Salant, O.: Spaghetti for the main course? Observations on the naturalness of scenario-based programming. In: Proceedings of the 17th Confernce on Innovation and Technology in Computer Science Education (ITICSE), pp. 198\u2013203 (2012)","DOI":"10.1145\/2325296.2325346"},{"key":"19_CR12","unstructured":"Greenyer, J., Gritzner, D., Gutjahr, T., Duente, T., Dulle, S., Deppe, F.-D., Glade, N., Hilbich, M., Koenig, F., Luennemann, J., Prenner, N., Raetz, K., Schnelle, T., Singer, M., Tempelmeier, N., Voges, R.: Scenarios@run.time \u2013 distributed execution of specifications on IoT-connected robots. In: Proceedings of the 10th International Workshop on Models@Run.Time (MRT), pp. 71\u201380 (2015)"},{"key":"19_CR13","unstructured":"Greenyer, J., Gritzner, D., Katz, G., Marron, A.: Scenario-based modeling and synthesis for reactive systems with dynamic system structure in ScenarioTools. In: Proceedings of the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 16\u201332 (2016)"},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1016\/j.protcy.2016.08.069","volume":"26","author":"Joel Greenyer","year":"2016","unstructured":"Greenyer, J., Gritzner, D., Katz, G., Marron, A., Glade, N., Gutjahr, T., K\u00f6nig, F.: Distributed execution of scenario-based specifications of structurally dynamic cyber-physical systems. In: Proceedings 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SYSINT), pp. 552\u2013559 (2016)","journal-title":"Procedia Technology"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-642-45221-5_25","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"D Harel","year":"2013","unstructured":"Harel, D., Kantor, A., Katz, G.: Relaxing synchronization constraints in behavioral programs. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR 2013. LNCS, vol. 8312, pp. 355\u2013372. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45221-5_25"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Harel, D., Kantor, A., Katz, G., Marron, A., Mizrahi, L., Weiss, G.: On composing and proving the correctness of reactive behavior. In: Proceedings of the 13th International Conference on Embedded Software (EMSOFT), pp. 1\u201310 (2013)","DOI":"10.1109\/EMSOFT.2013.6658591"},{"issue":"2","key":"19_CR17","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/j.scico.2014.03.003","volume":"98","author":"D Harel","year":"2015","unstructured":"Harel, D., Kantor, A., Katz, G., Marron, A., Weiss, G., Wiener, G.: Towards behavioral programming in distributed architectures. Sci. Comput. Program. 98(2), 233\u2013267 (2015)","journal-title":"Sci. Comput. Program."},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Harel, D., Katz, G.: Scaling-up behavioral programming: steps from basic principles to application architectures. In: Proceedings of the 4th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!), pp. 95\u2013108 (2014)","DOI":"10.1145\/2687357.2687359"},{"key":"19_CR19","unstructured":"Harel, D., Katz, G., Lampert, R. Marron, A., Weiss, G.: On the succinctness of idioms for concurrent programming. In: Proceedings of the 26th International Conference on Concurrency Theory (CONCUR), pp. 85\u201399 (2015)"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Harel, D., Katz, G., Marelly, R., Marron, A.: An initial wise development environment for behavioral models. In: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 600\u2013612 (2016)","DOI":"10.5220\/0005811806000612"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Harel, D., Katz, G., Marron, A., Weiss, G.: Non-intrusive repair of reactive programs. In: Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 3\u201312 (2012)","DOI":"10.1109\/ICECCS20050.2012.6299199"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Harel, D., Katz, G., Marron, A., Weiss, G.: The effect of concurrent programming idioms on verification. In: Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 363\u2013369 (2015)","DOI":"10.5220\/0005324203630369"},{"key":"19_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/3-540-36126-X_23","volume-title":"Formal Methods in Computer-Aided Design","author":"D Harel","year":"2002","unstructured":"Harel, D., Kugler, H., Marelly, R., Pnueli, A.: Smart play-out of behavioral requirements. In: Aagaard, M.D., O\u2019Leary, J.W. (eds.) FMCAD 2002. LNCS, vol. 2517, pp. 378\u2013398. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-36126-X_23"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Harel, D., Lampert, R., Marron, A., Weiss, G.: Model-checking behavioral programs. In: Proceedings of the 11th International Conference on Embedded Software (EMSOFT), pp. 279\u2013288 (2011)","DOI":"10.1145\/2038642.2038686"},{"key":"19_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-642-19029-2"},{"key":"19_CR26","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/s10270-002-0015-5","volume":"2","author":"D Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Specifying and executing behavioral requirements: the play in\/play-out approach. Softw. Syst. Model. (SoSyM) 2, 82\u2013107 (2003)","journal-title":"Softw. Syst. Model. (SoSyM)"},{"issue":"7","key":"19_CR27","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/2209249.2209270","volume":"55","author":"D Harel","year":"2012","unstructured":"Harel, D., Marron, A., Weiss, G.: Behavioral programming. Commun. ACM 55(7), 90\u2013100 (2012)","journal-title":"Commun. ACM"},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"Harel, D., Marron, A., Weiss, G., Wiener, G.: Behavioral programming, decentralized control, and multiple time scales. In: Proceedings of the 1st SPLASH Workshop on Programming Systems, Languages, and Applications based on Agents, Actors, and Decentralized Control (AGERE!), pp. 171\u2013182 (2011)","DOI":"10.1145\/2095050.2095079"},{"key":"19_CR29","unstructured":"Harel, D., Segall, I.: Synthesis from live sequence chart specifications. Comput. Syst. Sci. (2011, to appear)"},{"key":"19_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1007\/978-3-642-45221-5_35","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"G Katz","year":"2013","unstructured":"Katz, G.: On module-based abstraction and repair of behavioral programs. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR 2013. LNCS, vol. 8312, pp. 518\u2013535. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45221-5_35"},{"key":"19_CR31","doi-asserted-by":"crossref","unstructured":"Katz, G., Barrett, C., Harel, D.: Theory-aided model checking of concurrent transition systems. In: Proceedings of the 15th International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 81\u201388 (2015)","DOI":"10.1109\/FMCAD.2015.7542256"},{"key":"19_CR32","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.jnca.2014.09.009","volume":"48","author":"J Liu","year":"2015","unstructured":"Liu, J., Ahmed, E., Shiraz, M., Gani, A., Buyya, R., Qureshi, A.: Application partitioning algorithms in mobile cloud computing: taxonomy, review and future directions. J. Netw. Comput. Appl. 48, 99\u2013117 (2015)","journal-title":"J. Netw. Comput. Appl."},{"key":"19_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-642-04383-3_22","volume-title":"Ad-Hoc, Mobile and Wireless Networks","author":"C Miller","year":"2009","unstructured":"Miller, C., Poellabauer, C.: A decentralized approach to minimum-energy broadcasting in static ad hoc networks. In: Ruiz, P.M., Garcia-Luna-Aceves, J.J. (eds.) ADHOC-NOW 2009. LNCS, vol. 5793, pp. 298\u2013311. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04383-3_22"},{"issue":"2","key":"19_CR34","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1023\/A:1008608810770","volume":"10","author":"P Muth","year":"1998","unstructured":"Muth, P., Wodtke, D., Weissenfels, J., Dittrich, A.K., Weikum, G.: From centralized workflow specification to distributed workflow execution. J. Intell. Inf. Syst. 10(2), 159\u2013184 (1998)","journal-title":"J. Intell. Inf. Syst."},{"issue":"1","key":"19_CR35","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P Ramadge","year":"1987","unstructured":"Ramadge, P., Wonham, W.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25(1), 206\u2013230 (1987)","journal-title":"SIAM J. Control Optim."},{"key":"19_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-540-45187-7_2","volume-title":"CONCUR 2003 - Concurrency Theory","author":"A \u015etef\u0103nescu","year":"2003","unstructured":"\u015etef\u0103nescu, A., Esparza, J., Muscholl, A.: Synthesis of distributed algorithms using asynchronous automata. In: Amadio, R., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 27\u201341. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-45187-7_2"},{"key":"19_CR37","doi-asserted-by":"crossref","unstructured":"Steinberg, S., Greenyer, J., Gritzner, D., Harel, D., Katz, G., Marron, A.: Distributing scenario-based models: a replicate-and-project approach. In: 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) (2017)","DOI":"10.5220\/0006271301820195"},{"key":"19_CR38","doi-asserted-by":"crossref","unstructured":"van Gemund, A.: The importance of synchronization structure in parallel program optimization. In: Proceedings of the 11th International Conference on Supercomputing (ICS), pp. 164\u2013171 (1997)","DOI":"10.1145\/263580.263625"},{"issue":"4","key":"19_CR39","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1109\/TCST.2002.1014671","volume":"10","author":"J Yook","year":"2002","unstructured":"Yook, J., Tilbury, D., Soparkar, N.: Trading computation for bandwidth: reducing communication in distributed control systems using state estimators. IEEE Trans. Control Syst. Technol. 10(4), 503\u2013518 (2002)","journal-title":"IEEE Trans. Control Syst. Technol."}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94764-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T16:52:05Z","timestamp":1751734325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94764-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319947631","9783319947648"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94764-8_19","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}