{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T02:27:00Z","timestamp":1743906420608,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319674766"},{"type":"electronic","value":"9783319674773"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67477-3_3","type":"book-chapter","created":{"date-parts":[[2017,9,29]],"date-time":"2017-09-29T08:11:18Z","timestamp":1506672678000},"page":"42-70","source":"Crossref","is-referenced-by-count":2,"title":["Creating Reproducible Agent Based Models Using Formal Methods"],"prefix":"10.1007","author":[{"given":"Joseph","family":"Kehoe","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,30]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/b136154","volume-title":"Communicating Sequential Processes. The First 25 Years","year":"2005","unstructured":"Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.): Communicating Sequential Processes. The First 25 Years. LNCS, vol. 3525. Springer, Heidelberg (2005). doi: 10.1007\/b136154"},{"key":"3_CR2","unstructured":"Berryman, M.: Review of software platforms for agent based models. Technical report, DTIC Document (2008)"},{"key":"3_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-4-431-71307-4_20","volume-title":"Replication of Sugarscape Using MASON","author":"A Bigbee","year":"2007","unstructured":"Bigbee, A., Cioffi-Revilla, C., Luke, S.: Replication of Sugarscape Using MASON. Springer, Tokyo (2007). doi: 10.1007\/978-4-431-71307-4_20"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-319-06410-9_4","volume-title":"FM 2014: Formal Methods","author":"D Bj\u00f8rner","year":"2014","unstructured":"Bj\u00f8rner, D., Havelund, K.: 40 years of formal methods. In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) FM 2014. LNCS, vol. 8442, pp. 42\u201361. Springer, Cham (2014). doi: 10.1007\/978-3-319-06410-9_4"},{"issue":"4","key":"3_CR5","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"FP Brooks","year":"1987","unstructured":"Brooks, F.P.: No silver bullet essence and accidents of software engineering. Computer 20(4), 10\u201319 (1987)","journal-title":"Computer"},{"issue":"3\u20134","key":"3_CR6","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1016\/j.ecolmodel.2007.10.049","volume":"212","author":"G Caron-Lormier","year":"2008","unstructured":"Caron-Lormier, G., Humphry, R.W., Bohan, D.A., Hawes, C., Thorbek, P.: Asynchronous and synchronous updating in individual-based models. Ecol. Model. 212(3\u20134), 522\u2013527 (2008)","journal-title":"Ecol. Model."},{"issue":"1\u20132","key":"3_CR7","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/j.physd.2005.04.005","volume":"204","author":"D Cornforth","year":"2005","unstructured":"Cornforth, D., Green, D.G., Newth, D.: Ordered asynchronous processes in multi-agent systems. Phys. D Nonlinear Phenom. 204(1\u20132), 70\u201382 (2005)","journal-title":"Phys. D Nonlinear Phenom."},{"issue":"2","key":"3_CR8","first-page":"541","volume":"204","author":"C Deissenberg","year":"2008","unstructured":"Deissenberg, C., van der Hoog, S., Dawid, H.: EURACE: a massively parallel agent-based model of the European economy. Appl. Math. Comput. 204(2), 541\u2013552 (2008). Special Issue on New Approaches in Dynamic Optimization to Assessment of Economic and Environmental Systems","journal-title":"Appl. Math. Comput."},{"key":"3_CR9","unstructured":"Drummond, C.: Replicability is not reproducibility: nor is it good science (2009)"},{"key":"3_CR10","unstructured":"D\u2019Souza, R.M., Lysenko, M., Rahmani, K.: SugarScape on steroids: simulating over a million agents at interactive rates. In: Proceedings of Agent 2007 (2007)"},{"key":"3_CR11","unstructured":"Edmonds, B., Hales, D.: Replication, replication and replication: some hard lessons from model alignment. J. Artif. Soc. Soc. Simul. 6(4) (2003)"},{"key":"3_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3374.001.0001","volume-title":"Growing Artificial Societies: Social Science from the Bottom Up","author":"JM Epstein","year":"1996","unstructured":"Epstein, J.M., Axtell, R.: Growing Artificial Societies: Social Science from the Bottom Up. The Brookings Institution, Washington, DC (1996)"},{"key":"3_CR13","unstructured":"AM, et al.: CZT: Community z toolS. http:\/\/czt.sourceforge.net\/ . Accessed 30 Sept 2015"},{"key":"3_CR14","unstructured":"Galan, J.M., Izquierdo, L.R., Izquierdo, S.S., Santos, J.I., Olmo, R.D., Lopez-Paredes, A., Edmonds, B.: Errors and artefacts in agent-based modelling (2009)"},{"key":"3_CR15","unstructured":"Gilbert, N.: Private communication, March 2014"},{"key":"3_CR16","unstructured":"Gomila, L.: Simple and fast multimedia library (2015)"},{"issue":"1\u20132","key":"3_CR17","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.ecolmodel.2006.04.023","volume":"198","author":"V Grimm","year":"2006","unstructured":"Grimm, V., Berger, U., Bastiansen, F., Eliassen, S., Ginot, V., Giske, J., Goss-Custard, J., Grand, T., Heinz, S.K., Huse, G., Huth, A., Jepsen, J.U., J\u00f8rgensen, C., Mooij, W.M., M\u00fcller, B., Pe\u2019er, G., Piou, C., Railsback, S.F., Robbins, A.M., Robbins, M.M., Rossmanith, E., R\u00fcger, N., Strand, E., Souissi, S., Stillman, R.A., Vab\u00f8, R., Visser, U., DeAngelis, D.L.: A standard protocol for describing individual-based and agent-based models. Ecol. Model. 198(1\u20132), 115\u2013126 (2006)","journal-title":"Ecol. Model."},{"issue":"23","key":"3_CR18","doi-asserted-by":"crossref","first-page":"2760","DOI":"10.1016\/j.ecolmodel.2010.08.019","volume":"221","author":"V Grimm","year":"2010","unstructured":"Grimm, V., Berger, U., DeAngelis, D.L., Polhill, J.G., Giske, J., Railsback, S.F.: The ODD protocol: a review and first update. Ecol. Model. 221(23), 2760\u20132768 (2010)","journal-title":"Ecol. Model."},{"issue":"7","key":"3_CR19","doi-asserted-by":"crossref","first-page":"1583","DOI":"10.1007\/s11538-010-9582-8","volume":"73","author":"F Hinkelmann","year":"2011","unstructured":"Hinkelmann, F., Murrugarra, D., Jarrah, A., Laubenbacher, R.: A mathematical framework for agent based models of complex biological networks. Bull. Math. Biol. 73(7), 1583\u20131602 (2011)","journal-title":"Bull. Math. Biol."},{"key":"3_CR20","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1016\/j.procs.2011.04.061","volume":"4","author":"K Hinsen","year":"2011","unstructured":"Hinsen, K.: A data and code model for reproducible research and executable papers. Procedia Comput. Sci. 4, 579\u2013588 (2011). Proceedings of the International Conference on Computational Science, ICCS 2011","journal-title":"Procedia Comput. Sci."},{"key":"3_CR21","doi-asserted-by":"crossref","first-page":"101","DOI":"10.12688\/f1000research.3978.2","volume":"3","author":"K Hinsen","year":"2014","unstructured":"Hinsen, K.: Computational science: shifting the focus from tools to models. F1000Research 3, 101 (2014)","journal-title":"F1000Research"},{"key":"3_CR22","doi-asserted-by":"crossref","first-page":"289","DOI":"10.12688\/f1000research.5773.2","volume":"3","author":"K Hinsen","year":"2015","unstructured":"Hinsen, K.: Activepapers: a platform for publishing and archiving computer-aided research. F1000Research 3, 289 (2015)","journal-title":"F1000Research"},{"issue":"16","key":"3_CR23","doi-asserted-by":"crossref","first-page":"7716","DOI":"10.1073\/pnas.90.16.7716","volume":"90","author":"BA Huberman","year":"1993","unstructured":"Huberman, B.A., Glance, N.S.: Evolutionary games and computer simulations. Proc. Natl. Acad. Sci. 90(16), 7716\u20137718 (1993)","journal-title":"Proc. Natl. Acad. Sci."},{"issue":"suppl 3","key":"3_CR24","doi-asserted-by":"crossref","first-page":"7304","DOI":"10.1073\/pnas.082081199","volume":"99","author":"ME Inchiosa","year":"2002","unstructured":"Inchiosa, M.E., Parker, M.T.: Overcoming design and development challenges in agent-based modeling using ascape. Proc. Natl. Acad. Sci. 99(suppl 3), 7304\u20137308 (2002)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"3_CR25","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"3_CR26","volume-title":"Systematic Software Development Using VDM","author":"CB Jones","year":"1990","unstructured":"Jones, C.B.: Systematic Software Development Using VDM, 2nd edn. Prentice Hall International, Englewood Cliffs (1990)","edition":"2"},{"key":"3_CR27","unstructured":"Kehoe, J.: The specification of sugarscape (2015). http:\/\/arxiv.org\/abs\/1505.06012"},{"key":"3_CR28","unstructured":"Kehoe, J.: Synchronous sugarscape: a reference implementation (2015). https:\/\/github.com\/josephkehoe\/Sugarscape . Accessed 30 Dec 2015"},{"key":"3_CR29","unstructured":"Kehoe, J.: Robust reproducibility of agent based models. In: The European Simulation and Modelling Conference. Inderscience, October 2016"},{"key":"3_CR30","doi-asserted-by":"crossref","first-page":"3894","DOI":"10.1021\/acscatal.5b00538","volume":"5","author":"JR Kitchin","year":"2015","unstructured":"Kitchin, J.R.: Examples of effective data sharing in scientific publishing. ACS Catal. 5, 3894\u20133899 (2015)","journal-title":"ACS Catal."},{"key":"3_CR31","unstructured":"Lysenko, M., D\u2019Souza, R.: A framework for megascale agent based model simulations on graphics processing units. J. Artif. Soc. Soc. Simul. 11(4) (2008)"},{"issue":"1","key":"3_CR32","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/272991.272995","volume":"8","author":"M Matsumoto","year":"1998","unstructured":"Matsumoto, M., Nishimura, T.: Mersenne twister: A 623-dimensionally equidistributed uniform pseudo-random number generator. ACM Trans. Model. Comput. Simul. 8(1), 3\u201330 (1998)","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"6060","key":"3_CR33","doi-asserted-by":"crossref","first-page":"1226","DOI":"10.1126\/science.1213847","volume":"334","author":"RD Peng","year":"2011","unstructured":"Peng, R.D.: Reproducible research in computational science. Science (New York, NY) 334(6060), 1226\u20131227 (2011)","journal-title":"Science (New York, NY)"},{"issue":"9","key":"3_CR34","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1177\/0037549706073695","volume":"82","author":"SF Railsback","year":"2006","unstructured":"Railsback, S.F., Lytinen, S.L., Jackson, S.K.: Agent-based simulation platforms: review and development recommendations. Simulation 82(9), 609\u2013623 (2006)","journal-title":"Simulation"},{"key":"3_CR35","unstructured":"Richmond, P., Coakley, S., Romano, D.M.: A high performance agent based modelling framework on graphics card hardware with CUDA. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009, Richland, SC, vol. 2, pp. 1125\u20131126. International Foundation for Autonomous Agents and Multiagent Systems (2009)"},{"key":"3_CR36","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/11579427_25","volume-title":"MICAI 2005: Advances in Artificial Intelligence","author":"C Sansores","year":"2005","unstructured":"Sansores, C., Pav\u00f3n, J.: Agent-based simulation replication: a model driven architecture approach. In: Gelbukh, A., Albornoz, \u00c1., Terashima-Mar\u00edn, H. (eds.) MICAI 2005. LNCS (LNAI), vol. 3789, pp. 244\u2013253. Springer, Heidelberg (2005). doi: 10.1007\/11579427_25"},{"issue":"3","key":"3_CR37","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/S0303-2647(99)00025-8","volume":"51","author":"B Sch\u00f6nfisch","year":"1999","unstructured":"Sch\u00f6nfisch, B., de Roos, A.: Synchronous and asynchronous updating in cellular automata. Biosystems 51(3), 123\u2013143 (1999)","journal-title":"Biosystems"},{"key":"3_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G Smith","year":"2012","unstructured":"Smith, G.: The Object-Z Specification Language, vol. 1. Springer, New York (2012). doi: 10.1007\/978-1-4615-5265-9"},{"key":"3_CR39","volume-title":"The Z Notation: A Reference Manual","author":"JM Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"key":"3_CR40","unstructured":"van Heesch, D.: Doxygen (2015)"},{"issue":"4","key":"3_CR41","doi-asserted-by":"crossref","first-page":"19:1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J Woodcock","year":"2009","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.: Formal methods: practice and experience. ACM Comput. Surv. 41(4), 19:1\u201319:36 (2009)","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Based Simulation XVII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67477-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T22:58:29Z","timestamp":1570143509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67477-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319674766","9783319674773"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67477-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}