基于Petri网Behavior Inclusion的业务流程变化域融合分析 被引量：15

1

作者 方贤文 赵芳 +1 位作者 方欢 刘祥伟 《计算机学报》 EI CSCD 北大核心 2018年第3期695-708,共14页

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

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

在线阅读 下载PDF 职称材料

流程树切挖掘业务流程隐变迁的方法 被引量：4

2

作者 刘红 方贤文 刘祥伟 《计算机工程与应用》 CSCD 北大核心 2017年第22期222-226,共5页

隐变迁是指存在于事件日志中的不频繁行为,从流程模型中挖掘出隐变迁,提高流程运行效率和服务质量显得尤为重要。已有的方法大部分基于业务流程序列进行分析,但很少考虑跨序列间的关系,因此对挖掘业务流程隐变迁有一定的影响。提出流程... 隐变迁是指存在于事件日志中的不频繁行为,从流程模型中挖掘出隐变迁,提高流程运行效率和服务质量显得尤为重要。已有的方法大部分基于业务流程序列进行分析,但很少考虑跨序列间的关系,因此对挖掘业务流程隐变迁有一定的影响。提出流程树切挖掘业务流程隐变迁的方法,首先根据发生频数较高的日志序列得到初始模型,再根据流程树切预处理事件日志,把日志活动关系与初始模型关系进行对比,找到存在变化的区域,挖掘可能存在的隐变迁,通过评价指标判定带隐变迁的模型是最优模型,最后实例分析验证该方法的有效性。 展开更多

关键词 流程树切 隐变迁 过程挖掘 PETRI网

在线阅读 下载PDF 职称材料

基于配置变迁的业务流程模型优化分析方法 被引量：3

3

作者 刘红 刘祥伟 王丽丽 《计算机科学》 CSCD 北大核心 2016年第S2期509-512,共4页

为了灵活适应市场需求,业务流程模型的优化分析显得越来越重要。已有的方法大部分基于静态定位变化区域,进而对该区域进行优化,具有一定的局限性。基于Petri网的方法和行为轮廓的思想从行为角度来动态分析业务流程中的变化部分,利用日... 为了灵活适应市场需求,业务流程模型的优化分析显得越来越重要。已有的方法大部分基于静态定位变化区域,进而对该区域进行优化,具有一定的局限性。基于Petri网的方法和行为轮廓的思想从行为角度来动态分析业务流程中的变化部分,利用日志与模型的匹配关系以及动态定位来确定模型中的变化域,考虑接口部分,利用适合度和行为适当性,通过配置变迁优化模型,然后利用行为轮廓一致性度判定最优模型,最后用实例验证该方法的可行性。 展开更多

关键词 配置变迁 模型定位移动 优化分析 匹配 接口变迁 PETRI网

在线阅读 下载PDF 职称材料

基于微分Petri网的业务流程模块适配方法 被引量：3

4

作者 方贤文 陶小燕 刘祥伟 《电子学报》 EI CAS CSCD 北大核心 2017年第4期777-781,共5页

为适应业务流程多功能及动态变化的需求,用模块替换的方法对业务流程建模是解决问题的快速有效途径之一.以开放Petri网与微分Petri网为基础,提出了微分控制Petri网和微分数据Petri网的概念,分别从语义学角度利用微分Petri网的演化表达... 为适应业务流程多功能及动态变化的需求,用模块替换的方法对业务流程建模是解决问题的快速有效途径之一.以开放Petri网与微分Petri网为基础,提出了微分控制Petri网和微分数据Petri网的概念,分别从语义学角度利用微分Petri网的演化表达式对模型的控制流网与数据流网进行活性检测,利用微分Petri网对替换模块及其离散部分与连续部分进行结构稳定性分析,以达到业务流程模块适配分析.理论分析结果表明,所建立的微分表达式能够反映模型活性与稳定性,模块适配效果较好.最后基于平台数据进行仿真分析,实验结果表明本文所提的方法有一定的可行性. 展开更多

关键词 微分Petri网 控制流 数据流 模块适配

在线阅读 下载PDF 职称材料

Petri网多重变迁集的行为轮廓一致性分析 被引量：4

5

作者 王咪咪 方贤文 《计算机工程与设计》 CSCD 北大核心 2013年第3期935-938,共4页

为有效解决业务流程模型中出现的重复活动的行为轮廓一致性问题,提出了一种基于Petri网多重变迁集的行为一致性测量方法。在多重变迁集的基础上,分析了模型行为轮廓中变迁的3种弱序关系,提出了一种考虑一致匹配变迁对与匹配变迁对的比... 为有效解决业务流程模型中出现的重复活动的行为轮廓一致性问题,提出了一种基于Petri网多重变迁集的行为一致性测量方法。在多重变迁集的基础上,分析了模型行为轮廓中变迁的3种弱序关系,提出了一种考虑一致匹配变迁对与匹配变迁对的比值的测量方法,测量了包含重复活动的模型间的行为轮廓一致性服从度。通过理论和实例分析表明了该方法的有效性。 展开更多

