业务过程模型检索与重构(1).pptxVIP

金涛;提纲;业务过程管理技术应用广泛;业务过程模型数据日益增多;; EPC、BPMN、BPEL、YAWL、Petri net、JPDL、XPDL、…… 假设1——模型基于图 (存在基于规则的模型) 假设2——所有模型均由或者转化为workflow net表示 ;研究问题一;;模型检索分类;问题 子图匹配算法为NPC问题 基于最大公共子图的相似度计算为NPC问题 ;问题 行为的计算复杂度高; Filtering-verification framework 索引用于过滤 减少复杂计算次数 索引元素的选取 索引元素的快速提取 基于索引的查询处理; 有向图，唯一的源点和终点，边不带标签，变迁结点带标签（任意长度字符串） Label多，频繁子图少 需要考虑label的相似性 具有行为语义;W(l): l中单词个数 SCW(l1,l2): l1中单词能在l2中找到同义词的个数 可替换为其他基于term的相似性度量;业务过程模型样本特征;DG(114);SAP(591);TC(123); 用户决定是否考虑label相似性 用户在查询处理过程决定label相似度阈值 Filtering：扩展查询条件 Verfication：结合label相似性 构造独立于其它索引的label索引;;1.1 基于结构的精确检索;示例;查询处理;Evaluation;;;1.2 基于结构的相似检索;基于最大公共边子图的相似度计算; 任务边索引 任务边和模型之间的映射 查询处理 Filtering 从查询对象中抽取任务边 得到候选模型集合 Refinement 计算候选模型和查询对象模型之间的相似度值;Filtering;Refinement;;;1.3 基于行为的精确检索;行为的计算;; 基于ordering relations causal conflict concurrency;行为计算性能比较;; 给定一个模型，如何快速检索出与之行为相似的模型?; 采用TAR相似度 Haiping Zha, Jianmin Wang, Lijie Wen, Chaokun Wang, Jiaguang Sun: A workflow net similarity measure based on transition adjacency relations. Computers in Industry (CII) 61(5):463-471 (2010) 问题 计算性能不好 基于可达图，存在状态空间爆炸问题 新方案 使用Unfolding技术 Javier Esparza, Stefan R?mer, Walter Vogler: An Improvement of McMillans Unfolding Algorithm. Formal Methods in System Design (FMSD) 20(3):285-310 (2002);TAR计算;;查询处理;Implemented System;TAR计算性能比较;;小结;研究问题二;问题; 基于模型执行实例中一个任务的出现是否一定伴有另一个任务的出现 充分必要因果关系t1=t2任意一个包含t1的实例中必包含t2满足t1-t2。任意一个包含t2的实例中必包含t1满足t1-t2。 必要不充分因果关系t1=|t2包含t1的实例中可能包含t2满足t1-t2。任意一个包含t2的实例中一定包含t1满足t1-t2。 充分不必要因果关系t1|=t2任意一个包含t1的实例中必然包含t2满足t1-t2。包含t2的实例中可能包含t1满足t1-t2。 既不充分也不必要因果关系t1|=|t2包含t1的实例中可能存在t2满足t1-t2。包含t2的实例中可能存在t1满足t1-t2。;基于Mcmillan改进算法; 基于完全有限前缀 遍历库所判定前驱、后继事件的因果关系 根据库所类别区别对待（截断库所、通信库所、一般库所） 截断处理 不紧邻事件因果关系的传递 共计16个传递性规则;并行关系的分类;;;;遍历库所 1|=3, 3=4 截断处理 2|=3 因果传递 1|=4, 2|=4;小结;研究问题三;问题;前提假设;解决方案;Extract task relations;Analyze data operation dependence;Update task relations;Refactor model;Refactor model;有效性;随机生成模型;有效性;效率;小结;总结;已发表论文;;处理中论文;