概念建模与系统重构中的变更

本文探讨系统与软件工程中的变更概念，强调其哲学阐释。通常认为，变更在系统中如此普遍，以至于几乎难以描述与分析。在本文中，我们采用称为事物机（thinging machine, TM）的概念建模技术分析变更，该技术在创建、处理、释放、转移和接收事物等动作方面反映变更。我们以使用业务流程建模符号（BPMN）设计的业务产品处理系统重构为例说明了 TM 建模中的变更。随后我们分析变更概念并比较哲学中其各种定义。具体而言，我们考察芝诺悖论——其涉及如何同时解释运动事物中的变更与连续性。问题在于，当箭从弓射出时，我们无法断言其实际在运动，因为箭在每一时刻须处于某确定位置，而该位置按定义不含任何持续时间。在我们对该问题的分析中，将箭的轨迹转换为称为 thimac 的空间单元。在 TM 通用动作中，识别出两类变更：状态变更与进展（PROCESS）变更。因此，当箭流入表示轨迹空间单元的 TM 机时，它被拒绝，从而弹回外部。即，箭被转移、到达并再次被转移回去；因此箭在任何时刻都从未被轨迹中的 thimac 接受。该分析结果似乎为芝诺悖论中讨论的运动概念提供了逻辑解释。