解决变化问题的自底向上 流程建模方法 严志民 徐玮.

Presentation on theme: "解决变化问题的自底向上 流程建模方法 严志民 徐玮."— Presentation transcript:

1 解决变化问题的自底向上 流程建模方法 严志民 徐玮

2 提纲 研究动机 基本思路 DART方法 总结 2019/4/9 DART

3 研究动机-杭房例子 杭州市商品房预（销）售审批（CAPA） 涉及多个业务活动环节 跨多个业务单位及部门 处理复杂的业务逻辑
业务流程多样且不断变化 2019/4/9 DART

4 2019/4/9 DART

5 2019/4/9 DART

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

7 基本思路 DART 自底向上 基于数据为中心 Artifact-centric 说明性的建模方法 2019/4/9 DART

8 DART方法 DART工作流要素 Artifact 仓库 活动（起、止） 业务策略 2019/4/9 DART

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

10 Artifact的属性 预售审批单(PFA){ id： int developerName： string
projectName： string fee： float preComment：boolean ... buildingList：BL} 2019/4/9 DART

11 Artifacts的生命周期 DFA 2019/4/9 DART

12 仓库 活动 同一个Artifact不同的仓库反应了Artifact生命周期上 的不同状态。 处理Artifacts 2019/4/9
DART

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

14 业务处理规则 IF Φ THEN execute activity t(x1,...,xℓ,y1,...,yk), or
IF Φ THEN change artifact  state to .q 2019/4/9 DART

15 服务最小执行条件 活动约束条件 invoke service s REQUIRE Φ
execute activity t REQUIRE Φ 2019/4/9 DART

16 2019/4/9 DART

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

18 DART执行引擎框架 2019/4/9 DART

19 总结 服务约束 活动约束 业务规则 2019/4/9 DART

20 Thanks & Questions 2019/4/9 DART