软件工程中的前概念建模：图式表示的形而上学

许多研究者认为，概念模型（CM）的开发是一个困难的任务，系统需求的收集导致许多沟通问题。CM的构建不仅需要建模能力，还需要对模型试图表示的目标领域进行理解。因此，前概念建模（pre-CM）阶段旨在在典型的CM开发启动之前解决本体论问题。它涉及当实体和过程被区分并集成为统一整体时的现实定义。本文聚焦于该前CM阶段。目的不是展示如何进行建模，而是说明如何为涉及的现实部分建立形而上学基础。为证明这一尝试，我们运用了作为高级CM的thinging machine（TM）建模。TM模型整合了基于称为thimac（things/machine）的基本构件所 grounding 的静态性和动态性。它涉及两种现实模式：存在（事件）和实体化（区域——大致上是事物和过程的规格）。目前，CM中占主导地位的方法已发展为限制其应用范围，以开发本体论分类（事物的类型）为目标。在TM方法中，前CM形而上学被视为CM本身的一个组成部分。一般研究问题是如何将TM构件映射到目标领域中。讨论涉及thimac（事物和过程）以及存在与实体化作为它们在现实中叠加的方式。具体而言，我们提出两个论点：（a）区域感知为一种现象；（b）存在作为事件构造的独特性。结果不仅有助于进一步理解TM建模，还引入了一些形而上学见解。