文档管理模型 - 保护不变量

思潮？

直接的反应是，您需要更好地了解域模型。 这组"需求"看起来更像是某人对应该如何实现的猜测，而不是对业务需求的描述。

因此，我需要强制执行的两个不变量是版本编号和在等待批准时锁定文档。

不一定 - 根据您描述的要求，您不需要锁定文档，您需要锁定其内容的修订。

换句话说，深入挖掘;"文档"试图成为太多不同的东西"，您的域语言中包含您尚未使用的名词。

作者编辑草稿。（省略了对草案实体生命周期的讨论。令人满意的草案可以提交其内容版本以供批准。 已批准的提交将作为文档的修订版发布。

换句话说，编辑过程和提交过程都有某种状态，也就是说，隐藏在其中的不可变值类型，不时被负责它的实体替换。 通过将状态（而不是实体）从一个进程移动到下一个进程来保留不变性。

唯一让我认为它们是两个独立的聚合根的原因是文档版本的审批过程。 审批者不需要整个历史记录，只需要文档版本本身。

识别这种冲突的满分 - 这是当前模型缺少一个或多个重要想法的重要线索。

"批准期间不进行修订"的要求是一个重要线索，表明被批准的州需要与跟踪修订过程的实体不同的家。 没有变化强烈地暗示状态，因此价值对象;实体不是令人满意的状态替代品，因为它们具有可变性。

我最近构建了一个与此非常相似的系统，我们有了草稿的概念。每次保存操作都会产生复制整个状态的草稿的递增版本。即不可变的版本化草稿。

然后我们有了已发布版本的概念 - 这与您批准的概念相同，因为它是"此版本的草案现在正在成为外部世界可以使用的东西"。我们再次将整个状态复制到此事件中。我们本可以只有一个指向已发布版本中的草稿的指针，因为草稿无论如何都是不可变的，但决定复制状态 - 简单性和存储空间之间的交易。

我们只是将这些内容视为事件，因此每个聚合都有一个流，其中投影了已发布版本的主流 - 默认情况下，我们在 UI 中加载了最新的已发布版本。