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 fixed-step single-clocked pattern. The proposed terminology further improves the model understanding and can act as a stand-alone methodology for the specification and optionally the documentation of a significant set of (demographic) ABMs. Nevertheless, it is imaginable the this terminology probably with further extensions can be merged with 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, hindering 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, 2023b] as illustration for the formal terminology. The model was implemented in the Julia language [Elsheikh, 2023a] based on the Agents.jl julia package [Datseris et al., 2022].

翻译：本文提出了一套适用于人口学领域中基于主体模型（ABMs）子集的数学规范形式化术语。目标ABMs的模拟遵循固定步长单时钟模式。所提出的术语进一步提升了模型理解水平，可作为规范（及可选文档化）大量（人口学）ABMs的独立方法论。然而可以设想的是，该术语很可能通过进一步扩展，与广泛使用但高度非正式的模型文档与沟通协议O.D.D.[Grimm et al., 2020, Amouroux et al., 2010]相融合，以减少阻碍其他建模者复现模型的诸多歧义来源。针对已发表的单亲模型[Gostoli and Silverman, 2020]（大幅简化版本）的人口学模型文档，已单独发表于[Elsheikh, 2023b]以说明该形式化术语。该模型基于Agents.jl Julia程序包[Datseris et al., 2022]，使用Julia语言[Elsheikh, 2023a]实现。