20、分布式系统中的模式与状态转换

分布式系统中的模式与状态转换

1. 实体列表模式

1.1 动机

在大多数应用程序中，用户需要查看实体列表。列表会显示实体的名称、标题或其他代表性属性，用户可以选择其中一个实体进行交互。

1.2 结构

该模式结合了所有者（Owner）、实体（Entity）、删除（Delete）、恢复（Restore）和可变属性（Mutable Property）模式，允许用户添加、删除和修改集合元素。为显示列表，应用程序会运行查询，查询规范包含投影，投影的一个属性是子规范，用于选择可变属性的所有当前值：

entitiesInOwner = (o: Owner) {
  e: Entity [
    e→owner = o
    ∄ {
      ed: EntityDeletion [
        ed→entity = e
        ∄ {
          er: EntityRestore [
            er→deletion = ed
          ]
        }
      ]
    }
  ]
} ⇒ {
  titles: {
    p: EntityProperty [
      p→entity = e
      ∄ {
        next: EntityProperty [
          next→prior = p
        ]
      }
    ]
  } ⇒ p.value
}

1.3 示例

应用程序会根据规范运行查询，移除已删除的客户，忽略后续已恢复的删除操作，然后投影每