解决变化问题的自底向上流程建模方法

严志民徐玮

23/4/21 DART 2

提纲提纲

研究动机 基本思路 DART方法 总结

23/4/21 DART 3

杭州市商品房预（销）售审批（ CAPA） 涉及多个业务活动环节 跨多个业务单位及部门 处理复杂的业务逻辑 业务流程多样且不断变化

研究动机研究动机 -- 杭房例子杭房例子

23/4/21 DART 4

房产预测绘 房产竣工测绘测绘关联

房产预测绘成果审核入库

网上预售证申办

B商品房房号审核

预售管理部门预售证审批

A拆迁安置用房核查

C物业用房审批确认

D物业维修资金缴交审批

测绘机构

房管局测绘管理部门

房地产开发企业

房产实测绘成果审核入库

市场处打证发证

转现业务申办

产权初始登记审批

产权制证、发证

测绘变更

预售证网上公示

预售合同签订 销售合同签订交接书签订

预（销）售信息网上公示

图 例:

转现业务

房管局内部业务

房地产开发企业

网站

网站

流程结束

预转现

资料归档 资料归档

申请(预)测绘房地产开发企业

任务

业务并行、协同审批

测绘申请表 测绘申请表

楼盘表(BL)测绘成果(SR)

楼盘表(BL)测绘成果(SR)

BLCR

BLCR

BL、CR预售审批单(PAF)

BL、CR销售审批单(PAF)

拆迁安置用房核查单 (RHF)

BLPAF

物业用房确认单(PMHF)

物业资金缴交单(PFHF)

RHF, BL, PAF, PMHF, PFHF

RHF, BL, PAF, PMHF, PFHF

BL, PAF, 预售证(PP), 电子档案(EDOC)

BL, PP BL, PP

PP, BL, Con PP, BL, Con

预售业务数据对象 数据对象

23/4/21 DART 5

预售证受理 初审 复审 公示 制证/发证预售证办理申请

终审/签批 收费

预售证受理/ 初审/ 复审

公示制证/发证/

收费终审/签批

预售证办理申请

CAPA1

CAPA2

预售证受理/ 初审

制证/发证终审/签批复审/收费CAPA3

a0

a0

a1

a1-a2-a3

a1-a2

a2 a3

a3-a5

a4

a4

a4

a5 a7

a7

a6

a5-a6

a6

预售证受理 初审 复审 收费 制证/发证预售证办理申请

终审/签批CAPA0a0 a1 a2 a3 a4 a5 a6

存在问题 业务流程模型层次未明确分解 单纯过程性的描述存在缺陷 缺乏支持动态变化管理的机制 多业务交叉

23/4/21 DART 6

23/4/21 DART 7

DART 自底向上 基于数据为中心

Artifact-centric 说明性的建模方法

基本思路基本思路

23/4/21 DART 8

DART工作流要素 Artifact 仓库 活动（起、止） 业务策略

DARTDART 方法方法

23/4/21 DART 9

Artifacts 预售审批单 (PFA) 房屋楼盘表 (BL) 物业用房缴交确认单 (PMHF) 拆迁安置用房核查单 (RHF) ...

23/4/21 DART 10

Artifact的属性 预售审批单 (PFA){

id： int developerName： string projectName： string fee： float preComment： boolean ... buildingList： BL}

23/4/21 DART 11

Artifacts的生命周期 DFA

s1

a1 a4a2 s4

a3s2a5s3

s5

a6 a12a8 s8

a11s6a10s7

a7

a9

s9

a13a15 s10

a14

s11

a16a18 s12

a17

(a) BL状态转换图

(b) PAF状态转换图

(c) PMHF状态转换图

(d) RHF状态转换图

23/4/21 DART 12

仓库 同一个 Artifact不同的仓库反应了 Artifact生命周期上

的不同状态。

活动 处理 Artifacts

23/4/21 DART 13

业务策略 业务处理规则 服务的最小执行条件 活动在工作流中的执行约束

业务处理规则 IF Φ THEN execute activity t(x1,...,xℓ,y1,...,yk),

or IF Φ THEN change artifact state to .q

23/4/21 DART 14

服务最小执行条件 invoke service s REQUIRE Φ

活动约束条件 execute activity t REQUIRE Φ

23/4/21 DART 15

23/4/21 DART 16

业务库

档案库

填写确认申请单位和委托人

房屋审核

物业用房缴交核查

核对三证等信息

预售相关限制核查

拆迁安置用房确认

填写受理审批意见

业务规则库

Rb1Pc1-Pc2Rc1-Rc3

Pc3、Pc9Rd1-Rd3、Rc4

Pc1-Pc3、Pc6Re1-Re3

Pc1-Pc3、Pc7Rf1-Rf2

业务规则：Rc1 在建工程抵押房屋不允许预售Rc2 查封房屋不允许预售Rc3 冻结房源不允许预售Rc4 社区房不允许预售Re1 是否存在物业用房Re2 缴交物业用房是否与建设规划许可证 的幢对应、对应房号是否一致Re3 缴交物业用房总建筑面积是否 >= 规划许可证中需缴幢总建筑面积

Repeating ActionRepository

Read onlyLegend： Artifact ArtifactsWrite (push) 活动

Rg1 前面所有规则符合，审批通过，否则驳回Rg2 终审或签发后，数据正式入库，产生预售证Rg3 终审前必须有受理；Rg4 物业用房和安置用房必须在终审前完成……

·物业用房缴交确认单

·申请单位/ 房地产开发企业·委托经办人

扫描收件资料并存档

·审批意见·预售证

预售许可证信息公示

·拆迁安置用房确认单

收费

Rg1-Rg2

Rh1 所有规则符合，终审通过Rh2 非经济租赁房Rh3 30元/套……

Pc8Rh1－Rh3Rh1、

Rh4、Rh5

预售面积核准Pc3-Pc5Rd4-Rd6

最小执行条件：

Pc3 预测绘成果备案入库Pc4 预售房屋属性状态类别属性明确Pc5 符合规划许可、施工许可、土地使用许可……

Pc1-c12

·建设工程规划许可证等三证信息

·查封抵押等限制信息

·测绘成果·楼盘表

·测绘成果·楼盘表

·审批意见·预售证

业务约束：

· EDoc

·测绘成果·楼盘表

Read/Write

DART 工作流的执行 执行语义： 多 artifacts生命周期组合（ LTS）

23/4/21 DART 17

s1 c1, t1 s2

DART 执行引擎框架

23/4/21 DART 18

FlowController

Pre-conditions Rules Constraints

φ r c

Database

DataController

Flow Control ler:1. 调用服务2. 控制流转

Data Control ler： 1. InMsg2. OutMsg3. 工单实例化

Pol i cy Center：1、管理策略2、调用策略

DART Pol i cy Center

Acti vi t i es

Artifacts

listener

φ r c

Artifacts

总结总结

23/4/21 DART 19

Service 1 t2

t3

t4

…...

tn

t0 s1s2

s3...

s0

sn

服务约束

业务规则

活动约束

23/4/21 DART 20