《解构领域驱动设计》思维导图

简介: 《解构领域驱动设计》思维导图

《解构领域驱动设计》全书的脉络是按照领域驱动设计统一过程的脉络开展叙述的,核心内容就是构成领域驱动设计统一过程的三个阶段:

  • 全局分析阶段

  • 架构映射阶段
  • 领域建模阶段


思维导图总结的正是这三部分内容。


01全局分析阶段



我将需求分为价值需求和业务需求,它们构成了需求分析的5W模型,即:

  • Who:利益相关者
  • Why:系统愿景
  • Where:系统范围
  • When:业务流程
  • What:业务场景和业务服务

1


价值需求对业务需求产生指导和约束作用。利益相关者分为受益的利益相关者(简称受益者)和解决问题的利益相关者(简称支持者)。系统愿景是对目标系统价值需求的精炼提取,能帮助团队就项目需要达成的目标形成共识。系统范围是目标系统问题空间的边界,可以通过识别目标系统的当前状态与未来状态明确。


2


识别业务流程时,需要注意:

  • 要注意区分线上流程和线下流程
  • 不要受到当前业务流程的影响,要考虑流程的优化
  • 注意识别可自动化的环节
  • 要使用上帝视角


按照业务目标对流程进行纵向切分,获得业务场景。根据业务场景,进一步识别业务服务。
业务服务的组成要素包括:角色、服务请求和服务价值,并将整个目标系统视为一个黑盒子。角色包括用户、策略(封装了业务规则的定时器)和伴生系统。

业务服务如果需要细化,应为其编写业务服务规约,包括:

  • 业务服务名称:以动词短语形式
  • 描述:作为(角色)我想要(服务功能)以便于(服务价值)

  • 触发事件:可用于判断是业务服务,还是执行步骤
  • 基本流程(成功场景):流程的第一步一定是BC收到了服务请求后执行的第一步
  • 替代流程(失败场景)
  • 验收标准:包含了领域规则


问题空间可以被划分为多个子领域,可以根据价值之高低划分为:核心子领域、通用子领域和支撑子领域。


02架构映射阶段



架构映射阶段对应于领域驱动设计解空间的战略设计阶段。


1


系统上下文用于确定解空间的边界,而在架构层面,它代表了整个目标系统,可以运用系统分层架构来表现。系统分层架构分为(自下而上):

  • 基础层:对应通用或支撑限界上下文

  • 业务价值层:对应核心限界上下文
  • 边缘层(可选):包括API网关、UI适配和服务聚合
  • 客户端层

2


限界上下文是战略层次的基本架构单元,它也是领域驱动设计最重要的模式。书中通过多方面归纳限界上下文:

  • 限界上下文六要素:领域知识、领域对象、知识语境、角色、活动和业务能力
  • 限界上下文两本质领域模型的知识语境业务能力的纵向切分
  • 限界上下文四特征:最小完备自我履行稳定空间独立进化


限界上下文内部通过菱形对称架构来体现,菱形对称架构体现了“内外分离、南北对称”的设计思想:

  • 内外分离:内部为领域层,外部为网关层
  • 南北对称:分为南向网关和北向网关


image.png
作为架构的重要要素,该如何识别限界上下文?书中从业务维度、团队维度与技术维度分别加以阐述。


业务维度对限界上下文的识别顺序如下:

  • 根据业务相关性(语义相关性、功能相关性)对业务服务进行归类
  • 对归类的业务服务提炼其共同特征,归纳为业务主体
  • 调整业务主体的边界,包括根据亲密度调整业务服务,根据限界上下文的本质调整业务服务
  • 根据验证原则进一步验证限界上下文,验证原则包括:单一抽象层次原则、奥卡姆剃刀原则、正交原则和最小惊讶原则。


团队维度要求我们为限界上下文建立领域特性团队。领域特性团队的组建基于康威定律、2PTs团队与特性团队的要求。


至于技术维度,则需要根据质量属性如高并发、性能、安全等因素,要求资源隔离,从而独立定义限界上下文。


3


