{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:54:12Z","timestamp":1764053652297,"version":"3.40.3"},"publisher-location":"Cham","reference-count":58,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030378721"},{"type":"electronic","value":"9783030378738"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","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":[[2020]]},"DOI":"10.1007\/978-3-030-37873-8_11","type":"book-chapter","created":{"date-parts":[[2020,1,3]],"date-time":"2020-01-03T01:03:00Z","timestamp":1578013380000},"page":"246-274","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Executing Scenario-Based Specification with Dynamic Generation of Rich Events"],"prefix":"10.1007","author":[{"given":"David","family":"Harel","sequence":"first","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"}]},{"given":"Aviran","family":"Sadon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gera","family":"Weiss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,1,3]]},"reference":[{"key":"11_CR1","unstructured":"Antonelli, G., Arrichiello, F., Chiaverini, S.: The NSB control: a behavior-based approach for multi-robot systems. Paladyn, J. Behav. Robot. 1(1), 48\u201356 (2010)"},{"key":"11_CR2","unstructured":"Argelich, J., Lynce, I.: CNF instances from the software package installation problem. In: Proceedings of 15th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (2008)"},{"key":"11_CR3","unstructured":"Arkin, R.C.: Behavior-Based Robotics. MIT Press, Cambridge (1998)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Bar-Sinai, M., Weiss, G., Shmuel, R.: BPjs: an extensible, open infrastructure for behavioral programming research. In: Proceedings of 21st ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 59\u201360 (2018)","DOI":"10.1145\/3270112.3270126"},{"key":"11_CR5","unstructured":"Barrett, C., Kroening, D., Melham, T.: Problem Solving for the 21st Century: Efficient Solvers for Satisfiability Modulo Theories. London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineering (2014)"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-319-10575-8_11","volume-title":"Handbook of Model Checking","author":"C Barrett","year":"2018","unstructured":"Barrett, C., Tinelli, C.: Satisfiability modulo theories. In: Clarke, E., Henzinger, T., Veith, H., Bloem, R. (eds.) Handbook of Model Checking, pp. 305\u2013343. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_11"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, pp. 193\u2013207. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-49059-0_14"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-540-85361-9_39","volume-title":"CONCUR 2008 - Concurrency Theory","author":"S Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: A notion of glue expressiveness for component-based systems. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 508\u2013522. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85361-9_39"},{"issue":"3","key":"11_CR9","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1016\/j.jcss.2011.08.007","volume":"78","author":"R Bloem","year":"2012","unstructured":"Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Saar, Y.: Synthesis of reactive(1) designs. J. Comput. Syst. Sci. 78(3), 911\u2013938 (2012)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1\u20132","key":"11_CR10","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0004-3702(96)00047-1","volume":"90","author":"AL Blum","year":"1997","unstructured":"Blum, A.L., Furst, M.L.: Fast planning through planning graph analysis. Artif. Intell. 90(1\u20132), 281\u2013300 (1997)","journal-title":"Artif. Intell."},{"key":"11_CR11","unstructured":"Branicky, M.: Behavioral Programming. In: Working Notes AAAI Spring Symposium on Hybrid Systems and AI (1999)"},{"issue":"1","key":"11_CR12","first-page":"14","volume":"2","author":"R Brooks","year":"1986","unstructured":"Brooks, R.: A robust layered control system for a mobile robot. Robot. Autom. 2(1), 14\u201323 (1986)","journal-title":"Robot. Autom."},{"key":"11_CR13","volume-title":"Linear Programming","author":"V Chv\u00e1tal","year":"1983","unstructured":"Chv\u00e1tal, V.: Linear Programming. Freeman W.H., New York (1983)"},{"key":"11_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8","volume-title":"Handbook of Model Checking","author":"E Clarke","year":"2018","unstructured":"Clarke, E., Henzinger, T., Veith, H., Bloem, R.: Handbook of Model Checking. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8"},{"key":"11_CR15","unstructured":"Harel, D., Katz, G., Marron, A., Sadon, A., Weiss, G.: Supplementary Material for Scenario-based Programming with Rich Event Construction (2019). http:\/\/www.b-prog.org\/ccismw19"},{"issue":"1","key":"11_CR16","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. (FMSD) 19(1), 45\u201380 (2001)","journal-title":"J. Formal Methods Syst. Des. (FMSD)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2011","unstructured":"Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_30"},{"key":"11_CR19","doi-asserted-by":"publisher","unstructured":"Gordon, M., Marron, A., Meerbaum-Salant, O.: Spaghetti for the main course?: observations on the naturalness of scenario-based programming. In: Innovation and Technology in Computer Science Education, ITiCSE 2012. ACM (2012). https:\/\/doi.org\/10.1145\/2325296.2325346","DOI":"10.1145\/2325296.2325346"},{"key":"11_CR20","unstructured":"Greenyer, J., Bar-Sinai, M., Weiss, G., Sadon, A., Marron, A.: Modeling and programming a leader-follower challenge problem with scenario-based tools. In: Proceedings of 21st ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 376\u2013385 (2018)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Greenyer, J., Gritzner, D.: Generating correct, compact, and efficient PLC Code from scenario-based GR(1) specifications. In: System-Integrated Intelligence: Challenges for Product and Production Engineering (SYSINT) (2018)","DOI":"10.1016\/j.promfg.2018.06.046"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.scico.2017.07.004","volume":"149","author":"J Greenyer","year":"2017","unstructured":"Greenyer, J., et al.: ScenarioTools\u2014a tool suite for the scenario-based modeling and analysis of reactive systems. J. Sci. Comput. Program. 149, 15\u201327 (2017)","journal-title":"J. Sci. Comput. Program."},{"key":"11_CR23","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 19th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 16\u201323 (2016)"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Greenyer, J., et al.: Distributed execution of scenario-based specifications of structurally dynamic cyber-physical systems. In: International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering (SYSINT), pp. 552\u2013559 (2016)","DOI":"10.1016\/j.protcy.2016.08.069"},{"key":"11_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-319-74730-9_23","volume-title":"Software Technologies: Applications and Foundations","author":"D Gritzner","year":"2018","unstructured":"Gritzner, D., Greenyer, J.: Synthesizing executable PLC code for robots from scenario-based GR(1) specifications. In: Seidl, M., Zschaler, S. (eds.) STAF 2017. LNCS, vol. 10748, pp. 247\u2013262. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74730-9_23"},{"key":"11_CR26","unstructured":"Harel, D. Kantor, A., Katz, G., Marron, A., Weiss, G., Wiener, G.: Towards behavioral programming in distributed architectures. J. Sci. Comput. Program. (J. SCP) 98, 233\u2013267 (2015)"},{"key":"11_CR27","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. J. Sci. Comput. Program. (J. SCP) 8(3), 231\u2013274 (1987)"},{"key":"11_CR28","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":"11_CR29","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 13th International Conference on Embedded Software (EMSOFT), pp. 1\u201310 (2013)","DOI":"10.1109\/EMSOFT.2013.6658591"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Harel, D., Katz, G.: Scaling-up behavioral programming: steps from basic principles to application architectures. In: International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE!), pp. 95\u2013108 (2014)","DOI":"10.1145\/2687357.2687359"},{"key":"11_CR31","unstructured":"Harel, D., Katz, G., Lampert, R., Marron, A., Weiss, G.: On the succinctness of idioms for concurrent programming. In: Proceedings of 26th International Conference on Concurrency Theory (CONCUR), pp. 85\u201399 (2015)"},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Harel, D., Katz, G., Marelly, R., Marron, A.: An initial wise development environment for behavioral models. In: Proceedings of 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 600\u2013612 (2016)","DOI":"10.5220\/0005811806000612"},{"issue":"3","key":"11_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/IJISMD.2016070101","volume":"7","author":"D Harel","year":"2016","unstructured":"Harel, D., Katz, G., Marelly, R., Marron, A.: First steps towards a wise development environment for behavioral models. Int. J. Inf. Syst. Model. Des. (IJISMD) 7(3), 1\u201322 (2016)","journal-title":"Int. J. Inf. Syst. Model. Des. (IJISMD)"},{"issue":"2","key":"11_CR34","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MC.2018.1451652","volume":"51","author":"D Harel","year":"2018","unstructured":"Harel, D., Katz, G., Marelly, R., Marron, A.: Wise computing: toward endowing system development with proactive wisdom. IEEE Comput. 51(2), 14\u201326 (2018)","journal-title":"IEEE Comput."},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Harel, D., Katz, G., Marron, A., Weiss, G.: Non-intrusive repair of reactive programs. In: Proceedings of 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 3\u201312 (2012)","DOI":"10.1109\/ICECCS20050.2012.6299199"},{"key":"11_CR36","first-page":"1","volume":"16","author":"D Harel","year":"2014","unstructured":"Harel, D., Katz, G., Marron, A., Weiss, G.: Non-intrusive repair of safety and liveness violations in reactive programs. Trans. Comput. Collect. Intell. (TCCI) 16, 1\u201333 (2014)","journal-title":"Trans. Comput. Collect. Intell. (TCCI)"},{"key":"11_CR37","unstructured":"Harel, D., Katz, G., Marron, A., Weiss, G.: The effect of concurrent programming idioms on verification: a position paper. In: Proceedings of 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 363\u2013369 (2015)"},{"key":"11_CR38","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":"11_CR39","doi-asserted-by":"crossref","unstructured":"Harel, D., Maoz, S., Szekely, S., Barkan, D.: PlayGo: towards a comprehensive tool for scenario based programming. In: Proceedings of 10th International Conference on Automated Software Engineering (ASE), pp. 359\u2013360 (2010)","DOI":"10.1145\/1858996.1859075"},{"key":"11_CR40","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":"11_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-642-14107-2_12","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"D Harel","year":"2010","unstructured":"Harel, D., Marron, A., Weiss, G.: Programming coordinated behavior in Java. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 250\u2013274. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14107-2_12"},{"key":"11_CR42","unstructured":"Harel, D., Marron, A., Weiss, G., Wiener, G.: Behavioral programming, decentralized control, and multiple time scales. In: Proceedings of 1st SPLASH Workshop on Programming Systems, Languages, and Applications Based on Agents, Actors, and Decentralized Control (AGERE!), pp. 171\u2013182 (2011)"},{"issue":"3","key":"11_CR43","doi-asserted-by":"publisher","first-page":"970","DOI":"10.1016\/j.jcss.2011.08.008","volume":"78","author":"D Harel","year":"2012","unstructured":"Harel, D., Segall, I.: Synthesis from live sequence chart specifications. Comput. Syst. Sci. 78(3), 970\u2013980 (2012)","journal-title":"Comput. Syst. Sci."},{"key":"11_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/978-3-319-98355-4_32","volume-title":"Adventures Between Lower Bounds and Higher Altitudes","author":"D Harel","year":"2018","unstructured":"Harel, D., Marron, A.: Toward scenario-based algorithmics. In: B\u00f6ckenhauer, H.-J., Komm, D., Unger, W. (eds.) Adventures Between Lower Bounds and Higher Altitudes. LNCS, vol. 11011, pp. 549\u2013567. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98355-4_32"},{"issue":"7","key":"11_CR45","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":"11_CR46","unstructured":"IEEE: Standard SystemC Lang. Ref. Manual. IEEE (2006)"},{"key":"11_CR47","doi-asserted-by":"crossref","unstructured":"Katz, G., Barrett, C., Harel, D.: Theory-aided model checking of concurrent transition systems. In: Proceedings of 15th International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 81\u201388 (2015)","DOI":"10.1109\/FMCAD.2015.7542256"},{"key":"11_CR48","doi-asserted-by":"publisher","unstructured":"Katz, G., Marron, A., Sadon, A., Weiss, G.: On-the-fly construction of composite events in scenario-based modeling using constraint solvers. In: Model-Driven Engineering and Software Development, MODELSWARD 2019, pp. 141\u2013154 (2019). https:\/\/doi.org\/10.5220\/0007573801410154","DOI":"10.5220\/0007573801410154"},{"key":"11_CR49","doi-asserted-by":"crossref","unstructured":"Katz, G.: On module-based abstraction and repair of behavioral programs. In: Proceedings of 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), pp. 518\u2013535 (2013)","DOI":"10.1007\/978-3-642-45221-5_35"},{"key":"11_CR50","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP 1997","author":"G Kiczales","year":"1997","unstructured":"Kiczales, G., et al.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220\u2013242. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0053381"},{"key":"11_CR51","doi-asserted-by":"crossref","unstructured":"Mancinelli, F., Boender, J., Di Cosmo, R., Vouillon, J., Durak, B., Leroy, R.: Treinen: managing the complexity of large free and open source package based software distributions. In: Proceedings of 21st IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 199\u2013208 (2006)","DOI":"10.1109\/ASE.2006.49"},{"key":"11_CR52","unstructured":"Marron, A., et al.: Six (im)possible things before breakfast: building-blocks and design-principles for wise computing. In: Proceedings of 19th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 94\u2013100 (2016)"},{"key":"11_CR53","unstructured":"Marron, A., Hacohen, Y., Harel, D., M\u00fclder, A., Terfloth, A.: Embedding scenario-based modeling in statecharts. In: Proceedings of 5th International Workshop on Model-Driven Robot Software Engineering (MORSE) (2018)"},{"key":"11_CR54","unstructured":"Nadel, A.: Understanding and improving a modern SAT solver, Ph.D. thesis, Tel Aviv University (2009)"},{"key":"11_CR55","unstructured":"P\u0103s\u0103reanu, C., Visser, W.: A survey of new trends in symbolic execution for software testing and analysis. Int. J. Softw. Tools Technol. Transf. 11(4), 339\u2013353 (2009)"},{"key":"11_CR56","doi-asserted-by":"crossref","unstructured":"Sen, K.: Concolic testing. In: Proceedings of 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 571\u2013572 (2007)","DOI":"10.1145\/1321631.1321746"},{"key":"11_CR57","unstructured":"Steinberg, S., Greenyer, J., Gritzner, D., Harel, D., Katz, G., Marron, A.: Distributing scenario-based models: a replicate-and-project approach. In: Proceedings of 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 182\u2013195 (2015)"},{"key":"11_CR58","first-page":"449","volume":"880","author":"S Steinberg","year":"2018","unstructured":"Steinberg, S., Greenyer, J., Gritzner, D., Harel, D., Katz, G., Marron, A.: Efficient distributed execution of multi-component scenario-based models. Commun. Comput. Inf. Sci. (CCIS) 880, 449\u2013483 (2018)","journal-title":"Commun. Comput. Inf. Sci. (CCIS)"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-37873-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,14]],"date-time":"2021-02-14T23:19:45Z","timestamp":1613344785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-37873-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030378721","9783030378738"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-37873-8_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"3 January 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MODELSWARD","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model-Driven Engineering and Software Development","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 February 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 February 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"modelsward2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.modelsward.org\/?y=2019","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"PRIMORIS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"76","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"25","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}