{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:10:39Z","timestamp":1742965839740,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031626968"},{"type":"electronic","value":"9783031626975"}],"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-62697-5_15","type":"book-chapter","created":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T21:01:23Z","timestamp":1718053283000},"page":"277-294","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Visualisation of\u00a0Collective Systems with\u00a0Sequit and\u00a0Sibilla"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5194-0823","authenticated-orcid":false,"given":"Nicola","family":"Del Giudice","sequence":"first","affiliation":[]},{"given":"Federico Maria","family":"Cruciani","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3061-863X","authenticated-orcid":false,"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,11]]},"reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1109\/TASE.2014.2368997","volume":"12","author":"CE Ag\u00fcero","year":"2015","unstructured":"Ag\u00fcero, C.E., et al.: Inside the virtual robotics challenge: simulating real-time robotic disaster response. IEEE Trans. Autom. Sci. Eng. 12(2), 494\u2013506 (2015). https:\/\/doi.org\/10.1109\/TASE.2014.2368997","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"15_CR2","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-031-35361-1_2","volume-title":"Coordination Models and Languages","author":"G Aguzzi","year":"2023","unstructured":"Aguzzi, G., Casadei, R., Viroli, M.: Macroswarm: a field-based compositional framework for swarm programming. In: Jongmans, S., Lopes, A. (eds.) COORDINATION 2023. LNCS, vol. 13908, pp. 31\u201351. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35361-1_2"},{"key":"15_CR3","doi-asserted-by":"publisher","unstructured":"Audrito, G.: FCPP: an efficient and extensible field calculus framework. In: IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020, Washington, DC, USA, 17\u201321 August 2020, pp. 153\u2013159. IEEE (2020). https:\/\/doi.org\/10.1109\/ACSOS49614.2020.00037","DOI":"10.1109\/ACSOS49614.2020.00037"},{"key":"15_CR4","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-031-08143-9_4","volume-title":"Coordination Models and Languages","author":"G Audrito","year":"2022","unstructured":"Audrito, G., Rapetta, L., Torta, G.: Extensible 3D simulation of aggregated systems with FCPP. In: ter Beek, M.H., Sirjani, M. (eds.) COORDINATION 2022. LNCS, vol. 13271, pp. 55\u201371. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08143-9_4"},{"issue":"4","key":"15_CR5","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1057\/JOS.2010.24","volume":"5","author":"J Banks","year":"2011","unstructured":"Banks, J., Chwif, L.: Warnings about simulation. J. Simul. 5(4), 279\u2013291 (2011). https:\/\/doi.org\/10.1057\/JOS.2010.24","journal-title":"J. Simul."},{"issue":"2007","key":"15_CR6","first-page":"146","volume":"53","author":"A Begel","year":"2007","unstructured":"Begel, A., Klopfer, E.: Starlogo TNG: an introduction to game development. J. E-Learn. 53(2007), 146 (2007)","journal-title":"J. E-Learn."},{"issue":"5","key":"15_CR7","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/J.PEVA.2013.01.001","volume":"70","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: a tutorial. Perform. Eval. 70(5), 317\u2013349 (2013). https:\/\/doi.org\/10.1016\/J.PEVA.2013.01.001","journal-title":"Perform. Eval."},{"key":"15_CR8","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-319-47253-9_2","volume-title":"Advances in Social Simulation 2015","author":"P Caillou","year":"2015","unstructured":"Caillou, P., Gaudou, B., Grignard, A., Truong, Q.C., Taillandier, P.: A simple-to-use BDI architecture for agent-based modeling and simulation. In: Jager, W., Verbrugge, R., Flache, A., de Roo, G., Hoogduin, L., Hemelrijk, C.K. (eds.) Advances in Social Simulation 2015. Advances in Intelligent Systems and Computing, vol. 528, pp. 15\u201328. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-47253-9_2"},{"key":"15_CR9","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-031-19759-8_6","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"R De Nicola","year":"2022","unstructured":"De Nicola, R., Stefano, L.D., Inverso, O., Valiani, S.: Modelling flocks of birds from the bottom up. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, Part III. LNCS, vol. 13703, pp. 82\u201396. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19759-8_6"},{"key":"15_CR10","doi-asserted-by":"publisher","unstructured":"Del Giudice, N., Loreti, M.: YODA: Yet anOther agent Description lAnguage. In: Casadei, R., et al. (eds.) IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2022, Virtual, CA, USA, 19\u201323 September 2022, pp. 82\u201387. IEEE (2022). https:\/\/doi.org\/10.1109\/ACSOSC56246.2022.00038","DOI":"10.1109\/ACSOSC56246.2022.00038"},{"key":"15_CR11","doi-asserted-by":"publisher","unstructured":"Del Giudice, N., Matteucci, L., Quadrini, M., Rehman, A., Loreti, M.: Sibilla: a tool for reasoning about collective systems. In: ter Beek, M.H., Sirjani, M. (eds.) COORDINATION 2022. IFIP Advances in Information and Communication Technology, vol. 13271, pp. 92\u201398. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08143-9_6","DOI":"10.1007\/978-3-031-08143-9_6"},{"key":"15_CR12","doi-asserted-by":"publisher","unstructured":"Diamanti, M., Vilhj\u00e1lmsson, H.H.: Extending the menge crowd simulation framework: visual authoring in unity. In: Martinho, C., Dias, J., Campos, J., Heylen, D. (eds.) IVA 2022: ACM International Conference on Intelligent Virtual Agents, Faro, Portugal, 6\u20139 September 2022, pp. 30:1\u201330:3. ACM (2022). https:\/\/doi.org\/10.1145\/3514197.3549698","DOI":"10.1145\/3514197.3549698"},{"key":"15_CR13","unstructured":"Emrich, S., Suslov, S., Judex, F.: Fully agent based modellings of epidemic spread using AnyLogic. In: Proceedings of EUROSIM, pp. 9\u201313 (2007)"},{"key":"15_CR14","doi-asserted-by":"publisher","unstructured":"H\u00f6lzl, M.M., Rauschmayer, A., Wirsing, M.: Engineering of software-intensive systems: state of the art and research challenges. In: Wirsing, M., Ban\u00e2tre, J., H\u00f6lzl, M.M., Rauschmayer, A. (eds.) Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. LNCS, vol.\u00a05380, pp. 1\u201344. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89437-7_1","DOI":"10.1007\/978-3-540-89437-7_1"},{"key":"15_CR15","doi-asserted-by":"publisher","unstructured":"Koenig, N.P., Howard, A.: Design and use paradigms for gazebo, an open-source multi-robot simulator. In: 2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, 28\u2013 2 October 2004, pp. 2149\u20132154. IEEE (2004). https:\/\/doi.org\/10.1109\/IROS.2004.1389727","DOI":"10.1109\/IROS.2004.1389727"},{"key":"15_CR16","doi-asserted-by":"publisher","unstructured":"Le Boudec, J., McDonald, D.D., Mundinger, J.: A generic mean field convergence result for systems of interacting objects. In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17\u201319 September 2007, Edinburgh, Scotland, UK, pp. 3\u201318. IEEE Computer Society (2007). https:\/\/doi.org\/10.1109\/QEST.2007.8","DOI":"10.1109\/QEST.2007.8"},{"key":"15_CR17","doi-asserted-by":"publisher","unstructured":"Loreti, M., Hillston, J.: Modelling and analysis of collective adaptive systems with CARMA and its tools. In: Bernardo, M., Nicola, R.D., Hillston, J. (eds.) SFM 2016. LNCS, vol.\u00a09700, pp. 83\u2013119. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-34096-8_4","DOI":"10.1007\/978-3-319-34096-8_4"},{"key":"15_CR18","unstructured":"Mariani, S., Omicini, A.: Game engines to model MAS: a research roadmap. In: Santoro, C., Messina, F., Benedetti, M.D. (eds.) Proceedings of the 17th Workshop \u201cFrom Objects to Agents\u201d co-located with 18th European Agent Systems Summer School (EASSS 2016), Catania, Italy, 29\u201330 July 2016. CEUR Workshop Proceedings, vol.\u00a01664, pp. 106\u2013111. CEUR-WS.org (2016)"},{"key":"15_CR19","doi-asserted-by":"publisher","unstructured":"de\u00a0Melo, M.S.P., da\u00a0Silva\u00a0Neto, J.G., da\u00a0Silva, P.J.L., Teixeira, J.M.X.N., Teichrieb, V.: Analysis and comparison of robotics 3d simulators. In: 21st Symposium on Virtual and Augmented Reality, SVR 2019, Rio de Janeiro, Brazil, 28\u201331 October 2019, pp. 242\u2013251. IEEE (2019). https:\/\/doi.org\/10.1109\/SVR.2019.00049","DOI":"10.1109\/SVR.2019.00049"},{"key":"15_CR20","volume-title":"WebGL - Up and Running: Building 3D Graphics for the Web","author":"T Parisi","year":"2012","unstructured":"Parisi, T.: WebGL - Up and Running: Building 3D Graphics for the Web. O\u2019Reilly, Sebastopol (2012)"},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/s10980-012-9716-5","volume":"27","author":"C Pettit","year":"2012","unstructured":"Pettit, C., Bishop, I., Sposito, V., Aurambout, J.P., Sheth, F.: Developing a multi-scale visualisation framework for use in climate change response. Landscape Ecol. 27, 487\u2013508 (2012)","journal-title":"Landscape Ecol."},{"issue":"3","key":"15_CR22","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1057\/JOS.2012.27","volume":"7","author":"D Pianini","year":"2013","unstructured":"Pianini, D., Montagna, S., Viroli, M.: Chemical-oriented simulation of computational systems with ALCHEMIST. J. Simulation 7(3), 202\u2013215 (2013). https:\/\/doi.org\/10.1057\/JOS.2012.27","journal-title":"J. Simulation"},{"key":"15_CR23","doi-asserted-by":"publisher","unstructured":"Possik, J.J., et al.: A distributed simulation approach to integrate anylogic and unity for virtual reality applications: case of COVID-19 modelling and training in a dialysis unit. In: Cecilia, J.M., Martinez, F.J. (eds.) 25th IEEE\/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2021, Valencia, Spain, 27\u201329 September 2021, pp.\u00a01\u20137. IEEE (2021). https:\/\/doi.org\/10.1109\/DS-RT52167.2021.9576149","DOI":"10.1109\/DS-RT52167.2021.9576149"},{"key":"15_CR24","doi-asserted-by":"publisher","unstructured":"Resnick, M.: Starlogo: an environment for decentralized modeling and decentralized thinking. In: Tauber, M.J. (ed.) Conference on Human Factors in Computing Systems: Common Ground, CHI 1996, Vancouver, BC, Canada, 13\u201318 April 1996, Conference Companion, pp. 11\u201312. ACM (1996). https:\/\/doi.org\/10.1145\/257089.257095","DOI":"10.1145\/257089.257095"},{"key":"15_CR25","doi-asserted-by":"publisher","unstructured":"Reynolds, C.W.: Flocks, herds and schools: a distributed behavioral model. In: Stone, M.C. (ed.) Proceedings of the 14th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1987, Anaheim, California, USA, 27\u201331 July 1987, pp. 25\u201334. ACM (1987). https:\/\/doi.org\/10.1145\/37401.37406","DOI":"10.1145\/37401.37406"},{"key":"15_CR26","volume-title":"Unreal Engine 4 for Design Visualization: Developing Stunning Interactive Visualizations, Animations, and Renderings","author":"T Shannon","year":"2017","unstructured":"Shannon, T.: Unreal Engine 4 for Design Visualization: Developing Stunning Interactive Visualizations, Animations, and Renderings. Addison-Wesley Professional, Boston (2017)"},{"issue":"2","key":"15_CR27","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/S10707-018-00339-6","volume":"23","author":"P Taillandier","year":"2019","unstructured":"Taillandier, P., et al.: Building, composing and experimenting complex spatial models with the GAMA platform. GeoInformatica 23(2), 299\u2013322 (2019). https:\/\/doi.org\/10.1007\/S10707-018-00339-6","journal-title":"GeoInformatica"},{"key":"15_CR28","unstructured":"Tosi, S.: Matplotlib for Python developers. Packt Publishing Ltd (2009)"},{"key":"15_CR29","unstructured":"Vernon-Bido, D., Collins, A.J., Sokolowski, J.A.: Effective visualization in modeling & simulation. In: Diallo, S.Y., Tolk, A. (eds.) Proceedings of the 48th Annual Simulation Symposium, ANSS 2015, part of the 2015 Spring Simulation Multiconference, SpringSim 2015, Alexandria, VA, USA, 12\u201315 April 2015, pp. 33\u201340. SCS\/ACM (2015)"},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"Wai, S.K., WaiShiang, C., bin Khairuddin, M.A., Bujang, Y.R.B., Hidayat, R., Paschal, C.H.: Autonomous agents in 3D crowd simulation through BDI architecture. JOIV Int. J. Inform. Visual. 5(1), 1\u20137 (2021)","DOI":"10.30630\/joiv.5.1.371"},{"issue":"1","key":"15_CR31","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/S10458-006-0012-0","volume":"14","author":"D Weyns","year":"2007","unstructured":"Weyns, D., Omicini, A., Odell, J.: Environment as a first class abstraction in multiagent systems. Auton. Agents Multi Agent Syst. 14(1), 5\u201330 (2007). https:\/\/doi.org\/10.1007\/S10458-006-0012-0","journal-title":"Auton. Agents Multi Agent Syst."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62697-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T21:03:09Z","timestamp":1718053389000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62697-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031626968","9783031626975"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62697-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"11 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Models and Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Groningen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}