探索概念建模的形而上学：存在容器、莱布尼茨的单子与阿维杜宾的本质

软件工程中的需求规范涉及对目标领域进行概念模型的构建。该模型基于对现实中事物的本体论探索。在此过程中，许多事物与形而上学问题紧密相关，即关于现实本质的领域探讨。根据一些研究者的观点，形而上学家正致力于构建一种正确概念化世界的方式，而软件设计也类似。诸如类、面向对象、属性、实例化、算法等概念，都是在很久以前发展出来的形而上学概念。探索此类概念的形而上学旨在通过某种不受误解和惯例约束的客观基础来建立质量保证。大量形而上学工作最好可以理解为一种模型构建过程。在这里，将模型视为我们描述和研究的假设结构，以更好地理解复杂的现实世界系统。本文旨在加深对概念建模形而上学起源的理解，具体阐述一种称为“thinging machines”(TMs) 的高层模型。焦点在于将 thimacs（事物/机器）作为 TM 模型中的单一类别，位于静态性与动态性世界的两个阶段中。这种现实的一般思想灵感来自德勒兹的“虚拟”及其与莱布尼茨的单子和阿维杜宾本质的古典概念的关联。对 TMs 的分析导致了关于 thimacs 性质在静态和存在层面的几个有趣结果。