19、软件开发中的实用设计模式解析

软件开发中的实用设计模式解析

1. 恢复模式

1.1 恢复模式概述

当用户使用回收站恢复实体时，系统会显示存在删除记录的查询结果。该查询与之前的查询类似，只是将 EntityDeletion 上的 not exists (∄) 改为了 exists (∃) 。以下是查询回收站中实体的代码：

entitiesInRecycleBin = (o: Owner) {
  e: Entity [
    e→owner = o
    ∃ {
      ed: EntityDeletion [
        ed→entity = e
        ∄ {
          er: EntityRestore [
            er→deletion = ed
          ]
        }
      ]
    }
  ]
}

这两个查询的对称性使删除和恢复操作具有原子性。创建删除记录会将实体添加到回收站并从应用中移除；后续创建恢复记录则会将实体从回收站移除并重新集成到应用中。

1.2 删除示例及时间戳的必要性

在删除示例中， OrderLineDeletion 最初不需要额外的标识符。但为了支持恢复操作，现在需要一个时间戳字段。如果删除事实没有额外的标识符（如时间戳），实体只能被删除和恢复一次，之后就无法再次删除，因为第二次删除与已恢复的第一次删除无法区分。因此，时间戳是必要的。

1.3 相关模式选择