BPM建模

官方信息技术老师·11 页·深入(追求细节与边界)·0 次浏览·3 天前
BPMN要素执行语义建模边界流程图

BPM建模

看清流程图与可执行模型的分界,掌握BPMN元素的语义边界与常见误读

按 空格/→ 演示下一步

1 / 11 页

全部页面点击任意一页,跳回舞台从这页播放

BPMN要素执行语义建模边界流程图

BPM建模

看清流程图与可执行模型的分界,掌握BPMN元素的语义边界与常见误读

1第 1 页 · BPM建模

A of ARM

BPM建模把业务流程拆解到可执行层级。在ARM框架中,A代表Activity(活动),是流程的最小执行单元,每个活动都有明确的开始和结束。

Activity定义
BPM中可执行的最小工作单元,有清晰的开始与结束边界
Activity类型
人工任务、系统任务、子流程三大类,可嵌套调用
关键属性
执行人、输入输出、触发条件、完成时限共同定义一个活动
建模边界
任务不可再分或无独立责任人时停止拆分,保持原子性
工厂流水线的工位对应 →BPM中的Activity

工位接收半成品、完成单一加工、传给下个工位,对应活动的输入—处理—输出

2第 2 页 · A of ARM

R of ARM:物理对象相关性

上一页 A of ARM 讲了活动节点。但每个活动都会处理或产出「看得见、摸得着」的东西——表单、合同、报表、原材料。这些物理对象之间存在的关联关系,就是 R 要回答的核心。

物理对象
流程中可见的文件、物品或可交付物,如合同、报表、设备
相关性类型
生成(活动产出对象)、消费(活动使用对象)、引用(多对象共享信息)
关联结构
组合(子文档归属父文档)、版本分支、跨活动共享同一资源
建模作用
揭示活动间隐含的数据/物料流,定位瓶颈与冗余节点
厨房做面包对应 →物理对象相关性

面粉→面团→面包,每步产出即下步输入,活动通过共享对象相连

R(a1,a2)Gen(a1)Use(a2)>0R(a_1, a_2) \equiv |Gen(a_1) \cap Use(a_2)| > 0
3第 3 页 · R of ARM:物理对象相关性

R of ARM:同步器回顾

R of ARM:同步器回顾:定义、要点与典型应用

R of ARM:同步器回顾
R of ARM:同步器回顾:定义、要点与典型应用
4第 4 页 · R of ARM:同步器回顾

R+M of ARM:业务逻辑

前页同步器控制了流程的『时间节奏』,物理对象相关性理清了『实体依赖』。但流程为什么走A分支而不是B?这取决于规则(R)和消息(M)的组合——这就是本节要拆的业务逻辑。

R 与 M 的组合
R定义『何时、何种条件下』触发,M定义『传递什么信息』,两者叠加才是完整业务逻辑
三大核心要素
条件依赖、数据流向、决策规则;三者缺一,逻辑链就会断裂
典型应用:动态路由
金额超阈值走总监,否则走主管——条件由R承载,表单字段由M承载
请假审批流程对应 →R+M业务逻辑

R是『超过3天需HR介入』这类条件规则,M是『请假单内容』这样的传递信息

5第 5 页 · R+M of ARM:业务逻辑

M of ARM:化简规则

上页堆叠起来的业务逻辑,往往会让一张流程图变成上百节点的毛线团。化简规则就是告诉你:哪些节点可以合并、哪些结构能折叠,让模型重新可读。

化简目标
把上百节点的复杂模型压到一眼可读,语义不丢只丢噪音
合并相邻同质活动
同一执行者连做的同类操作(如「填—核—改」三连)合成一个活动
折叠重复子流程
多次出现的同一子流程用折叠标记(⊕)代表,全局只展开一次
修剪冗余网关
单分支菱形网关、相邻序列流无合流点的网关都可直连去掉
应用边界
化简只用于展示/沟通,执行引擎仍需加载完整精细模型
城市地图 vs 街区导航图对应 →化简模型 vs 精细模型

地图不会画每扇门,化简不会画每个网关;忠实反映主干路径即够用