关键词 PETRI网 行为关系 行为轮廓 多重变迁集 一致性

在线阅读 下载PDF 职称材料

基于模态Petri网的行为有效区间寻找最优路径的方法 被引量：1

6

作者 方贤文 陶小燕 刘祥伟 《计算机科学》 CSCD 北大核心 2014年第7期91-96,共6页

为满足客户需求,在行为约束下的业务流程中寻找行为执行的最优路径具有一定的实际意义。已有的研究是建立在静态分析基础上,通过优化算法或是行为分析来寻找最优执行路径,忽略了行为约束条件对执行行为有效性的影响,所得结果具有一定的... 为满足客户需求,在行为约束下的业务流程中寻找行为执行的最优路径具有一定的实际意义。已有的研究是建立在静态分析基础上,通过优化算法或是行为分析来寻找最优执行路径,忽略了行为约束条件对执行行为有效性的影响,所得结果具有一定的局限性。文中在已有方法的基础上,利用Petri网行为轮廓序关系描述约束条件并确定行为有效区间,提出了基于模态Petri网分支有效区间的业务流程最优路径选择方法。该方法以行为有效区间替代已有的固定值方法,以便更好地描述业务流程的行为约束以及约束下的有效行为。通过一个具体的业务流程分析实例分析了该方法的有效性。 展开更多

关键词 行为轮廓 分支有效区间 行为约束 最优路径

在线阅读 下载PDF 职称材料

基于Petri网行为包含和行为继承的业务流程变化域传播分析

7

作者 方贤文 赵芳 +1 位作者 刘祥伟 方欢 《计算机科学》 CSCD 北大核心 2016年第11期36-39,共4页

业务流程建模问题一直是业务流程管理的核心问题,其目的是为了灵活地适应变化的商务需求,但在建模过程中也会出现一系列的问题,有些模型之间甚至存在着相同的问题,因此会出现变化域传播的现象。已有的方法主要是从边界变迁的减少和内部... 业务流程建模问题一直是业务流程管理的核心问题,其目的是为了灵活地适应变化的商务需求,但在建模过程中也会出现一系列的问题,有些模型之间甚至存在着相同的问题,因此会出现变化域传播的现象。已有的方法主要是从边界变迁的减少和内部边界变迁的减少来分析模型的变化域传播,因而具有一定的局限性。为了研究模型间的变化域传播问题,基于源模型和目标模型之间存在的迹等价及行为包含关系,通过给定源模型的变化域,提出了基于行为继承的变化域传播分析方法来寻找目标模型的变化域。最后,通过一个具体的流程实例进一步说明了该方法的可行性。 展开更多

关键词 变化域传播 迹等价 行为包含 行为继承

在线阅读 下载PDF 职称材料

基于Petri网的流程模型中最小变化域的分析方法 被引量：7

8

作者 郝文君 方贤文 《计算机科学》 CSCD 北大核心 2012年第S3期76-78,98,共4页

为了灵活适应市场业务需求变化,确定业务流程中的变化部分成为业务流程管理的核心问题。已有的研究都是建立在静态的分析基础上,通过给定的变化节点来搜索变化范围,具有一定的局限性。基于Petri网方法及行为轮廓思想对业务流程模型进行... 为了灵活适应市场业务需求变化,确定业务流程中的变化部分成为业务流程管理的核心问题。已有的研究都是建立在静态的分析基础上,通过给定的变化节点来搜索变化范围,具有一定的局限性。基于Petri网方法及行为轮廓思想对业务流程模型进行分析,从动态行为角度分别给出了寻找流程模型中的行为变化部分的方法,以及确定流程模型中最小变化域的分析方法。并给出一个具体的业务流程的实例,分析了该方法的有效性。 展开更多

关键词 流程模型 PETRI网 行为轮廓 变化域

在线阅读 下载PDF 职称材料

融合特征网与模块网的业务过程挖掘 被引量：1

9

作者 程腾腾 方贤文 +1 位作者 王丽丽 刘祥伟 《计算机工程与应用》 CSCD 北大核心 2017年第20期237-242,共6页

过程挖掘目的是通过分析由信息系统记录的日志得出的过程模型,从而改善和维护业务流程。目前,许多业务流程都以模块化的方式进行交互。虽然很多过程挖掘算法已经被提出来,不过对于处理多模块还有一定的局限性。提出了基于特征网与模块... 过程挖掘目的是通过分析由信息系统记录的日志得出的过程模型,从而改善和维护业务流程。目前,许多业务流程都以模块化的方式进行交互。虽然很多过程挖掘算法已经被提出来,不过对于处理多模块还有一定的局限性。提出了基于特征网与模块网的挖掘算法,根据日志将特征分为不同模块;在此基础上,分别求出模块间特征交互的特征网与模块内的特征交互模块网;将两者根据提出的融合算法进行融合,得到完整的过程模型。通过一个用户网上购物的实例说明了该算法的可行性。 展开更多

