{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:01Z","timestamp":1750220581565,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,15]],"date-time":"2020-11-15T00:00:00Z","timestamp":1605398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,16]]},"DOI":"10.1145\/3426425.3426929","type":"proceedings-article","created":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T01:19:49Z","timestamp":1606267189000},"page":"16-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A family of languages for trustworthy agent-based simulation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9062-6637","authenticated-orcid":false,"given":"Steffen","family":"Zschaler","sequence":"first","affiliation":[{"name":"King's College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7954-6433","authenticated-orcid":false,"given":"Fiona A. C.","family":"Polack","sequence":"additional","affiliation":[{"name":"Keele University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,15]]},"reference":[{"key":"e_1_3_2_2_2_1","volume-title":"Using argument notation to engineer biological simulations with increased confidence. Journal of the Royal Society Interface 12 ( 2015 ). htps:\/\/doi.org\/10.1098\/ rsif","author":"Alden Kieran","year":"2014","unstructured":"Kieran Alden , Paul S. Andrews , Fiona A. C. Polack , Henrique VeigaFernandes , Mark Coles , and Jon Timmis . 2015. Using argument notation to engineer biological simulations with increased confidence. Journal of the Royal Society Interface 12 ( 2015 ). htps:\/\/doi.org\/10.1098\/ rsif . 2014 .1059 Kieran Alden, Paul S. Andrews, Fiona A. C. Polack, Henrique VeigaFernandes, Mark Coles, and Jon Timmis. 2015. Using argument notation to engineer biological simulations with increased confidence. Journal of the Royal Society Interface 12 ( 2015 ). htps:\/\/doi.org\/10.1098\/ rsif. 2014.1059"},{"key":"e_1_3_2_2_3_1","unstructured":"Kieran Alden Jon Timmis Paul Andrews Henrique Veiga-Fernandes and Mark Coles. 2012. Pairing experimentation and computational modeling to understand the role of tissue inducer cells in the development of lymphoid organs. Frontiers in Immunology 3 ( 2012 ) 172. htps:\/\/doi.org\/10.3389\/fimmu. 2012.00172  Kieran Alden Jon Timmis Paul Andrews Henrique Veiga-Fernandes and Mark Coles. 2012. Pairing experimentation and computational modeling to understand the role of tissue inducer cells in the development of lymphoid organs. Frontiers in Immunology 3 ( 2012 ) 172. htps:\/\/doi.org\/10.3389\/fimmu. 2012.00172"},{"key":"e_1_3_2_2_4_1","article-title":"Extending and Applying Spartan to Perform Temporal Sensitivity Analyses for Predicting Changes in Influential Biological Pathways in Computational Models","volume":"14","author":"Alden Kieran","year":"2016","unstructured":"Kieran Alden , Jon Timmis , Paul S. Andrews , Henrique VeigaFernandes , and Mark C. Coles . 2016 . Extending and Applying Spartan to Perform Temporal Sensitivity Analyses for Predicting Changes in Influential Biological Pathways in Computational Models . IEEE Transactions of Computational Biology 14 , 2 ( 2016 ), 431-422. Kieran Alden, Jon Timmis, Paul S. Andrews, Henrique VeigaFernandes, and Mark C. Coles. 2016. Extending and Applying Spartan to Perform Temporal Sensitivity Analyses for Predicting Changes in Influential Biological Pathways in Computational Models. IEEE Transactions of Computational Biology 14, 2 ( 2016 ), 431-422.","journal-title":"IEEE Transactions of Computational Biology"},{"key":"e_1_3_2_2_6_1","unstructured":"Murray Gell-Mann. 1995. The quark and the jaguar. Abacus.  Murray Gell-Mann. 1995. The quark and the jaguar. Abacus."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.18564\/jasss.2166"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"crossref","unstructured":"Richard B. Greaves Mark Read Jon Timmis Paul S. Andrews James A. Butler Bjorn Gerckens and Vipin Kumar. 2013. In silico investigation of novel biological pathways: the role of CD200 in regulation of T cell priming in Experimental Autoimmune Encephalomyelitis. Biosystems 112 2 ( 2013 ) 107-121. htps:\/\/doi.org\/10.1016\/j.biosystems. 2013. 03.007  Richard B. Greaves Mark Read Jon Timmis Paul S. Andrews James A. Butler Bjorn Gerckens and Vipin Kumar. 2013. In silico investigation of novel biological pathways: the role of CD200 in regulation of T cell priming in Experimental Autoimmune Encephalomyelitis. Biosystems 112 2 ( 2013 ) 107-121. htps:\/\/doi.org\/10.1016\/j.biosystems. 2013. 03.007","DOI":"10.1016\/j.biosystems.2013.03.007"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJAOSE.2018.094373"},{"key":"e_1_3_2_2_10_1","volume-title":"Proc. 9th Workshop on Economics and Heterogeneous Interacting Agents. 1-12","author":"Iba Takashi","year":"2004","unstructured":"Takashi Iba , Yoshiaki Matsuzawa , and Nozomu Aoyama . 2004 . From conceptual models to simulation models: Model Driven Development of Agent-Based simulations . In Proc. 9th Workshop on Economics and Heterogeneous Interacting Agents. 1-12 . Takashi Iba, Yoshiaki Matsuzawa, and Nozomu Aoyama. 2004. From conceptual models to simulation models: Model Driven Development of Agent-Based simulations. In Proc. 9th Workshop on Economics and Heterogeneous Interacting Agents. 1-12."},{"key":"e_1_3_2_2_11_1","volume-title":"Aspect-Oriented Programming Gregor. In European Conference on Object-Oriented Programming (ECOOP'97)","author":"Kiczales Gregor","year":"1997","unstructured":"Gregor Kiczales , John Lamping , Anurag Mendhekar , Chris Maeda , Cristina Videira Lopes , Jean-Marc Loingtier , and John Irwin . 1997 . Aspect-Oriented Programming Gregor. In European Conference on Object-Oriented Programming (ECOOP'97) . Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, and John Irwin. 1997. Aspect-Oriented Programming Gregor. In European Conference on Object-Oriented Programming (ECOOP'97)."},{"volume-title":"Programming the universe","author":"Lloyd Seth","key":"e_1_3_2_2_13_1","unstructured":"Seth Lloyd . 2006. Programming the universe . Knopf . Seth Lloyd. 2006. Programming the universe. Knopf."},{"key":"e_1_3_2_2_14_1","article-title":"MASON: A Multi-Agent Simulation Environment. Simulation","volume":"82","author":"Luke Sean","year":"2005","unstructured":"Sean Luke , Claudio Ciofi-Revilla , Liviu Panait , Keith Sullivan , and Gabriel Balan . 2005 . MASON: A Multi-Agent Simulation Environment. Simulation : Transactions of the society for Modeling and Simulation International 82 , 7 ( 2005 ), 517-527. Sean Luke, Claudio Ciofi-Revilla, Liviu Panait, Keith Sullivan, and Gabriel Balan. 2005. MASON: A Multi-Agent Simulation Environment. Simulation: Transactions of the society for Modeling and Simulation International 82, 7 ( 2005 ), 517-527.","journal-title":"Transactions of the society for Modeling and Simulation International"},{"key":"e_1_3_2_2_15_1","volume-title":"Kaye","author":"Moore John W. J.","year":"2013","unstructured":"John W. J. Moore , Daniel Moyo , Lynette Beattie , Paul S. Andrews , Jon Timmis , and Paul M . Kaye . 2013 . Functional complexity of the Leishmania granuloma and the potential of in silico modelling. Frontiers in Immunology 4, 35 ( 2013 ). htps:\/\/doi.org\/10.3389\/fimmu. 2013.00035 John W. J. Moore, Daniel Moyo, Lynette Beattie, Paul S. Andrews, Jon Timmis, and Paul M. Kaye. 2013. Functional complexity of the Leishmania granuloma and the potential of in silico modelling. Frontiers in Immunology 4, 35 ( 2013 ). htps:\/\/doi.org\/10.3389\/fimmu. 2013.00035"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"crossref","unstructured":"Michael J. North Nicholson T. Collier Jonathan Ozik Eric R. Tatara Charles M. Macal Mark Bragen and Pam Sydelko. 2013. Complex adaptive systems modeling with Repast Simphony. Complex Adaptive Systems Modeling 1 (March 2013 ). htps:\/\/doi.org\/10.1186\/ 2194-3206-1-3  Michael J. North Nicholson T. Collier Jonathan Ozik Eric R. Tatara Charles M. Macal Mark Bragen and Pam Sydelko. 2013. Complex adaptive systems modeling with Repast Simphony. Complex Adaptive Systems Modeling 1 (March 2013 ). htps:\/\/doi.org\/10.1186\/ 2194-3206-1-3","DOI":"10.1186\/2194-3206-1-3"},{"key":"e_1_3_2_2_17_1","volume-title":"Bazzan","author":"Santos Fernando","year":"2018","unstructured":"Fernando Santos , Ingrid Nunes , and Ana L. C . Bazzan . 2018 . Modeldriven agent-based simulation development: A modeling language and empirical evaluation in the adaptive trafic signal control domain. Simulation Modelling Practice and Theory 83 ( 2018 ), 162-187. htps: \/\/doi.org\/10.1016\/j.simpat. 2017. 11.006 Fernando Santos, Ingrid Nunes, and Ana L. C. Bazzan. 2018. Modeldriven agent-based simulation development: A modeling language and empirical evaluation in the adaptive trafic signal control domain. Simulation Modelling Practice and Theory 83 ( 2018 ), 162-187. htps: \/\/doi.org\/10.1016\/j.simpat. 2017. 11.006"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.18564\/jasss.2834"},{"key":"e_1_3_2_2_19_1","volume-title":"Improving Process Descriptions in Research by Model-Based Analysis","author":"Shaked Avi","year":"2020","unstructured":"Avi Shaked and Yoram Reich . 2020. Improving Process Descriptions in Research by Model-Based Analysis . IEEE Systems Journal ( 2020 ). Avi Shaked and Yoram Reich. 2020. Improving Process Descriptions in Research by Model-Based Analysis. IEEE Systems Journal ( 2020 )."},{"key":"e_1_3_2_2_20_1","volume-title":"Polack","author":"Stepney Susan","year":"2018","unstructured":"Susan Stepney and Fiona A. C . Polack . 2018 . Engineering Simulations as Scientific Instruments : A Pattern Language. Springer . Susan Stepney and Fiona A. C. Polack. 2018. Engineering Simulations as Scientific Instruments: A Pattern Language. Springer."},{"key":"e_1_3_2_2_21_1","unstructured":"Richard A. Williams Richard Greaves Mark Read Jon Timmis Paul S. Andrews and Vipin Kumar. 2013. In silico investigation into dendritic cell regulation of CD8Treg mediated killing of Th1 cells in murine experimental autoimmune encephalomyelitis. BMC Bioinformatics 14 ( 2013 ) S6-S9. htps:\/\/doi.org\/10.1186% 2F1471-2105-14-S6-S9  Richard A. Williams Richard Greaves Mark Read Jon Timmis Paul S. Andrews and Vipin Kumar. 2013. In silico investigation into dendritic cell regulation of CD8Treg mediated killing of Th1 cells in murine experimental autoimmune encephalomyelitis. BMC Bioinformatics 14 ( 2013 ) S6-S9. htps:\/\/doi.org\/10.1186% 2F1471-2105-14-S6-S9"}],"event":{"name":"SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual USA","acronym":"SPLASH '20"},"container-title":["Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426425.3426929","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3426425.3426929","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:33Z","timestamp":1750195893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426425.3426929"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,15]]},"references-count":18,"alternative-id":["10.1145\/3426425.3426929","10.1145\/3426425"],"URL":"https:\/\/doi.org\/10.1145\/3426425.3426929","relation":{},"subject":[],"published":{"date-parts":[[2020,11,15]]},"assertion":[{"value":"2020-11-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}