# Formal specification terminology for demographic agent-based models of fixed-step single-clocked simulations

arXiv: https://arxiv.org/abs/2308.13081 · HTML: https://mlsanity.com/paper/2308.13081/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 3 of its 7 references that are in the map.
- First posted on arXiv 24 Aug 2023.

## Builds on (most cited first, 3 of 3)

- [Agents.jl: A performant and feature-full agent based modelling software of minimal code complexity](https://mlsanity.com/paper/2101.10072/) (2021)
- [Social and Child Care Provision in Kinship Networks: an Agent-Based Model](https://mlsanity.com/paper/2002.05188/) (2020)
- [Specification of MiniDemographicABM.jl: A simplified agent-based demographic model of the UK](https://mlsanity.com/paper/2307.16548/) (2023)

## Abstract (arXiv)

This document presents adequate formal terminology for the mathematical specification of a subset of Agent Based Models (ABMs) in the field of Demography. The simulation of the targeted ABMs follows a fixedstep single-clocked pattern. The proposed terminology further improves the model understanding and can act as a stand-alone protocol for the specification and optionally the documentation of a significant set of (demographic) ABMs. Nevertheless, it is imaginable the this terminology can serve as an inspiring basis for further improvement to the largely-informal widely-used model documentation and communication O.D.D. protocol [Grimm and et al., 2020, Amouroux et al., 2010] to reduce many sources of ambiguity which hinder model replications by other modelers. A published demographic model documentation, largely simplified version of the Lone Parent Model [Gostoli and Silverman, 2020] is separately published in [Elsheikh, 2023c] as illustration for the formal terminology presented here. The model was implemented in the Julia language [Elsheikh, 2023b] based on the Agents.jl julia package [Datseris et al., 2022].