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