基于斯多葛本体论的概念建模：具动态存在与静态持存之实在

软件工程界日益认识到，需要一种软件开发理论来整合当前众多流行方法学，其中一些基于对立的视角。概念建模（CM）可为此类理论做出贡献。CM定义基本概念以创建实在的表示，从而实现以忠实于实在与概念清晰为特征的本体论健全的软件行为。在此背景下，CM建立于关于世界的理论之上，用以表示给定领域。本体论已进入CM，作为需求分析、实现规约与软件架构中的工具。本文通过建立在实在与建模thinging机（TMs）之间的映射，构建实在与CM之间的直接联系。具体而言，斯多葛本体论用于定义TM事物与行动在实在中的存在。此类发展将有益于CM，并表明哲学中的经典概念可应用于现代研究领域。TM模型包含静态与动态规约。动态层面涉及可映射到实在的基于时间的事件。问题在于无时间静态描述的性质，其提供事件发生所处的区域；若无之，动态描述便崩溃。斯多葛派提出了一个卓越的举措：假定实在比存在更广的范畴。实在由存在的事物与持存的事物构成。在此情形下，动态TM描述处于存在中，而动态描述中被映射的部分处于持存中。我们将此种本体论应用于一个合同工作流示例。结果似乎开启了CM的新途径，可能增强软件与系统开发的理论基础。