过程模型行为相似性度量研究讲解.pptx

过程模型行为相似性度量研究;内容提纲;;;过程模型检索;过程模型相似性度量;;当前研究中存在的问题;研究的思路;工作一： 基于变迁邻接关系的WF-net行为相似性度量;基于过程模型行为;Related Work;Related Work;变迁邻接关系集行为相似性度量;对应的距离度量及其性质;对比实验分析;模型的查询和聚类;;基于样例的过程模型查询;基于距离度量的过程模型聚类分析;TAR集基于可达图的产生算法;并发任务对TAR集产生时间的影响;TAR集模型替代算法;;工作二：变迁标记方案无关的WF-net行为相似性度量; 问题的提出;Related Work;Related Work;;;对比实验;近似算法评估;;工作三：过程模型到工作流网的转换;问题的提出;问题的提出;研究的现状;研究的目标;过程模型转换的一般步骤;案例一：TiPLM过程模型合理性验证;两阶段转换方法;;;案例二：XPDL过程模型相似性度量;;Haiping Zha, Wil M.P. van der Aalst, Jianmin Wang, Lijie Wen, Jiaguang Sun. Verifying Workflow Processes: A Transformation-Based Approach. Accepted by Software and Systems Modeling, Jan 2010. (In press, /index/e2j251801241487q.pdf) （SCI源） Haiping Zha, Yun Yang, JianminWang, LijieWen. Transforming XPDL to Petri Nets. BPM 2007 Workshops, LNCS 4928: 195-205, Brisbane, Australia, 2007. （EI 检索号: 20081111150504.） ;工作四：系统设计与实现;BeehiveZ 1.0系统用例图;系统结构;;;在读期间的工作成果;发表或已录用的论文;参与的工作和科研项目;获得奖励;谢谢！