数据流图与活动图：从抽象逻辑到动态行为的建模体系

一、引言：信息系统的两种根本性刻画

20世纪70年代，当软件工程从“手工作坊”迈向“工程化”时，结构化分析方法提出了一个根本性问题：我们应当用什么视角来理解一个复杂系统？ 在众多答案中，两种图形化建模工具脱颖而出——数据流图（Data Flow Diagram, DFD）与活动图（Activity Diagram）。前者以数据为叙事主体，描绘信息在系统中的流动、变换与驻留；后者以行为为叙事线索，刻画任务从起点到终点的执行序列。二者共同构成了从逻辑模型到动态行为的系统刻画框架。本文旨在从根本上解析二者的建模哲学、语法体系与应用场域。

二、数据流图：以数据为中心的抽象透镜

2.1 定义与历史语境

数据流图是结构化系统分析方法的核心表达工具，它从数据传递和加工的角度，以图形方式描绘信息在系统中的流动与变换过程。DFD诞生于20世纪70年代的结构化编程浪潮，其设计哲学与“自顶向下、逐步求精”的工程思维高度契合。DFD剥离物理实现细节，聚焦数据的逻辑流向，本质上是一种功能模型——它回答的是“系统要做什么”，而非“系统怎么做”。

2.2 四种基本构件

数据流图由四种构件构成，它们构成了DFD的完整语法体系：

构件	图形表示	语义
外部实体（External Entity）	矩形/棱形	位于系统边界之外、与系统发生数据交互的人、组织或外部系统
加工/处理（Process）	圆形/圆角矩形	对输入数据执行某种变换并产生输出数据的活动单元
数据流（Data Flow）	带箭头的实线	数据的有向流动，线上标注数据名称
数据存储（Data Store）	双横线/开口矩形	数据的静态驻留点，如文件、数据库表

2.3 分层建模的工程逻辑

DFD采用层次化分解策略应对系统复杂性。顶层图（上下文图） 只含一个加工（加工编号0），概括整个系统的功能边界及其与外部实体的交互。0层图将顶层加工分解为多个主要子加工，并首次引入数据存储。子图继续对0层图中的非基本加工逐层细化，直至加工逻辑足够简单（称为“基本加工”）。层次分解机制使得DFD成为支撑大规模系统需求分析的标准化工具。

2.4 数据平衡：DFD的核心约束

数据平衡是DFD绘制的根本准则。它包含两个层面的约束：

• 父图与子图平衡：子图边界上的输入/输出数据流必须与父图中对应加工的输入/输出数据流保持一致。不一致则意味着系统逻辑出现断裂。

• 子图内平衡：每个加工必须有输入数据流和输出数据流——有输入无输出（“黑洞”）或有输出无输入（“奇迹”）均违反物理常识。

2.5 数据字典的配套

数据字典是对DFD中所有数据元素的精确定义仓库，包含数据流、数据存储、数据项的名称、类型、长度与组成结构。数据字典与DFD构成结构化分析中不可或缺的“图文双证”体系。

三、活动图：以行为为线索的动态视图

3.1 定义与UML生态位

活动图是UML体系中的一种行为图，用于描述算法执行的工作流程中涉及的活动与活动之间的转移。与传统流程图不同，活动图支持分岔与汇合等并发表达机制，并能通过泳道划分职责主体。它本质上是一种行为模型——回答的是“系统如何执行任务”。

3.2 核心符号与语义集合

活动图的语法体系远比DFD丰富，主要符号如下：

符号	含义	关键语义
初始节点/活动终点	流程的起点与终结点	确定执行边界
活动/动作	一个原子步骤或任务	对应函数、方法或业务流程节点
决策节点（菱形）	条件分支，根据监护条件选择路径	对应if-else逻辑
合并节点（菱形）	将多个入口分支汇聚为单一出口	区别于分岔/汇合
分叉节点（粗横线）	将一个控制流分解为多个并发分支	对应线程创建或异步任务启动
汇合节点（粗横线）	等待所有并发分支完成后才继续执行	类似CountDownLatch
泳道	垂直划分的区域，标识职责主体	对应角色或组织单元
对象流	虚线箭头，表示数据在活动之间的传递	表达数据依赖

3.3 并发表达：活动图的标志性能力

活动图与DFD的核心分水岭在于对并发行为的原生支持。通过分叉（Fork） 与汇合（Join） 节点的配合，活动图能够表达多种并发模式：完全并行（无汇合的分叉）、屏障同步（严格等待所有分支完成）及部分依赖（汇合等待指定分支）。这一能力使其成为并发系统行为建模中不可替代的工具。

