解决变化问题的自底向上解决变化问题的自底向上流程建模方法流程建模方法严志民徐玮2024/7/26DART2提纲n研究动机n基本思路nDART方法n总结2024/7/26DART3n杭州市商品房预（销）售审批（CAPA）涉及多个业务活动环节跨多个业务单位及部门处理复杂的业务逻辑业务流程多样且不断变化研究动机-杭房例子2024/7/26DART42024/7/26DART5n存在问题业务流程模型层次未明确分解单纯过程性的描述存在缺陷缺乏支持动态变化管理的机制多业务交叉2024/7/26DART62024/7/26DART7nDART自底向上基于数据为中心nArtifact-centric说明性的建模方法基本思路2024/7/26DART8nDART工作流要素Artifact仓库活动（起、止）业务策略DART方法2024/7/26DART9nArtifacts预售审批单(PFA)房屋楼盘表(BL)物业用房缴交确认单(PMHF)拆迁安置用房核查单(RHF).2024/7/26DART10nArtifact的属性预售审批单(PFA)nid： intndeveloperName： stringnprojectName： stringnfee： floatnpreComment：booleann.nbuildingList：BL2024/7/26DART11nArtifacts的生命周期DFA2024/7/26DART12n仓库同一个Artifact不同的仓库反应了Artifact生命周期上的不同状态。n活动处理Artifacts2024/7/26DART13n业务策略业务处理规则服务的最小执行条件活动在工作流中的执行约束n业务处理规则IF THEN execute activity t(x1,.,x,y1,.,yk), orIF THEN change artifact state to .q2024/7/26DART14n服务最小执行条件invoke service s REQUIRE n活动约束条件execute activity t REQUIRE 2024/7/26DART152024/7/26DART16nDART工作流的执行执行语义：多artifacts生命周期组合（LTS）2024/7/26DART17nDART执行引擎框架2024/7/26DART18总结2024/7/26DART19服务约束业务规则活动约束2024/7/26DART20