期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
基于信息熵的无标日志划分评价方法 认领 被引量:1
1
作者 雷蕾 杨良 +2 位作者 闻立杰 周华 王建民 《计算机集成制造系统》 EI CSCD 北大核心 2020年第6期1483-1491,共9页
为提升模型发现的质量,可以利用日志划分将原始日志数据划分为多个子日志。现有日志划分的评价方法基本采用有标的方式来衡量划分的质量,而实际生活中很难获取到有标的日志数据。为此,提出划分熵作为无标日志划分的衡量标准。首先,定义... 为提升模型发现的质量,可以利用日志划分将原始日志数据划分为多个子日志。现有日志划分的评价方法基本采用有标的方式来衡量划分的质量,而实际生活中很难获取到有标的日志数据。为此,提出划分熵作为无标日志划分的衡量标准。首先,定义轨迹变体用于刻画每个子日志的分布情况。其次,提出内部熵和外部熵来分别刻画子日志的内聚度和差异性。然后,利用惩罚因子对盲目迎合评价指标的划分方法进行惩罚。最后,将以上内容进行融合,形成划分熵的表达式。实验结果表明了所提方法的可行性。 展开更多
关键词 过程挖掘 日志划分 信息熵 轨迹聚类
在线阅读 下载PDF
参与组织需求与协同业务过程一致性验证方法 认领
2
作者 莫启 代飞 +5 位作者 朱锐 笪建 郑明 李彤 雷蕾 戴翼超 《计算机集成制造系统》 EI CSCD 北大核心 2018年第7期1608-1620,共13页
为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建... 为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建协同业务过程方法,并定义其执行语义以支持需求一致性验证;最后,基于模型检测技术提出需求一致性验证框架,实现需求一致性自动验证。通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的典型工作,所提方法能够更加有效地支持需求一致性验证。 展开更多
关键词 参与组织需求 协同业务过程 一致性 模型检测 迹等价
在线阅读 下载PDF
正确性保证的私有过程建模方法 认领 被引量:1
3
作者 莫启 笪建 +3 位作者 代飞 朱锐 雷蕾 李彤 《电子学报》 EI CAS CSCD 北大核心 2018年第10期2551-2560,共10页
私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各... 私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各自的精化规则,并以此为基础提出了私有过程构建方法;最后,从理论上证明了通过该方法建立的私有过程具有工作流网特性且是正确的.通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的工作,本文方法能够更加有效地对私有过程进行建模. 展开更多
关键词 私有过程 基本块 精化规则 接口一致性 正确性
在线阅读 免费下载
一种基于代数语义的软件体系结构求精方法 认领
4
作者 雷蕾 周华 +3 位作者 代飞 何臻力 沈勇 康洪炜 《计算机科学》 CSCD 北大核心 2017年第7期141-146,共6页
软件体系结构是引导需求到实现的桥梁,目前在软件体系结构建模方法中主要分为形式化和非形式化两种。针对大型分布式系统的体系结构采用Petri网进行建模,兼顾了可视化操作和形式化的准确性,同时利用细化求精操作建立体系结构的层次模型... 软件体系结构是引导需求到实现的桥梁,目前在软件体系结构建模方法中主要分为形式化和非形式化两种。针对大型分布式系统的体系结构采用Petri网进行建模,兼顾了可视化操作和形式化的准确性,同时利用细化求精操作建立体系结构的层次模型,有效解决了状态空间爆炸问题。此外,在求精过程中为了保证用于下层求精的子网能准确表达上层行为规约,引入了进程代数来刻画Petri网的行为语义。最后,给出了进程项构造子网的算法及案例研究,并通过开源工具验证上述内容的正确性。 展开更多
关键词 体系结构 进程代数 构件重用 ACP PETRI网
在线阅读 免费下载
从私有过程提取公共过程构建业务协同的方法 认领 被引量:2
5
作者 莫启 代飞 +5 位作者 朱锐 笪建 雷蕾 李彤 谢仲文 郑明 《计算机研究与发展》 CSCD 北大核心 2017年第9期1892-1908,共17页
业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务... 业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协同,首先定义业务过程模型以表示组织的私有过程,该模型由内部视图和公共视图组合而成,且内部视图是自由选择网结构;进而将业务过程模型抽象为4种基本块,即顺序块、选择块、并发块及迭代块;针对这4种基本块提出各自的抽取规则集以获得组织的公共过程,并从理论上证明了这些规则集能够保持协同中接口一致性,从而确保了每一次抽取是上下文无关的.通过对协同制造中供应链进行建模并与现有的、典型的方法进行对比分析,结果表明:相对于已有的工作,在考虑隐私保护原则的情况下,所提方法能够更加有效地对业务过程协同进行建模和分析. 展开更多
关键词 业务过程协同 异步消息通信 业务过程模型 基本块 抽取规则集 接口一致性
在线阅读 下载PDF
业务过程协同中数据恢复策略建模及分析 认领 被引量:3
6
作者 莫启 代飞 +3 位作者 朱锐 笪建 雷蕾 李彤 《计算机应用研究》 CSCD 北大核心 2016年第2期462-466,482共6页
为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析,但现有的工作鲜有关注于从架构的视角和数据的层次来对其进行讨论。为此,首先提出了一种“代理端+盟主端”业务过程协同架构;然后通过对该协同架构进行分析,提出... 为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析,但现有的工作鲜有关注于从架构的视角和数据的层次来对其进行讨论。为此,首先提出了一种“代理端+盟主端”业务过程协同架构;然后通过对该协同架构进行分析,提出了一种业务过程协同的数据恢复通用模型;最后基于该通用模型,提出了数据恢复策略模型,以此为基础提出了五种数据恢复策略并采用随机Petri网对其进行建模与仿真。实验结果表明,采用最短队列随机恢复策略能够使得业务过程协同应用在协同中确保具有高的系统吞吐量、快的响应时间及低的拒绝率。 展开更多
关键词 业务过程协同 “代理端+盟主端”业务过程协同架构 数据恢复通用模型 数据恢复策略模型 数据恢复策略
在线阅读 下载PDF
结合Petri网和Pi演算的协同业务过程建模 认领 被引量:8
7
作者 代飞 莫启 +3 位作者 雷蕾 朱锐 李彤 谢仲文 《计算机科学与探索》 CSCD 北大核心 2015年第6期692-706,共15页
协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用... 协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用,提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则,一方面,从控制流角度,针对协同业务过程面向流的特点,提出公共视图,使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换;另一方面,从交互角度,针对协同业务过程面向协作的特点,提出协作视图,使用Pi演算描述业务过程间的交互。为建立Petri网和Pi演算间的关联,提出了进程标号迁移系统。与传统的业务过程建模方法相比,该方法能有效支持协同业务过程具有的个性化特征。 展开更多
关键词 协同业务过程 公共视图 协作视图 PETRI网 PI演算
在线阅读 下载PDF
一种多视角的跨组织业务过程建模方法 认领 被引量:3
8
作者 代飞 莫启 +3 位作者 雷蕾 李彤 顾思雅 朱锐 《计算机集成制造系统》 EI CSCD 北大核心 2015年第11期3001-3016,共16页
为有效支持传统的组织内业务过程的建模方法,采用多视点的思想,秉承关注点分离的原则,使用Petri网,提出一种多视角的跨组织业务过程建模方法。该方法以自底向上的方式,从内部视角、公共视角和协作视角三种视角对跨组织业务过程的不同方... 为有效支持传统的组织内业务过程的建模方法,采用多视点的思想,秉承关注点分离的原则,使用Petri网,提出一种多视角的跨组织业务过程建模方法。该方法以自底向上的方式,从内部视角、公共视角和协作视角三种视角对跨组织业务过程的不同方面进行描述,得到私有过程、公共过程、协作过程三种不同的过程形态。使用该方法对供应链的购买过程进行了建模说明,与现有建模方法相比,说明该方法可有效支持跨组织业务过程的个性化特征。 展开更多
关键词 业务过程建模 跨组织业务过程 私有过程 公共过程 协作过程 PETRI网
在线阅读 下载PDF
跨组织业务过程协同多视图模型 认领
9
作者 笪建 莫启 +5 位作者 李彤 代飞 朱锐 骆霄 雷蕾 程耀坤 《计算机应用研究》 CSCD 北大核心 2015年第9期2687-2692,共6页
为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与... 为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部变迁关联起来得到公共视图,并对异步通信机制进行研究,运用pi演算对其通信过程进行建模得到通信行为视图,进而使得跨组织业务过程协同的验证转换成pi演算的推演;通过对通信机制的分析,给出了两个活动进行调整时所要满足的条件并证明了满足该条件的调整是上下文无关的,通过建模实例阐述了该方法的有效性。 展开更多
关键词 跨组织业务过程 协同 异步通信 上下文无关 PI演算
在线阅读 下载PDF
Petri网层次结构中的状态一致性研究 认领 被引量:1
10
作者 雷蕾 代飞 +2 位作者 李彤 莫启 朱锐 《小型微型计算机系统》 CSCD 北大核心 2015年第7期1481-1486,共6页
Petri网被广泛用于建模和分析并行系统,但由于缺少层次结构,使之在实际应用中会遇到因结点数过多而产生状态空间爆炸的问题.针对上述问题,采用自顶向下的方式,运用子网对Petri网中的变迁进行细化操作,建立了整个系统模型的层次结构.其次... Petri网被广泛用于建模和分析并行系统,但由于缺少层次结构,使之在实际应用中会遇到因结点数过多而产生状态空间爆炸的问题.针对上述问题,采用自顶向下的方式,运用子网对Petri网中的变迁进行细化操作,建立了整个系统模型的层次结构.其次,讨论了子网在细化变迁过程中容易出现细化前后状态不一致问题.为此,通过对子网结构的限制,提出了具有良好结构的子网,并证明该类子网在细化操作过程中保持了状态一致性.最后,给出子网判定算法并将上述思想在实际例子中进行应用及在开源工具中实现. 展开更多
关键词 PETRI网 细化操作 层次结构 状态一致性 最大流 PIPE工具
跨组织业务过程协同并行建模 认领 被引量:5
11
作者 莫启 代飞 +4 位作者 朱锐 笪建 雷蕾 李可 李彤 《计算机集成制造系统》 EI CSCD 北大核心 2015年第4期1051-1062,共12页
为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组... 为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组织业务过程协同进行并行建模,得到跨组织业务过程协同模型;通过对协同制造中供应链内的采购订单进行并行建模,与现有的、具有代表性的方法进行对比并进行了理论分析。结果表明,跨组织业务过程协同模型能够提高模型的形式验证效率、减少形式验证时间。 展开更多
关键词 跨组织业务过程 协同 并行建模 语义
在线阅读 下载PDF
一种基于层次聚类的子系统划分方法研究 认领 被引量:1
12
作者 朱锐 廖鸿志 +4 位作者 李彤 代飞 王一荃 莫启 雷蕾 《计算机科学》 CSCD 北大核心 2015年第12期108-114,共7页
信息领域中常常会涉及到子系统的划分问题,而U/C矩阵法是信息系统划分的一种常用方法,但是系统的复杂性以及人为的参与常常导致子系统划分产生低效率、不确定性以及错误划分等问题。因此深入剖析了系统与子系统、子系统与功能、功能与... 信息领域中常常会涉及到子系统的划分问题,而U/C矩阵法是信息系统划分的一种常用方法,但是系统的复杂性以及人为的参与常常导致子系统划分产生低效率、不确定性以及错误划分等问题。因此深入剖析了系统与子系统、子系统与功能、功能与数据等之间的关系与性质,通过对U/C矩阵按照功能相似度进行层次聚类,并引入结构熵和Hpal熵来对聚类形成的子系统进行度量,给出了具体的计算公式,提出了一种新的划分子系统的方法,将原本需要人为参与的事情转变为通过计算来完成。同时,实现了一个原型系统来对所提出的方法进行验证,并给出了具体实例。 展开更多
关键词 子系统划分 层次聚类 结构熵 U/C矩阵 功能相似度
在线阅读 免费下载
基于EPMM的软件过程行为偏离诊断研究 认领
13
作者 朱锐 李彤 +4 位作者 莫启 张璇 王一荃 雷蕾 代飞 《计算机科学》 CSCD 北大核心 2014年第11期56-62,共7页
近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,... 近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,在软件过程偏离发现方面,借鉴进程代数的弱互模拟思想,提出过程行为空间表达式,用以构造软件过程的行为空间来检测过程偏离;在软件过程偏离处理方面,提出过程偏离类型的划分及偏离处理策略。这种方法能够发现软件过程实施中普遍存在的过程偏离问题并加以处理来改进软件过程,最终提高软件产品质量。 展开更多
关键词 软件过程 行为偏离诊断 软件演化过程元模型 软件过程行为空间 进程代数
在线阅读 免费下载
基于日志完备性的过程漂移检测方法 认领 被引量:1
14
作者 雷蕾 闻立杰 +3 位作者 周华 裴继升 代飞 郑灿彬 《计算机集成制造系统》 EI CSCD 北大核心 2019年第4期873-881,共9页
过程挖掘中漂移检测的目的是通过检测日志的变化来断定模型是否发生了改变,然而现有方法存在抽取特征量大、检测延迟及无法准确定位变化区域的局限。针对突发漂移检测提出一种基于完备性的漂移检测算法。首先,将突发漂移检测转换为日志... 过程挖掘中漂移检测的目的是通过检测日志的变化来断定模型是否发生了改变,然而现有方法存在抽取特征量大、检测延迟及无法准确定位变化区域的局限。针对突发漂移检测提出一种基于完备性的漂移检测算法。首先,将突发漂移检测转换为日志中局部完备性计算问题;然后,利用切比雪夫不等式推断完备性表达式;进一步,通过可选参数的窗口来训练完备性初始值,避免选择及并发结构的干扰;最后,定义了切割操作对漂移之前的完备值进行清除,进而对日志进行迭代检测。通过多组模型数据进行了实验评估,并与已有方法进行对比,验证了所提方法的有效性。 展开更多
关键词 过程挖掘 漂移检测 切比雪夫不等式 日志完备性 业务流程管理
在线阅读 下载PDF
一种挖掘二度循环的扩展Alpha算法 认领 被引量:2
15
作者 雷蕾 周华 +2 位作者 代飞 闻立杰 莫启 《计算机集成制造系统》 EI CSCD 北大核心 2018年第3期591-601,共11页
为解决现有挖掘算法无法从不具有显式行为特征"aba"的局部完备性的日志文件中挖掘最简2度循环的问题,对经典的alpha算法进行了扩展,提出了αL算法,用于从具有行为特征或不具有行为特征的局部完备性日志中挖掘出最简2度循环。给出了最... 为解决现有挖掘算法无法从不具有显式行为特征"aba"的局部完备性的日志文件中挖掘最简2度循环的问题,对经典的alpha算法进行了扩展,提出了αL算法,用于从具有行为特征或不具有行为特征的局部完备性日志中挖掘出最简2度循环。给出了最简2度循环的形式化定义。从全局角度根据不同结构具有不同行为轨迹来区分最简2度循环与并发结构。通过紧邻关系的强弱,来有效识别并发分支上同类型的最简2度循环结构。通过大量模型实验表明了所提算法的有效性,并将算法集成在开源框架ProM中。 展开更多
关键词 业务流程管理 流程挖掘 紧邻度 日志完备性 PETRI网
在线阅读 下载PDF
一种从无“aba”模式的日志中挖掘2度循环的方法 认领 被引量:2
16
作者 雷蕾 周华 +2 位作者 代飞 朱锐 李彤 《软件学报》 EI CSCD 北大核心 2018年第11期3278-3294,共17页
现有的过程挖掘算法依赖于"aba"模式来挖掘2度循环,而满足局部完备性的日志文件中不一定出现该模式.为此,扩展了经典Alpha算法,提出了αL+算法,用于从没有"aba"模式的日志文件中挖掘出2度循环.首先建立任务间的次序向量矩阵,用于抽... 现有的过程挖掘算法依赖于"aba"模式来挖掘2度循环,而满足局部完备性的日志文件中不一定出现该模式.为此,扩展了经典Alpha算法,提出了αL+算法,用于从没有"aba"模式的日志文件中挖掘出2度循环.首先建立任务间的次序向量矩阵,用于抽象2度循环结构的变体结构;然后从全局视角,根据事件的出现次数及位置来区分2度循环和并发关系;最后提出紧邻度和回路抽象,以排除并发分支上同类型循环带来的干扰.实验结果表明,与现有的挖掘算法相比,αL+算法能够从具有"aba"模式或不具有"aba"模式的日志文件中挖掘出2度循环.此外,该算法实现且集成在开源框架ProM中. 展开更多
关键词 日志抽象 向量矩阵 过程挖掘 局部完备性 PETRI网
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