我将上下文映射的模式归为两类:通信协作模式和团队协作模式。


通信协作模式有四个,都是领域驱动设计本身定义的模式,菱形对称架构模式基本已经覆盖:

  • 防腐层:菱形对称架构的南向网关

  • 开放主机服务:菱形对称架构的北向网关
  • 发布语言:菱形对称架构的消息契约
  • 共享内核:去掉菱形对称架构的网关层


团队协作模式有五个,其中的发布者-订阅者模式是我个人引入的,当然,它也是业界惯用的模式了:

  • 合作伙伴:反模式
  • 遵奉者:反模式
  • 分离关系
  • 客户方-供应方
  • 发布者订阅者


通过服务序列图可以确定限界上下文的上下文映射模式,并驱动出限界上下文的服务契约。


4


结合这些架构因素与模式,我总结为领域驱动架构风格。主要内容为:

  • 以领域为核心驱动力
  • 以业务能力为核心关注点
  • 系统上下文层次:系统分层架构
  • 限界上下文层次:菱形对称架构


03领域建模阶段



领域建模阶段属于领域驱动设计的战术设计阶段,我将其分为三个环节:领域分析建模、领域设计建模和领域实现建模。


1


领域分析建模的参与人包括领域专家和开发团队,应考虑由领域专家作为整个分析建模过程的主导。建模的输入为业务服务规约,输出为领域分析模型。


我采用快速建模法获得领域分析模型。它分为五个步骤:

  • 名词建模:识别业务服务规约中表达领域概念的名词。
  • 动词建模:识别业务服务规约中基本流程中的动词。需要确定领域行为,判断该领域行为是否产生过程数据(凭证)将该过程数据表达的领域概念放入领域分析模型。这一个概念实际上就是四色建模中的时标型对象,即确定什么事(what)什么时间发生(when),并判断有没有留存的价值(why)
  • 归纳抽象遵循统一语言原则,对相似的领域概念给出清晰定义,确定是否相同含义;或者是否可以进一步归纳。
  • 确定关系确定领域概念之间的关系,重点关注多对多与一对多,关系也可能是一个领域概念
  • 分配限界上下文根据领域知识的相关性,并明确知识语境的边界,将领域分析模型的各个领域概念分配到各个限界上下文


2


领域分析建模的输入为领域分析模型与业务服务规约的基本流程,输出则包含静态的领域设计模型(由聚合组成的类图)和动态的领域设计模型(序列图脚本或序列图)。


与领域设计模型有关的模式包括了实体、值对象、聚合、领域服务、领域事件、资源库和工厂。


实体体现了领域概念,具有ID,值对象体现了领域概念,只关注值。


聚合是边界,边界内为实体与值对象组成的对象树,根为实体,它用于维护领域概念的完整性聚合之间只能通过聚合根实体建立关系根实体是聚合唯一的入口和出口


聚合作为领域建模阶段基本的设计单元,同样具有自治的特征:

  • 不变量对聚合内各个领域概念之间关系的一种约束
  • 完整性:约束概念关系的一种特殊不变量
  • 一致性:约束数据关系的一种特殊不变量
  • 独立性:如果某个实体具有独立管理生命周期的需求,则独立为单独的聚合


领域服务主要负责:

  • 管理多个聚合之间的协作
  • 管理聚合与端口之间的协作
  • 封装无状态的领域行为
  • 分离独立变化的领域行为


领域事件封装了状态的变化。


工厂负责聚合从无到有的创建,资源库负责聚合生命周期的管理,包括添加、加载、变更、移除。


在获得在限界上下文限定下的领域分析模型后,需要确定各个领域模型对象的聚合边界。过程为:

  • 梳理对象图:梳理领域分析模型,分辨实体和值对象。分辨实体和值对象的依据包括了相等性、不变性、独立性和优先级。
  • 分解关系薄弱处:根据实体关系耦合强度划分聚合。
  • 调整聚合边界:根据聚合的自治特性调整聚合边界。


