双维建模:逻辑深度与语义广度
复杂业务系统的建模方法与开发方式可以分为两条路线:
- DDD 范式:以应用代码开发为主,利用充血对象与限界上下文,在微服务内部构建精确的业务规则。其核心在于“逻辑的深度”。目前的主流开发范式。
- Ontology 范式:以平台语义层为载体,通过 ObjectType、LinkType 与 ActionType 构建跨系统的全局知识图谱。其核心在于“语义的广度”。随着Palantir走红而被业界研究。
二者在表面上都涉及“对象、关系与行为”,但其实际解决的问题层级截然不同:
复杂业务系统建模
L1 · 应用级建模 (DDD)
━━━━━━━━━━━━
解决单服务内部逻辑自洽
L2 · 企业级建模 (Ontology)
━━━━━━━━━━━━
解决跨系统语义与数据治理
DDD
充血模型 / 限界上下文
分层架构 / 领域事件
Ontology
ObjectType / LinkType
ActionType / Function
- DDD 聚焦局部(Micro):确保在一个特定的限界上下文内,代码能忠实反映业务意图。
- Ontology 聚焦全局(Macro):确保在整个企业生态内,不同系统对“客户”、“资产”等核心概念拥有统一的定义、权限与审计链路。
误用二者的典型代价是:用 DDD 做全企业模型会导致架构僵化;而用 Ontology 做纯应用框架则会显得过于沉重。只有各司其职,才能发挥其最大价值。
二、概念体系对比
二者都有一套自己的"基础词汇",下面把对齐项放在一起看。
2.1 术语对照表
| 关注点 | DDD | Ontology(Palantir) | 关键差异 |
|---|---|---|---|
| 实体 | Entity(领域层中带 ID 的对象) | ObjectType + 实例 | DDD 实体是代码类;Ontology Object 是平台一等公民 |
| 值对象 | Value Object(不可变、按值判等) | Property 上的 Value Type(约束、单位、枚举) | DDD 值对象封装行为;Ontology Value Type 偏数据约束 |
| 关系 | 实体 / 聚合根间的引用(聚合内强引用 + 聚合外 ID 引用) | LinkType(独立一等类型,带语义、基数、属性) | Ontology 关系本身就是"对象",可以挂属性 |
| 聚合根 | Aggregate Root(保证内部不变量) | ⊘ 无直接对应——Ontology 不假设强一致性边界 | DDD 聚合 = 事务一致性边界;Ontology 一致性由 Action 显式约束 |
| 行为 | 聚合根 / 实体 / 领域服务的方法 | ActionType(声明式:参数 + 校验 + 副作用 + 权限 + 审计) | DDD 行为编码在类里;Ontology 行为是平台契约 |
| 业务规则 | 充血模型的方法 + 领域服务 | ActionType 校验 + Function(外部 / 内部规则) | DDD 规则与对象共生;Ontology 规则与对象解耦但绑定 |
| 领域事件 | Domain Event(应用层发布) | 写后事件 / 流(依据 ActionType 自动产生审计与下游事件) | Ontology 事件天然带审计、自动派发 |
| 边界 | Bounded Context(限界上下文,按业务边界) | 通常按 ObjectType + 权限组划分,不强制"上下文" | DDD 强调边界清晰;Ontology 强调跨边界统一语义 |
| 统一语言 | Ubiquitous Language(团队术语表 + 代码命名) | Ontology 本身就是企业级的统一语言 | DDD 限于一个团队 / 上下文;Ontology 跨整个企业 |
| 权限 | 外挂在应用层(Spring Security、网关) | 内建于 ObjectType / ActionType,随每次调用自动生效 | Ontology 权限是一等公民,DDD 默认不管 |
| 审计 | 应用层手工埋点 / AOP | ActionType 调用自动落审计日志 | Ontology 把审计变成"无需努力即默认开启" |
2.2 抽象层次的差异
Ontology 抽象栈(平台即模型)
语义层
(Ontology DSL / 元数据)
平台
(Foundry / OSv2 / OMS / Funnel)
基础设施
(数据湖 / OLTP / OLAP)
DDD 抽象栈(代码即模型)
应用代码
(Java / Go / Python)
编程语言
(OOP / FP)
运行时
(JVM / OS / 容器)
DDD 的载体是"程序"——业务模型靠源代码表达,靠编译器和测试保证一致性,部署到 JVM / 容器中执行。
Ontology 的载体是"平台"——业务模型靠元数据声明(ObjectType / LinkType / ActionType),由平台保证一致性,由专门的语义层服务(如 OSv2、OMS、Funnel)执行。
这一抽象层级的差异,决定了二者在"表达力 / 工程成本 / 跨系统统一性"上的所有不同。
三、建模哲学对比
二者背后的本体观(哲学层面)截然不同。
3.1 实体本体论 vs 关系 / 过程本体论
| 哲学立场 | 工程范式 | 代表 |
|---|---|---|
| 实体本体论:世界由对象构成,关系是对象的附属 | ER / OOP /DDD | 关系数据库、Java / C# 类、DDD 聚合 |
| 关系 / 过程本体论:关系与变化更基本,对象是关系的节点 | 知识图谱 /Ontology/ 函数式 | RDF / OWL、Palantir Ontology、F# 函数式 DDD |
DDD 继承了 OOP 的实体本体观——对象是建模的中心,关系靠对象引用(聚合内)或 ID 引用(聚合外)表达;行为是对象的方法。
Ontology 站在关系本体观一侧——LinkType 是独立的一等公民,可以挂属性、可以被查询、可以参与 Action;对象是"关系网络中的节点",而不是建模的中心。
工程后果:DDD 适合表达"对象内部的强一致性规则";Ontology 适合表达"对象之间的复杂关系网络与跨域决策"。试图用 DDD 表达"任意两个对象间的 N 种关系且关系本身有属性",会让聚合根膨胀;试图用 Ontology 表达"聚合内部 7 条不变量的强一致性事务",会发现它的最终一致性语义不直接支持。
3.2 Palantir 的三层哲学(认识论与实践论的延伸)
Ontology 不仅是本体论的实现,Palantir 把它扩展为"本体—认识—实践"三层(详见../ontology-research/技术原理介绍.md1.2 节):
| 哲学层 | Palantir 对应 | DDD 对应 |
|---|---|---|
| 本体论(有什么) | ObjectType + LinkType + Property | 实体 + 值对象 + 聚合 |
| 认识论(如何认识 / 推理) | ActionType + Function + Models / Analytics | 领域服务 + 领域事件 + 规则引擎 |
| 实践论(如何变成行动) | AIP Agent + 审批流 + 写回 | 应用服务编排 + 工作流引擎 |
DDD 主要回答本体论与认识论,把"实践论"留给业务方与应用层。Ontology 的雄心更大——它要把三层合到同一个语义平台、同一套权限、同一条审计链路上。
四、技术形态对比
下面把二者在工程上的具体形态摆在一起,差异立刻清晰。
4.1 "实体 + 关系 + 行为"的写法对比
DDD 写法(Java / Spring Boot):
// 实体(聚合根) |
public class Vehicle { |
private VehicleId id; |
private String model; |
private VehicleStatus status; |
private List<RequiredPart> requiredParts; // 聚合内强引用 |
private ProductionLineId assignedLine; // 聚合外用 ID |
public void startProduction(ProductionLine line, InventoryView inventory) { |
if (!inventory.hasAllParts(this.requiredParts)) |
throw new IllegalStateException("缺料"); |
if (!line.isIdle()) |
throw new IllegalStateException("产线繁忙"); |
this.status = VehicleStatus.IN_PRODUCTION; |
this.assignedLine = line.getId(); |
addDomainEvent(new VehicleStartedProductionEvent(this.id, line.getId())); |
} |
} |
Ontology 写法(Palantir 风格的伪代码,详见../ontology-research/数据存储与使用方式对比.md):
// ObjectType 声明 |
{ "ObjectType": "Vehicle", "properties": { "model": ..., "status": ... } } |
// LinkType 声明(关系是一等公民) |
{ "LinkType": "REQUIRES_PART", |
"from": "Vehicle", "to": "Part", |
"properties": { "mandatory": "boolean", "quantity": "integer" } } |
// ActionType 声明(行为是一等公民) |
{ "ActionType": "startProduction", |
"subject": "Vehicle", |
"params": { "line": "ProductionLine" }, |
"preconditions": [ |
{ "rule": "allRequiredPartsInStock(vehicle)" }, |
{ "rule": "line.status == 'IDLE'" } |
], |
"effects": [ |
{ "set": "vehicle.status = 'IN_PRODUCTION'" }, |
{ "link": "vehicle ASSIGNED_TO line" } |
], |
"permissions": ["role:PLANT_MANAGER"], |
"audit": "auto" |
} |
核心差异:
| 维度 | DDD 方法 | Ontology 方法 |
|---|---|---|
关系requiredParts | 写为聚合内集合 | 写为独立LinkType实体 |
行为startProduction | 写为聚合根方法 | 写为ActionType声明 |
| 校验 | 方法体内 if/else + 异常 | preconditions 声明 |
| 权限 | 外挂@PreAuthorize | ActionType 内置 permissions |
| 审计 | 手工audit.log(...)或 AOP | ActionType 内置 audit:auto |
| 外部消费 | 必须再写一份 OpenAPI / RPC 契约 | OSDK / 平台 API 自动衍生 |
4.2 跨系统调用对比
Ontology:共享语义底座,调用即写回
Order
ObjectType
Action / Function
(一等公民)
Payment
ObjectType
Stock
ObjectType
Ontology 语义层
权限 / 审计 / 链接
DDD:多服务各自实现,事件解耦
订单服务
充血 Order
消息队列
Kafka / RocketMQ
支付服务
充血 Payment
库存服务
充血 Stock
DDD 体系下,三个服务各有一套领域模型,靠领域事件 + 上下文映射协作;每跨一个上下文都要做防腐层翻译。
Ontology 体系下,三个领域共享同一套语义底座,跨系统调用即在同一个 Ontology 内调用 Action——不需要"防腐层",因为根本没有"腐"可防。
代价对比:DDD 的代价是"跨上下文翻译成本";Ontology 的代价是"必须先有一个像 Foundry 这样的平台"。前者可以用 Spring + Kafka 起步,后者需要数百万级的平台采购或自建。
五、表达力对比
5.1 各类业务现象的建模能力
| 业务现象 | DDD 表达力 | Ontology 表达力 |
|---|---|---|
| 单聚合内强一致性事务(如订单状态机) | ★★★★★充血模型直接表达 | ★★★ 需要把多个 Action 组合 |
| 跨聚合 / 跨服务的关系网络(如供应链上下游) | ★★ 必须用 ID 引用,难以查询 | ★★★★★LinkType 是一等公民,可查询、可挂属性 |
| 同一字段的多种含义(同名异义) | ★★★★★用限界上下文天然解决 | ★★★ 必须显式区分 ObjectType |
| 复杂业务规则与状态机 | ★★★★★充血方法 + 状态枚举 | ★★★★ ActionType 校验 + Function |
| 企业级权限治理 | ★★ 外挂、易遗漏 | ★★★★★内置、随调用生效 |
| 全链路审计 | ★★ 需手工埋点 | ★★★★★自动 |
| 复杂跨实体查询(图遍历) | ★ 必须靠 JOIN | ★★★★★沿 LinkType 走 |
| AI Agent 在权限下安全操作 | ★★ 工程负担大 | ★★★★★Ontology 是 AI 的语义底座 |
| 单元测试领域逻辑 | ★★★★★new Order().pay() | ★★★ 需在平台环境运行 |
| 团队多语言异构落地 | ★★★★★各语言各写一套 | ★★ 锁定平台技术栈 |