通过添加约束消除歧义

下图是DDD概念的一个元模型图。从图的左下角，我们可以看到在构建通用语言时，还有两个额外的约束条件：子域和限界上下文。

在DDD中，软件的核心是其为客户解决领域相关的问题的能力。

这里的领域，就是指软件系统要解决的实际问题相关的东西的集合。

例如：为一个电子商务公司开发一个电商系统，我们就需要围绕这个盈利模式的运营方式、业务规则，比如如何进货，如何促销，如何物流等等了解这个电子商务公司的盈利模式，所有和业务相关的东西都属于领域。

领域分为问题域和解决方案域两部分。

为了分解问题域的复杂度，问题域又会被拆解为多个子域，每个子域都要明确待解决的业务问题和业务流程，以及通过解决业务问题为企业带来了什么样的业务价值（这个是因，业务流程和要解决的业务问题是果）。

在清晰的定义子域后，我们就可以建立通用语言来提取该子域的领域知识，并基于通用语言为解决问题建立领域模型。

一个领域模型会存在于一个限界上下文中。限界上下文在DDD中用来定义模型的适用范围、模型的用途、以及在何处保持一致，限界上下文会让团队明确模型的职责边界是什么。同时，通用语言被限定在限界上下文中；限界上下文提供了一个语义边界，在每个限界上下文内通用语言的每个词汇必须和领域概念一一对应。

理想条件下，子域和限界上下文是一一对应。但是子域划分的粒度，遗留系统的现状，语言的歧义，团队结构等子域和限界上下文对应可能是1：N或者N：N的。

通过限界上下文间的映射，上下文中的多个模型会协作以满足系统需求。我们也可以了解在不同上下文中的同名词汇是否存在关系，存在什么样的关系。

对通用语言而言，子域解释了通用语言和现实世界业务活动的关系；限界上下文提供了一个语义边界，来保持通用语言和领域概念的一一对应关系；上下文映射则提供了不同限界上下中的通用语言的转换关系。