软件工程中的生存论本体论与事物建模

本研究是先前题为《面向软件工程师的事物化》研究的续作，该研究表明，与对象化相对的事物概念在建模中具有某些有益取向。概念建模中纳入事物化，需要解释 Heidegger 事物观的根源。这要求理解 Heidegger 的生存论本体论，以辨识其与事物化的任何关联。本文是对生存论本体论的探索，以进一步澄清事物化概念。我们首先回顾《面向软件工程师的事物化》中引入的事物机（TM），并给出其在订单系统建模中的完整示例。随后我们讨论世界中事物的存在（being）以及 Heidegger 对时间的解释，作为对任何存在理解的可能视域。我们强调，TM 并不直接关联 Heidegger 式的存在概念及其对 Dasein 的精细分析。然而，研究非 Dasein 事物以为事物化（如 TM 建模中所用）提供哲学基础或有益处。有趣的是，TM 可用于建模生存论本体论，从而增进对它们的理解。