{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:46:56Z","timestamp":1743032816791,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031663383"},{"type":"electronic","value":"9783031663390"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-66339-0_7","type":"book-chapter","created":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:02:10Z","timestamp":1725562930000},"page":"137-157","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Challenges in\u00a0Modeling and\u00a0Unmodeling Complex Reactive Systems: Interaction Networks, Reaction to\u00a0Emergent Effects, Reactive Rule Composition, and\u00a0Multiple Time Scales"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5904-5105","authenticated-orcid":false,"given":"Assaf","family":"Marron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3906-6993","authenticated-orcid":false,"given":"Irun R.","family":"Cohen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5809-3455","authenticated-orcid":false,"given":"Guy","family":"Frankel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7240-3931","authenticated-orcid":false,"given":"David","family":"Harel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1361-1575","authenticated-orcid":false,"given":"Smadar","family":"Szekely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,6]]},"reference":[{"unstructured":"Armoni, M., Gal-Ezer, J., Ittah, M.H., Marelly, R., Szekely, S.: Computational problem solving in plethora. In: Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP (2021)","key":"7_CR1"},{"doi-asserted-by":"crossref","unstructured":"Baruah, S.: Semantics-preserving implementation of multirate mixed-criticality synchronous programs. In: Proceedings of the 20th International Conference on Real-Time and Network Systems, pp. 11\u201319 (2012)","key":"7_CR2","DOI":"10.1145\/2392987.2392989"},{"issue":"10","key":"7_CR3","doi-asserted-by":"publisher","first-page":"4162","DOI":"10.1172\/JCI78366","volume":"124","author":"MJ Blaser","year":"2014","unstructured":"Blaser, M.J.: The microbiome revolution. J. Clin. Investig. 124(10), 4162\u20134165 (2014)","journal-title":"J. Clin. Investig."},{"doi-asserted-by":"crossref","unstructured":"Briand, L., Nejati, S., Sabetzadeh, M., Bianculli, D.: Testing the untestable: model testing of complex software-intensive systems. In: ICSE Companion, pp. 789\u2013792 (2016)","key":"7_CR4","DOI":"10.1145\/2889160.2889212"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10270-019-00773-6","volume":"19","author":"A Bucchiarone","year":"2020","unstructured":"Bucchiarone, A., Cabot, J., Paige, R.F., Pierantonio, A.: Grand challenges in model-driven engineering: an analysis of the state of the research. Softw. and Sys. Modeling 19(1), 5\u201313 (2020)","journal-title":"Softw. and Sys. Modeling"},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1111\/2041-210X.13494","volume":"12","author":"S Christin","year":"2021","unstructured":"Christin, S., Hervet, \u00c9., Lecomte, N.: Going further with model verification and deep learning. Methods Ecol. Evol. 12(1), 130\u2013134 (2021)","journal-title":"Methods Ecol. Evol."},{"doi-asserted-by":"crossref","unstructured":"Cohen, I.R., Marron, A.: The evolution of universal adaptations of life is driven by universal properties of matter: energy, entropy, and interaction. F1000Research 9 (2020)","key":"7_CR7","DOI":"10.12688\/f1000research.24447.2"},{"issue":"1994","key":"7_CR8","doi-asserted-by":"publisher","first-page":"20222409","DOI":"10.1098\/rspb.2022.2409","volume":"290","author":"IR Cohen","year":"2023","unstructured":"Cohen, I.R., Marron, A.: Evolution is driven by natural autoencoding: reframing species, interaction codes, cooperation and sexual reproduction. Proc. R. Soc. B 290(1994), 20222409 (2023)","journal-title":"Proc. R. Soc. B"},{"key":"7_CR9","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. Formal Methods Syst. Des. 19, 45\u201380 (2001)","journal-title":"Formal Methods Syst. Des."},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-540-27863-4_19","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"D Harel","year":"2004","unstructured":"Harel, D., Kugler, H.: The Rhapsody semantics of statecharts (or, on the executable core of the UML). In: Ehrig, H., et al. (eds.) Integration of Software Specification Techniques for Applications in Engineering. LNCS, vol. 3147, pp. 325\u2013354. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27863-4_19"},{"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 the 25th IEEE\/ACM International Conference on Automated Software Engineering, pp. 359\u2013360 (2010)","key":"7_CR11","DOI":"10.1145\/1858996.1859075"},{"key":"7_CR12","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, vol. 1. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-642-19029-2"},{"key":"7_CR13","first-page":"915","volume":"6","author":"M Haskel-Ittah","year":"2022","unstructured":"Haskel-Ittah, M.: Explanatory black boxes and mechanistic reasoning. J. Res. Sci. Teach. 6, 915\u2013933 (2022)","journal-title":"J. Res. Sci. Teach."},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.mib.2015.06.004","volume":"27","author":"JR Karr","year":"2015","unstructured":"Karr, J.R., Takahashi, K., Funahashi, A.: The principles of whole-cell modeling. Curr. Opin. Microbiol. 27, 18\u201324 (2015)","journal-title":"Curr. Opin. Microbiol."},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1016\/j.jmsy.2020.06.017","volume":"58","author":"M Liu","year":"2021","unstructured":"Liu, M., Fang, S., Dong, H., Xu, C.: Review of digital twin about concepts, technologies, and industrial applications. J. Manuf. Syst. 58, 346\u2013361 (2021)","journal-title":"J. Manuf. Syst."},{"doi-asserted-by":"crossref","unstructured":"Marron, A., Cohen, I.R., Frankel, G., Harel, D., Szekely, S.: Challenges in modeling and unmodeling emergence, rule composition, and networked interactions in complex reactive systems. In: MODELSWARD 2023 (2023)","key":"7_CR16","DOI":"10.5220\/0011728900003402"},{"issue":"3","key":"7_CR17","doi-asserted-by":"publisher","first-page":"1207","DOI":"10.1111\/nph.15681","volume":"222","author":"M Mencuccini","year":"2019","unstructured":"Mencuccini, M., Manzoni, S., Christoffersen, B.: Modelling water fluxes in plants: from tissues to biosphere. New Phytol. 222(3), 1207\u20131222 (2019)","journal-title":"New Phytol."},{"issue":"5","key":"7_CR18","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1038\/nrmicro1635","volume":"5","author":"E Rosenberg","year":"2007","unstructured":"Rosenberg, E., Koren, O., Reshef, L., Efrony, R., Zilber-Rosenberg, I.: The role of microorganisms in coral health, disease and evolution. Nature Rev. Microbiol. 5(5), 355\u2013362 (2007)","journal-title":"Nature Rev. Microbiol."},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.ress.2015.01.023","volume":"138","author":"S Sankararaman","year":"2015","unstructured":"Sankararaman, S., Mahadevan, S.: Integration of model verification, validation, and calibration for uncertainty quantification in engineering systems. Reliab. Eng. Syst. Saf. 138, 194\u2013209 (2015)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.simpat.2019.03.002","volume":"94","author":"A Saprykin","year":"2019","unstructured":"Saprykin, A., Chokani, N., Abhari, R.S.: GEMSim: a GPU-accelerated multi-modal mobility simulator for large-scale scenarios. Simul. Model. Pract. Theory 94, 199\u2013214 (2019)","journal-title":"Simul. Model. Pract. Theory"},{"unstructured":"Schr\u00f6dinger, E.: What is Life? The Physical Aspect of the Living Cell and Mind. Cambridge University Press, Cambridge (1944)","key":"7_CR21"},{"unstructured":"Sierra Club Web Site: Clarification of john muir quotation (2023). https:\/\/vault.sierraclub.org\/john_muir_exhibit\/writings\/misquotes.aspx. Accessed July 2023","key":"7_CR22"},{"key":"7_CR23","series-title":"Signaling and Communication in Plants","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-319-75596-0_10","volume-title":"Memory and Learning in Plants","author":"SW Simard","year":"2018","unstructured":"Simard, S.W.: Mycorrhizal networks facilitate tree communication, learning, and memory. In: Baluska, F., Gagliano, M., Witzany, G. (eds.) Memory and Learning in Plants. SCP, pp. 191\u2013213. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75596-0_10"},{"issue":"4","key":"7_CR24","doi-asserted-by":"publisher","first-page":"1183","DOI":"10.1007\/s10270-020-00842-1","volume":"20","author":"J Troya","year":"2021","unstructured":"Troya, J., Moreno, N., Bertoa, M.F., Vallecillo, A.: Uncertainty representation in software models: a survey. Softw. Syst. Model. 20(4), 1183\u20131213 (2021)","journal-title":"Softw. Syst. Model."},{"key":"7_CR25","doi-asserted-by":"publisher","DOI":"10.1002\/9780470590232","volume-title":"LNG Risk Based Safety: Modeling and Consequence Analysis","author":"JL Woodward","year":"2010","unstructured":"Woodward, J.L., Pitbaldo, R.: LNG Risk Based Safety: Modeling and Consequence Analysis. Wiley, New York (2010)"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-66339-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:03:12Z","timestamp":1725562992000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-66339-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031663383","9783031663390"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-66339-0_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"6 September 2024","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":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 February 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 February 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"modelsward2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}