服务驱动设计分为两个步骤:分解任务和分配职责。它的基础则是角色构造型,结合菱形对称架构,一个限界上下文的角色构造型包括:远程服务、本地服务(应用服务)、领域服务、聚合和端口。


分解的任务会形成一棵任务树,业务服务为任务树的根,组合任务为枝,原子任务为叶。过程为:

  • 流程转任务:将业务服务规约中的基本流程转换为任务
  • 向上归纳:将不可分割的相邻任务归纳为更高的组合任务
  • 向下分解:判断目前未分解的任务是否是原子任务,如果不是,则继续分解如果当前任务需要的领域知识是一个聚合拥有的,识别为原子任务,如果当前任务访问了外部资源,识别为原子任务。


分配职责是一个固定的流程,将各个任务分配给角色构造型:

  • 业务服务分配给远程服务与应用服务
  • 组合任务分配给领域服务
  • 如果没有访问外部资源,原子任务分配给聚合,否则分配给端口


服务驱动设计最终输出的是动态的序列图脚本,驱动出了领域模型对象的方法,明确了领域对象之间的协作方式。


3


领域实现建模的输入是领域设计模型,以及业务服务规约的验收标准;输出为领域实现模型,包括了领域层的产品代码和测试代码。


领域实现建模推荐采用测试驱动开发。对于限界上下文而言,菱形对称架构与测试金字塔存在一定的对应关系。聚合不依赖任何外部资源,非常易于编写单元测试。领域服务的单元测试可以通过模拟端口来编写。应用服务编写集成测试。远程服务编写契约测试。


服务驱动设计与测试驱动开发可以很好的结合起来。服务驱动设计的方向是由外向内测试驱动开发的方向是由内向外服务驱动设计输出的序列图脚本可以作为测试驱动开发的输入。


测试驱动开发遵循Kent Beck提出的简单设计原则:

  • 通过所有的测试:可测试性
  • 尽可能消除重复:可重用性
  • 尽可能清晰表达:可读性
  • 更少代码元素:简单性


测试驱动开发还要遵循Robert Martin提出的三定律:

  • 在编写不能通过的单元测试前,不可编写生产代码
  • 只可编写刚好无法通过的单元测试,不能编译也算不通过
  • 只可编写刚好足以通过当前失败测试的生产代码


测试驱动开发对于领域驱动设计虽非必要,但它有助于提升领域实现模型的质量。

相关文章
|
1月前
|
安全 程序员 编译器
【C++篇】继承之韵:解构编程奥义,领略面向对象的至高法则
【C++篇】继承之韵:解构编程奥义,领略面向对象的至高法则
78 11
|
4月前
|
Java
Java面向对象知识总结+思维导图
Java面向对象知识总结+思维导图
|
存储 编译器 C++
C++类和对象概念及实现详解(下篇)
C++类和对象概念及实现详解(下篇)
37 0
|
存储 编译器 C语言
C++类和对象概念及实现详解(上篇)
C++类和对象概念及实现详解(上篇)
74 0
数据结构的思维导图(帮助梳理脉络)
数据结构的思维导图(帮助梳理脉络)
90 0
|
编译器 C++
C++ 类与对象中类的深入知识点+完整思维导图+基本练习题+深入细节+通俗易懂建议收藏(二)
C++ 类与对象中类的深入知识点+完整思维导图+基本练习题+深入细节+通俗易懂建议收藏(二)
|
编译器 C++
C++ 类与对象中类的深入知识点+完整思维导图+基本练习题+深入细节+通俗易懂建议收藏(一)
C++ 类与对象中类的深入知识点+完整思维导图+基本练习题+深入细节+通俗易懂建议收藏(一)
C++ 类与对象中类的深入知识点+完整思维导图+基本练习题+深入细节+通俗易懂建议收藏(一)
|
编译器 C语言 C++
c++ 对类与对象的基础框架+完整思维导图+基本练习题+深入细节+通俗易懂建议收藏(二)
c++ 对类与对象的基础框架+完整思维导图+基本练习题+深入细节+通俗易懂建议收藏(二)
下一篇
无影云桌面