6第 6 页 · M of ARM:化简规则

R+M of ARM:案例语义

上一页把 R 与 M 的业务逻辑拼出来了,那是模型层面的事。现在落到一次具体的执行——也就是一个案例——它到底是怎么跑起来的?

案例标识
每个流程实例有独立 ID,所有资源与消息都归此 ID 名下
案例状态
该 ID 下的资源状态 + 待处理消息队列共同构成
案例绑定
同步器按 ID 匹配,决定一条消息归属哪个案例
案例推进
化简规则在每个案例内独立执行
案例隔离
不同案例默认互不干扰,避免串号
医院病历夹对应 →ARM 案例

一个病历夹装一位患者的所有检查、处方、缴费;一个案例装同一实例的全部资源和消息

Scase=Rlocal,Mpending,σS_{case} = \langle R_{local},\, M_{pending},\, \sigma \rangle
7第 7 页 · R+M of ARM:案例语义

R+M of ARM:管理逻辑

上一页我们讲了业务逻辑——流程里每一步「做什么」的规则。但流程真跑起来,谁来接收?超时了交给谁?这类「谁来处理、怎么流转」的问题,正是管理逻辑要回答的。

定义
管理逻辑是流程中关于任务分配、流转、升级的自动化规则
任务分配
按角色、技能、负载等把任务自动派给合适的执行者
超时升级
任务超过时限未处理,自动转给上级或备选角色
SLA与提醒
监控处理时长,到点触发提醒、预警、催办
与业务逻辑的边界
业务逻辑管「做什么」,管理逻辑管「谁来、何时流转」
快递分拣中心对应 →管理逻辑

分拣中心自己不送件,但读地址、看优先级,决定包裹上哪辆车——管理逻辑也不干业务活,只决定任务怎么流转

8第 8 页 · R+M of ARM:管理逻辑

M of ARM:BPMA

前面看过化简规则和管理逻辑——它们要成立,都得跑在一个能被数学化讨论的『流程模型』上。这个模型,就是 ARM 里 M 层所依托的 BPMA。

BPMA 定位
ARM 三元组中负责『建模+分析』的支柱,给出可被形式化操作的语义底座
三大构件
控制流、数据、资源视图三者交织,才能完整刻画一个业务流程
形式化基础
基于图重写与状态迁移,支持等价变换、死锁检测、化简证明
典型应用
合规审计、自动化挖掘、变更影响分析、SLA 性能反推
建筑蓝图对应 →BPMA

A 是承重结构、R 是机电管线,BPMA 把整套工程变成可审查、可计算、可施工的总图

9第 9 页 · M of ARM:BPMA

本节要点

  • ARM 把流程拆成 A/R/M:谁触发、按什么规则、模型结构是什么
  • 同一物理对象的不同实例,是流程分支的天然切分点
  • 同步器=多输入汇聚触发,是规则层的两类基本算子之一
  • 化简规则保证:敢画复杂图,必能等价压缩回最小表达
  • 业务逻辑讲"做什么",管理逻辑讲"谁做、能否做"——别混
延伸主题:ARIS / BPMN 与 ARM 的映射用 BPMA 做合规审计与流程挖掘落地到 Camunda 等工作流引擎的差异
10第 10 页 · 本节要点

课后思考

先自己想,再对照参考答案,体会思考路径。

1为什么 ARM 要把职责拆给 A 和 R 两层?

参考答案A 承担「谁来做」的意图,R 承担「借助什么做」的能力。拆开后改派工或换工具时各层独立变化,模型更稳。

2自助和人工客服混合的服务流程,用 ARM 该怎么画?

参考答案两个 A:客户与客服;同一 R:业务系统。自助路径调 R 完成订单,异常分支由客服接管,M 决定何时转人工。

3用 ARM 的化简规则审视已有 BPM 图,能揪出什么?

参考答案可揪出隐含 A(谁实际在做)、错位 R(把流程节点当资源)、漏掉的同步器(谁等谁)、可合并的多余环节。

11第 11 页 · 课后思考