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].

翻译：本文提出了适用于人口学领域中一类基于智能体模型（ABMs）数学规范的完备形式化术语。此类目标ABMs的模拟遵循固定步长单时钟模式。所提出的术语进一步提升了模型理解度，可作为独立协议用于规范（并可选择性用于文档化）大量（人口学）ABMs。尽管如此，该术语有望为广泛使用但高度非正式的模型文档与交流O.D.D.协议[Grimm等，2020；Amouroux等，2010]提供启发性的改进基础，从而减少阻碍其他建模者复现模型的多义性来源。作为此处所提出形式化术语的示例，已单独发表一份经过大幅简化的单亲模型[Gostoli和Silverman，2020]人口学模型文档[Elsheikh，2023c]。该模型基于Agents.jl Julia包[Datseris等，2022]采用Julia语言[Elsheikh，2023b]实现。