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等, 2020; Amouroux等, 2010] 相融合，从而减少阻碍其他建模者进行模型复现的诸多歧义源。为说明该形式化术语，已单独发表一份简化版单亲模型 [Gostoli和Silverman, 2020] 的人口学模型文档 [Elsheikh, 2023b]。该模型基于Agents.jl Julia包 [Datseris等, 2022] 在Julia语言 [Elsheikh, 2023a] 中实现。