关键词 PETRI网 过程挖掘 过程发现 业务流程

在线阅读 下载PDF 职称材料

基于拟间接依赖的过程模型挖掘方法 被引量：1

10

作者 化佩 方贤文 刘祥伟 《计算机科学》 CSCD 北大核心 2016年第11期94-97,共4页

过程挖掘旨在从信息系统所记录的事件日志中挖掘出人们需要的且合理的过程模型,从而有助于改善或重建业务流程。以往的方法大多是根据任务间的直接依赖关系构建过程模型,具有很大的局限性。现存的过程挖掘方法中,虽然有能挖掘间接依赖... 过程挖掘旨在从信息系统所记录的事件日志中挖掘出人们需要的且合理的过程模型,从而有助于改善或重建业务流程。以往的方法大多是根据任务间的直接依赖关系构建过程模型,具有很大的局限性。现存的过程挖掘方法中,虽然有能挖掘间接依赖的方法,其却没有从过程行为的角度进行分析。基于拟间接依赖的过程模型挖掘方法,把行为轮廓融入其中,依据行为轮廓建立初始模型;然后基于增量日志和拟间接依赖关系调整模型;最后根据评价标准选出最优模型。此方法特别适用于挖掘含有间接依赖的过程模型。 展开更多

关键词 过程挖掘 行为轮廓 事件日志 拟间接依赖关系

在线阅读 下载PDF 职称材料

基于OPN的环境约束下Web服务组合正确性分析

11

作者 高新 方贤文 许志才 《计算机工程与设计》 CSCD 北大核心 2012年第4期1437-1441,共5页

为了研究环境约束下Web服务组合的正确性,提出Web服务域和Web环境域的概念,并使用开放Petri网对Web服务域和Web环境域进行建模。通过分析Web环境域模型与Web服务域模型组合后的交互行为情况,给出了二者可组合的前提条件以及组合后的正... 为了研究环境约束下Web服务组合的正确性,提出Web服务域和Web环境域的概念,并使用开放Petri网对Web服务域和Web环境域进行建模。通过分析Web环境域模型与Web服务域模型组合后的交互行为情况,给出了二者可组合的前提条件以及组合后的正确性判定算法,从而实现在环境约束下Web服务组合的正确性分析和判定。最后通过具体实例结果表明了该方法的有效性。 展开更多

关键词 开放Petri网 环境约束 WEB服务组合 合理性 正确性

在线阅读 下载PDF 职称材料

基于行为片段模式的流程模型Petri网交互变化区域的责任分析

12

作者 杨艳 方贤文 刘祥伟 《计算机科学》 CSCD 北大核心 2014年第7期77-80,85,共5页

对Petri网模型交互后的变化区域的责任分析,是模型交互一致性和兼容性研究的一个重要问题。已有的关于变化区域的研究只涉及到寻找变化区域的方法,对于引起变化区域的责任分析并没有做更多研究。给出了责任的定义,结合行为片段模式的概... 对Petri网模型交互后的变化区域的责任分析,是模型交互一致性和兼容性研究的一个重要问题。已有的关于变化区域的研究只涉及到寻找变化区域的方法,对于引起变化区域的责任分析并没有做更多研究。给出了责任的定义,结合行为片段模式的概念,从动态的角度,提出一种基于行为片段模式来分析判断变化区域的责任方的方法,并通过实例分析验证了该方法的有效性。 展开更多

关键词 PETRI网 交互 行为片段模式 责任

在线阅读 下载PDF 职称材料

基于接口变迁的交互流程模型挖掘方法

13

作者 翟鹏珺 方贤文 刘祥伟 《计算机科学》 CSCD 北大核心 2018年第3期317-321,共5页

流程模型挖掘是基于系统运行记录下的事件日志来还原特征对应流程模型的技术。目前已有的挖掘方法多是基于由系统分解出的不同模块之间交互频繁且模块包含特征较少的场景。在挖掘包含较多特征、交互不频繁的流程模型方面,目前的方法存... 流程模型挖掘是基于系统运行记录下的事件日志来还原特征对应流程模型的技术。目前已有的挖掘方法多是基于由系统分解出的不同模块之间交互频繁且模块包含特征较少的场景。在挖掘包含较多特征、交互不频繁的流程模型方面,目前的方法存在一定的局限性。鉴于此,文中提出了基于接口变迁的交互流程模型挖掘方法。首先,利用现有的挖掘方法来挖掘模块内部的特征序,确定初始模块网;其次,遍历事件日志以查找疑似接口变迁;然后,通过挖掘特征网来确定接口变迁,并对接口变迁增加接口库所;最后,基于开放Petri网,利用合成网的观点将交互模块合成为一个完善的流程模型Petri网。通过实例分析,验证了该挖掘方法的有效性。 展开更多

关键词 流程模型挖掘 日志特征 模块网 接口变迁 特征网

在线阅读 下载PDF 职称材料