本文涉及计算机科学模型 (CSMd)，即用计算机科学语言（算法和数据结构的语言）在理论上描述的形式结构，因此可以以应用程序的形式实现并激活在电脑上。 在区分不同类型的 CSMd（例如理论和实际）并展示一些 CSMd 示例（特别是在心理现象领域）之后，我们将详细讨论建模过程。 这个过程可以从一个比喻开始（理解为所研究现象的初始、非正式的形象），具有循环和开放的特征，并且——根据我们的方法重建——包括四个阶段：抽象、形式化、简化和验证。 我们在计算机科学的背景下讨论这些阶段，涉及四个要素：所研究的领域、元理论（总是形式化的）、研究领域的建构理论（以元理论的语言形式化）和建构的理论模型（总是临时的）。 我们提出了整个过程的简化方案，并确定了建模循环的三个循环：小、适当和宽。 最后，我们声称当代 CSMd（尤其是大脑的计算机科学模型）应该使用人工智能工具构建，例如机器学习和数据挖掘技术。
