文献类型：期刊文章

作　　者：方贤文[1,2] 赵芳[2] 方欢[1] 刘祥伟[1]

机构地区：[1]安徽理工大学信息与计算科学系,安徽淮南232001 [2]同济大学计算机科学系,上海201804

出　　处：《计算机学报》

基　　金：国家自然科学基金(61572035;61272153;61402011);安徽省自然科学基金(1508085MF111;1608085QF149);安徽省高校自然科学基金重点项目(KJ2016A208);安徽省学术和技术带头人资助项目(DG119);安徽省优秀青年人才项目等资助

年　　份：2018

卷　　号：41

期　　号：3

起止页码：695-708

语　　种：中文

收录情况：BDHX、BDHX2017、CSA、CSA-PROQEUST、CSCD、CSCD2017_2018、EI、IC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：业务流程的变化域是潜在的、易导致系统出现非一致性的区域,从流程模型变化域的角度来分析业务系统可信性,也是解决业务系统可信管理的关键点之一.已有的研究大多数针对业务流程的控制流进行变化域分析,或将控制流与数据流进行交互分析,很少注意到两种流程交互时的行为包含关系及其影响.文中基于业务流程模型存在控制流和数据流,提出了基于Petri网Behavior inclusion的业务流程变化域融合分析方法,分别研究了业务流程控制流Petri网模型的变化域和数据流Petri网模型的变化域,并依据Behavior inclusion关系,确定了目标模型融合网的最终变化域.另外,对于存在沉默变迁的网提供了紧密度算法,分析业务流程控制流网、数据流网和融合网间的紧密度,以确定控制流模型或数据流模型对融合网变化域的影响程度.最后通过具体的实例分析与仿真实验,验证了该方法的有效性.

关 键 词：变化域  BEHAVIOR INCLUSION 融合网  沉默变迁  紧密度  

分 类 号：TP393]