解决变化问题的自底向上 流程建模方法 严志民 徐玮
提纲 研究动机 基本思路 DART方法 总结 2019/4/9 DART
研究动机-杭房例子 杭州市商品房预（销）售审批（CAPA） 涉及多个业务活动环节 跨多个业务单位及部门 处理复杂的业务逻辑 业务流程多样且不断变化 2019/4/9 DART
2019/4/9 DART
2019/4/9 DART
存在问题 业务流程模型层次未明确分解 单纯过程性的描述存在缺陷 缺乏支持动态变化管理的机制 多业务交叉 2019/4/9 DART
基本思路 DART 自底向上 基于数据为中心 Artifact-centric 说明性的建模方法 2019/4/9 DART
DART方法 DART工作流要素 Artifact 仓库 活动（起、止） 业务策略 2019/4/9 DART
Artifacts 预售审批单(PFA) 房屋楼盘表(BL) 物业用房缴交确认单(PMHF) 拆迁安置用房核查单(RHF) ... 2019/4/9 DART
Artifact的属性 预售审批单(PFA){ id： int developerName： string projectName： string fee： float preComment：boolean ... buildingList：BL} 2019/4/9 DART
Artifacts的生命周期 DFA 2019/4/9 DART
仓库 活动 同一个Artifact不同的仓库反应了Artifact生命周期上 的不同状态。 处理Artifacts 2019/4/9 DART
业务策略 业务处理规则 服务的最小执行条件 活动在工作流中的执行约束 2019/4/9 DART
业务处理规则 IF Φ THEN execute activity t(x1,...,xℓ,y1,...,yk), or IF Φ THEN change artifact state to .q 2019/4/9 DART
服务最小执行条件 活动约束条件 invoke service s REQUIRE Φ execute activity t REQUIRE Φ 2019/4/9 DART
2019/4/9 DART
DART工作流的执行 执行语义： 多artifacts生命周期组合（LTS） 2019/4/9 DART
DART执行引擎框架 2019/4/9 DART
总结 服务约束 活动约束 业务规则 2019/4/9 DART
Thanks & Questions 2019/4/9 DART