3.4 泳道：职责的角色化表达

泳道将活动图划分为若干垂直区域，每个区域代表一个参与者或组织单元，区域内的活动由该主体负责执行。泳道之间允许活动流与对象流跨越，同时清晰传达了权责边界。这一机制在业务流程建模与跨组织协作场景中尤其关键。

四、深度对比：DFD vs. 活动图

4.1 根本分野

对比维度	数据流图（DFD）	活动图
建模视角	以数据为中心	以行为为中心
核心问题	数据从哪里来、到哪里去、被谁加工	任务按什么顺序、由谁、在什么条件下执行
抽象层次	逻辑模型（做什么）	动态模型（如何做）
控制流 vs 数据流	关注数据流	关注控制流
并发表达	处理过程可并行，但无显式机制	原生支持分叉/汇合
角色/职责映射	无	通过泳道表达
时序与计时	各加工遵循不同计时标准	同一流程内遵循统一计时标准
信息密度增长方式	通过层次分解（0层→1层→2层…）	通过扩展活动节点与并发分支

4.2 适用场域与典型场景

场景	推荐工具	理由
需求分析（逻辑建模）	DFD	聚焦数据流向与变换，与技术实现无关
业务流程建模	活动图	泳道机制天然契合多角色协作
数据链路追凶	DFD + 数据字典	精确定位数据源、加工与存储位置
并发任务设计	活动图	分叉/汇合原生表达同步与并行
系统边界界定	DFD（上下文图）	明确系统与外部实体的交互边界
用例场景细化	活动图	将用例描述转化为可执行控制流

4.3 互补而非替代

DFD与活动图之间的关系，是逻辑抽象与动态执行之间的互补。DFD回答“数据经过哪些变换到达哪里”，活动图回答“在什么条件下、按什么顺序执行这些变换”。成熟的分析建模往往采用DFD先行、活动图跟进的策略。

五、实例推演：电商订单系统

5.1 DFD建模（逻辑层次）

上下文图：系统与“顾客”、“支付网关”、“仓库系统”三个外部实体进行数据交互。顾客提交订单请求；系统返回订单确认和物流状态等数据流。

0层图（部分） ：系统分解为“验证订单”、“处理支付”、“安排发货”三个核心加工。

5.2 活动图建模（行为层次）

泳道划分：顾客（前台）、订单系统、支付网关、仓库四个泳道。主流程从“填写订单”经决策分支“支付成功?”进入“安排发货”，最终至“确认收货”。并发能力体现在“验证库存”与“扣减库存”两个并发分支中——安排发货后同时向仓库发起拣货通知，无需串行等待。

六、总结

维度	数据流图（DFD）	活动图（Activity Diagram）
哲学根基	结构化分析，数据流为中心	UML行为建模，控制流为中心
核心构件	外部实体、加工、数据流、数据存储	活动、分叉/汇合、决策/合并、泳道、对象流
并发能力	隐式（加工可并行）	显式（分叉/汇合节点）
角色表达	无	泳道
抽象层次	逻辑模型（与实现无关）	行为模型（可与实现关联）
配套资产	数据字典	无强制配套
适用阶段	需求分析、逻辑建模	详细设计、用例细化、业务流程建模
学习曲线	平缓	中等

数据流图与活动图，共同构成了从“数据从哪里来”到“任务如何执行”的完整认知链条。DFD以数据为中心的抽象透镜，活动图以行为为线索的动态视图，两者并非二选一的对立选项，而是系统建模进程中不可或缺的互补坐标系。真正的建模技术，不在于用一种工具穷尽一切，而在于准确识别系统当前的抽象层次——当需要厘清数据边界时，请回到DFD的层次；当需要设计并发流转时，走向活动图的动态。在逻辑与行为的交汇处，我们才能真正理解系统。

参考文献

1. DFD数据流建模：系统需求分析的图形化利器. 百度开发者社区, 2026.

2. 数据流程图：构建系统逻辑模型的标准化工具. 百度开发者社区, 2026.

3. UML活动图：系统动态行为建模的利器. 百度开发者社区, 2026.

4. UML活动图主要要点和作用，举例说明. CSDN博客, 2025.

5. 软考系统架构之案例篇(软件工程相关概念). CSDN博客, 2023.

6. Software Architecture in Practice (3rd ed.). Bass, L., Clements, P., & Kazman, R. Addison-Wesley, 2012.

7. Visual Paradigm Guides: Data Flow Diagram (DFD) Comprehensive Guide. 2026.

8. Data Flow Diagram vs Activity Diagram: A Comprehensive Comparison. Visual Paradigm, 2026.