基于聚类分析的业务流程模型抽象 被引量：5

1

作者 孙善武 王楠 欧阳丹彤 《计算机科学》 CSCD 北大核心 2016年第5期193-197,229,共6页

业务流程模型抽象的一个最突出的用例是对包含大量元素的业务流程细节模型进行"简要视图"的构造,以便对流程进行快速理解。很多学者对流程抽象方法进行了研究,提出根据行为的语义相似性对行为进行聚合,其中多数研究基于k-mean... 业务流程模型抽象的一个最突出的用例是对包含大量元素的业务流程细节模型进行"简要视图"的构造,以便对流程进行快速理解。很多学者对流程抽象方法进行了研究,提出根据行为的语义相似性对行为进行聚合,其中多数研究基于k-means聚类分析,即根据事先指定的抽象行为个数对行为进行聚类,在将行为聚合到某一个行为簇时,选择距离该行为簇的图心最近的行为。但实际上,抽象行为(子流程)个数是一个未知的量,哪些行为属于同一个子流程往往取决于建模者的经验和抽象习惯,而且在聚合时,若行为从业务意义角度或建模者的抽象习惯角度并不属于该子流程,则合并往往会产生抽象错误。因此,引入虚拟文档表示行为和流程模型,以消除固定属性作为表示行为的向量空间维度带来的约束。并且设计算法从大量包含人工设计子流程的真实的业务流程模型库中获取行为与所在子流程的距离阈值,利用该阈值指导生成可能获得的抽象行为个数k。以k为参数对流程模型进行行为聚类,在聚类过程中,进一步利用距离阈值对聚合行为进行限制。对真实的流程模型库进行实验分析,结果表明提出的行为聚类方法更加接近人工设计的抽象结果。 展开更多

关键词 业务流程模型抽象 聚类分析 虚拟文档 行为聚合

在线阅读 下载PDF 职称材料

标签匹配方法对业务流程模型相似性影响的分析 被引量：2

2

作者 闫志强 李少鹏 +5 位作者 胡磊 闻立杰 刘从屹 高迎 陈一 刘克强 《计算机集成制造系统》 EI CSCD 北大核心 2019年第4期985-992,共8页

两个业务流程模型间活动标签的匹配对计算流程模型相似性十分关键。为了分析不同标签匹配方法对业务流程模型相似性的影响,采用两种基于句法和两种基于句义的标签匹配方法,分别将其整合到贪婪算法中,形成4个业务流程模型相似性算法并运... 两个业务流程模型间活动标签的匹配对计算流程模型相似性十分关键。为了分析不同标签匹配方法对业务流程模型相似性的影响,采用两种基于句法和两种基于句义的标签匹配方法,分别将其整合到贪婪算法中,形成4个业务流程模型相似性算法并运用3种不同的组织真实业务流程模型对这些算法的搜索准确率进行了测试。结果表明,目前阶段基于句法的方法适用范围更广,基于句义方法的优化空间很大。最后,有针对性地提出了进一步提高业务流程模型匹配准度的建议。 展开更多

关键词 业务流程模型 标签匹配 编辑距离 相似性 基于句法的方法 基于句义的方法

在线阅读 下载PDF 职称材料

扩展QVT Relations实现业务流程模型的转换 被引量：1

3

作者 何啸 麻志毅 +1 位作者 张岩 邵维忠 《软件学报》 EI CSCD 北大核心 2011年第2期195-210,共16页

QVT(Query/View/Transformation)Relations无法描述包含嵌套模式,因此在描述流程模型的转换规则时存在一些困难.针对此问题,对QVT Relations进行了扩展,引入了模式因子、嵌套关系表达式和关联端约束这3个概念,并讨论了扩充之后匹配模型... QVT(Query/View/Transformation)Relations无法描述包含嵌套模式,因此在描述流程模型的转换规则时存在一些困难.针对此问题,对QVT Relations进行了扩展,引入了模式因子、嵌套关系表达式和关联端约束这3个概念,并讨论了扩充之后匹配模型和创建模型的语义变化.并用一个例子展示,扩展之后的QVT Relations可以解决流程模型转换的问题. 展开更多

关键词 模型驱动体系结构 面向服务的体系结构 业务流程模型转换 QVT

在线阅读 下载PDF 职称材料

业务流程模型抽象中基于约束的行为聚类方法研究 被引量：1

4

作者 王楠 孙善武 《计算机科学》 CSCD 北大核心 2017年第1期259-263,294,共6页

将业务流程模型抽象中的行为聚合解释为一个半监督聚类过程,利用基于试探的启发式方法选择合适的行为集合作为初始簇,进而提高抽象的质量。另外,为了同时满足模型转换的保序性需求和子流程的业务语义完整性,在将行为归类到某个簇(候选... 将业务流程模型抽象中的行为聚合解释为一个半监督聚类过程,利用基于试探的启发式方法选择合适的行为集合作为初始簇,进而提高抽象的质量。另外,为了同时满足模型转换的保序性需求和子流程的业务语义完整性,在将行为归类到某个簇(候选子流程)时,进一步考虑了流程控制流的影响,设计了由两部分构成的约束函数,即语义距离和控制流顺序冲突。其中,第一部分引入了虚拟文档来表示行为和子流程,计算其之间的语义距离;第二部分利用行为概要文档中的4种行为顺序关系,设计函数来表示行为归类带来的控制流冲突。将该方法应用于真实的流程模型库,与传统的k-means行为聚类对比,如随机生成初始簇集和基于语义的距离测量方法,结果表明所提方法生成了更接近于人工设计的流程抽象结果。 展开更多

关键词 业务流程模型抽象 基于约束的行为聚类 行为概要文档

在线阅读 下载PDF 职称材料

业务流程模型中生成特征模型方法的研究

5

作者 孙大松 张小丽 +1 位作者 孙立镌 王海龙 《计算机工程与应用》 CSCD 北大核心 2010年第33期71-74,87,共5页

目前的软件产品系统中,由于现有的造型系统研究的只是单一系统的开发,因此使用现有的方法进行特征造型时就会导致最终开发出来的产品的质量和产量比较低。通过使用增加产品复用性的软件产品线,提出了从业务流程模型中生成特征模型的方... 目前的软件产品系统中,由于现有的造型系统研究的只是单一系统的开发,因此使用现有的方法进行特征造型时就会导致最终开发出来的产品的质量和产量比较低。通过使用增加产品复用性的软件产品线,提出了从业务流程模型中生成特征模型的方法。该方法通过使用重叠操作算法,将业务流程中相似的功能编成一个用例组,清晰地显示了业务流程中的共性和差异性,从而为整个业务流程实现了软件化,提高了产品的质量和产量。 展开更多

关键词 软件产品线 业务流程模型 特征模型 用例组

在线阅读 下载PDF 职称材料

业务流程模型抽象中最优子流程数的确定

6

作者 孙善武 王楠 《计算机科学》 CSCD 北大核心 2017年第10期245-248,275,共5页

根据业务流程模型的特征,基于笔者前期工作中给出的两个不同约束条件下的受限k-means行为聚类算法,提出确定最优子流程数的方法。基于对流程结构的假设,同时结合行为语义的经验阈值限定,给出了确定子流程数恰当上限值的方法,以达到减少... 根据业务流程模型的特征,基于笔者前期工作中给出的两个不同约束条件下的受限k-means行为聚类算法,提出确定最优子流程数的方法。基于对流程结构的假设,同时结合行为语义的经验阈值限定,给出了确定子流程数恰当上限值的方法,以达到减少循环次数的目的。根据k值的变化,分别基于子流程结构紧密性特征和流程结构树,在循环过程中设计增量式方法,对簇中心进行简便的递增;设计合理的有效性指标,对抽象结果模型进行评估,进而生成最佳子流程数;利用真实的流程模型库对设计的方法进行实验验证,得到的最优子流程数与人工设计的结果非常接近。 展开更多

关键词 业务流程模型抽象 最优子流程数 行为文档

在线阅读 下载PDF 职称材料

带数据流的面向服务的业务流程模型变化传播Petri网方法 被引量：1

7

作者 何路路 方欢 《计算机科学》 CSCD 北大核心 2018年第B06期545-548,567,共5页

为了灵活适应不断变化的业务需求,需要对流程模型进行调整。在业务逻辑整合过程中,业务逻辑可能发生变化,因此对业务变化及其传播进行分析是十分关键的。已有的研究方法主要基于控制流结构来分析和研究业务的变化域和变化传播问题,忽略... 为了灵活适应不断变化的业务需求,需要对流程模型进行调整。在业务逻辑整合过程中,业务逻辑可能发生变化,因此对业务变化及其传播进行分析是十分关键的。已有的研究方法主要基于控制流结构来分析和研究业务的变化域和变化传播问题,忽略了模型所含数据和服务结构的信息。文中对带数据信息的面向服务业务流程模型的变化传播方法和变化域定位进行分析和研究,主要关注服务层和流程层之间的变化传播问题。首先,分析流程层(服务层)的变化操作给模型的服务层(流程层)带来的变化影响范围,并分别提出了服务层变化传播算法(Service Layer Change Propagation Algorithm,SLCPA)和流程层变化传播算法(Process Layer Change Propagation Algorithm,PLCPA)。最后,通过一个具体的实例证明了所提方法的可行性和有效性。 展开更多

关键词 变化传播 流程层 服务层 面向服务的业务流程模型 PETRI网

在线阅读 下载PDF 职称材料

业务流程模型相似度研究综述 被引量：1

8

作者 简开宇 史涯晴 +2 位作者 黄松 许山山 杨忠举 《计算机科学》 CSCD 北大核心 2023年第6期338-350,共13页

随着业务流程模型管理库规模的增大,传统的模型管理方式在效率和准确度方面已经无法达到预期,研究能够提升业务流程模型管理效率的技术成为人们的迫切需求。其中,业务流程模型相似度技术在模型搜索、模型一致性检测等模型管理的相关应... 随着业务流程模型管理库规模的增大,传统的模型管理方式在效率和准确度方面已经无法达到预期,研究能够提升业务流程模型管理效率的技术成为人们的迫切需求。其中,业务流程模型相似度技术在模型搜索、模型一致性检测等模型管理的相关应用场景中能够有效提升工作的效率和精度,因此,对业务流程模型相似度技术的研究已经逐渐成为模型分析领域的一个研究热点,并取得了许多有价值的研究成果。业务流程模型相似度技术涉及的领域较多,可以向不同的分支方向发展,虽然不同分支的模型相似度技术会有方法之间的类比,但是缺乏系统性的整理和分析。文中从相似度计算方法和应用场景这两个层面对业务流程模型相似度技术进行了分类讨论,将相似度计算方法分为文本相似度、语义相似度、结构相似度、行为相似度和基于人类评估的相似度,并分析了每种计算方法的特点。较为常见的业务流程模型相似度应用场景包括一致性检测、标准化、流程模型搜索和模型重用,文中对基于以上场景的相关研究进行了梳理。最后分析了业务流程模型相似度研究面临的挑战。 展开更多

关键词 相似度计算方法 业务流程模型相似度应用 结构相似度 流程模型搜索 模型库管理

在线阅读 下载PDF 职称材料

业务流程的内涵及业务流程变革模型综述 被引量：5

9

作者 郭忠金 《现代管理科学》 CSSCI 2010年第3期111-113,共3页

文章综述了业务流程的定义,Kettinger的业务流程变革模型,埃森哲的业务架构模型,哈默的流程与企业成熟度模型等,最后小结。

关键词 业务流程 业务流程变革模型 流程与企业成熟度模型

在线阅读 下载PDF 职称材料

一种目标感知的可配置业务流程分析方法 被引量：7

10

作者 黄贻望 何克清 +1 位作者 冯在文 黄颖 《电子学报》 EI CAS CSCD 北大核心 2014年第10期2060-2068,共9页

可配置业务流程模型能够使得在不同的组织之间以可控的方式共享公共流程成为可能,这种模型旨在通过配置满足特定组织的需求,派生出个性化的流程.流程配置由于其配置决策之间的各种依赖关系而变成异常困难,因此,对其进行形式化建模和验... 可配置业务流程模型能够使得在不同的组织之间以可控的方式共享公共流程成为可能,这种模型旨在通过配置满足特定组织的需求,派生出个性化的流程.流程配置由于其配置决策之间的各种依赖关系而变成异常困难,因此,对其进行形式化建模和验证是一个非常重要的问题.由于目标模型能够良好的表达用户需求意图的特点,本文提出一个基于目标感知的可配置业务流程分析方法,这种方法是通过将目标关联到WF-net(即GWF-net),将用户需求意图与业务流程模型进行整合;然后通过增加配置操作将用GWF-net表达的业务流程模型转换成可配置业务流程模型;最后,分析这种可配置业务流程的逻辑结构的正确性并提出用户需求与可配置业务流程配置过程中的一致性定理,为分析与验证在目标约束下可配置业务流程提供一种行为有效的方法. 展开更多

关键词 目标模型 目标工作流网 可配置业务流程模型 流程配置

在线阅读 下载PDF 职称材料

基于过程代数的可变业务流程建模方法 被引量：8

11

作者 姚青 洪余柯 王海洋 《计算机集成制造系统》 EI CSCD 北大核心 2009年第9期1721-1730,共10页

为实现灵活的业务流程重组,提出了一种面向流程变化调整的业务流程模型。该模型从业务逻辑中抽取出流程相关性语义,用连接器的模式来实现一种可配置的流程属性。业务人员可以通过调整模型中的连接器对流程进行重新配置,从而实现业务流... 为实现灵活的业务流程重组,提出了一种面向流程变化调整的业务流程模型。该模型从业务逻辑中抽取出流程相关性语义,用连接器的模式来实现一种可配置的流程属性。业务人员可以通过调整模型中的连接器对流程进行重新配置,从而实现业务流程重组的软件调整。给出了模型的过程代数描述,并介绍了建模步骤和流程调整方法。最后,以机场塔台调度流程的建模和调整过程为例,对相关问题进行了讨论。 展开更多

关键词 过程代数 业务流程模型 流程调整 模型验证 业务流程管理

在线阅读 下载PDF 职称材料

基于进程代数的服务业务流程价值分析 被引量：1

12

作者 马超 徐晓飞 王忠杰 《计算机学报》 EI CSCD 北大核心 2010年第11期2177-2189,共13页

服务业务流程模型的质量对服务系统的质量会产生直接影响,而衡量模型质量的标准除了模型本身的一致性、无歧义性等性质外,更为重要的是其能否充分满足顾客的服务需求.在服务工程中,服务价值被认为是各服务参与者期望从服务获取的最终目... 服务业务流程模型的质量对服务系统的质量会产生直接影响,而衡量模型质量的标准除了模型本身的一致性、无歧义性等性质外,更为重要的是其能否充分满足顾客的服务需求.在服务工程中,服务价值被认为是各服务参与者期望从服务获取的最终目标,采用价值模型从功能性和非功能性两方面对顾客需求进行形式化描述.通过对Pi演算扩展动作质量约束和价值实现程度计算函数,提出价值进程代数VPA,用于形式化表达和验证服务业务流程模型.利用语义等价匹配算法和弱互模拟理论,提出验证目标价值的可实现性和实现完整性的模型分析方法,分析目标价值的实现程度,进而定量计算服务业务流程模型对顾客需求的满足情况,为后续面向价值的服务模型优化提供依据. 展开更多

关键词 服务业务流程模型 价值模型 目标价值 价值进程代数 价值状态图

在线阅读 下载PDF 职称材料

一种基于Prolog的时间约束业务流程验证方法 被引量：4

13

作者 陈鹤文 周勇 燕雪峰 《计算机科学》 CSCD 北大核心 2016年第6期173-178,共6页

随着互联网技术的快速发展,对复杂系统业务流程建模的需求越来越大。针对带有时间约束的业务流程模型的正确性验证问题,提出了一种基于节点转换规则的图分解算法,将业务流程模型转换为运行时流程轨迹集合;设计了流程轨迹集合到Prolog的... 随着互联网技术的快速发展,对复杂系统业务流程建模的需求越来越大。针对带有时间约束的业务流程模型的正确性验证问题,提出了一种基于节点转换规则的图分解算法,将业务流程模型转换为运行时流程轨迹集合;设计了流程轨迹集合到Prolog的转换,将轨迹中的节点与时间约束转化为Prolog事实,提出了一种业务流程模型到Prolog语言的转换算法;将持续时间、周期循环与固定时刻3种时间模式转换为Prolog规则,以其支持业务流程模型3种时间模式的验证。最后对一个带有时间约束的医疗流程实例进行了验证。 展开更多

关键词 时间约束 时间模式 业务流程模型 验证方法

在线阅读 下载PDF 职称材料

基于目标的业务流程概念建模 被引量：4

14

作者 王楠 孙善武 欧阳丹彤 《计算机科学》 CSCD 北大核心 2014年第10期220-224,248,共6页

人类的行为主要由目标驱动,企业的业务流程应该尽量多地包含那些为用户创造价值的行为,而行为则应该为业务流程目标服务。提出基于目标的业务流程概念模型框架,并以目标-行为的细化分层关系为基础,自底向上反向生成与各个子目标相匹配... 人类的行为主要由目标驱动,企业的业务流程应该尽量多地包含那些为用户创造价值的行为,而行为则应该为业务流程目标服务。提出基于目标的业务流程概念模型框架,并以目标-行为的细化分层关系为基础,自底向上反向生成与各个子目标相匹配的流程片段,给出行为和业务流程片段对目标的支持度的评估分析,以为用户构建业务流程概念模型提供决策指导。 展开更多

关键词 业务流程概念模型 目标 流程片段 流程评估

在线阅读 下载PDF 职称材料

一种面向业务规则和流程的推理引擎架构 被引量：2

15

作者 倪曌 白利芳 董奥冬 《计算机应用与软件》 2017年第3期98-102,153,共6页

目前基于业务流程模型控制规则引擎的工作流引擎已经开始提倡使用。针对这种情况,基于BPMN业务流程模型的工作流引擎,提出一种适用于业务流程模型和规则集成与执行的推理引擎架构。该架构引入XTT2的规则表示,集成了jBPM工作流管理系统和... 目前基于业务流程模型控制规则引擎的工作流引擎已经开始提倡使用。针对这种情况,基于BPMN业务流程模型的工作流引擎,提出一种适用于业务流程模型和规则集成与执行的推理引擎架构。该架构引入XTT2的规则表示,集成了jBPM工作流管理系统和HeaRT规则引擎,由工作流引擎控制专用规则推理引擎执行规则决策表运行。原型实现表明了该架构可实现规则任务的可视化设计,并支持对得到的规则任务模型的形式验证。 展开更多

关键词 BPMN 业务流程模型 规则

在线阅读 下载PDF 职称材料

一种基于产生式的流程模型分析方法

16

作者 陈亮 夏永霖 魏峻 《计算机应用研究》 CSCD 北大核心 2007年第4期37-41,46,共6页

在深入分析业务流程模型和合理的抽象业务活动基础上,提出了一种基于产生式的流程模型形式化分析方法,并提供了一种从一般流程描述到该模型的转换方法;在此基础上,推导了一系列行之有效的流程属性验证规则,并通过应用实际例子证明了所... 在深入分析业务流程模型和合理的抽象业务活动基础上,提出了一种基于产生式的流程模型形式化分析方法,并提供了一种从一般流程描述到该模型的转换方法;在此基础上,推导了一系列行之有效的流程属性验证规则,并通过应用实际例子证明了所提出方法的有效性。 展开更多

关键词 业务流程模型 分析和验证

在线阅读 下载PDF 职称材料

基于PowerDesigner模型驱动机制下的全程建模研究 被引量：11

17

作者 轩兴涛 《西安石油大学学报（自然科学版）》 CAS 2008年第6期104-106,共3页

数据库设计工具PowerDesigner采用模型驱动机制,通过包括需求模型、业务流程模型、概念数据模型、物理数据模型、面向对象模型、多模型报告的多模型建立和转换,为软件开发实现全程建模提供了一种切实可行的软件开发方法,从而大大提高了... 数据库设计工具PowerDesigner采用模型驱动机制,通过包括需求模型、业务流程模型、概念数据模型、物理数据模型、面向对象模型、多模型报告的多模型建立和转换,为软件开发实现全程建模提供了一种切实可行的软件开发方法,从而大大提高了软件开发的效率和质量,实现了软件工具放大人的智力这一论点. 展开更多

关键词 模型驱动 全程建模 需求模型 业务流程模型 概念数据模型 物理数据模型 面向对象模型

在线阅读 下载PDF 职称材料

基于Petri-Net的流程验证新方法

18

作者 常关羽 杨海成 莫蓉 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2016年第6期180-187,共8页

为解决业务流程管理应用系统中模型可验证性支持不足的问题,提出一种面向应用系统的流程验证新方法。该方法利用Petri-Net网络分析原理,聚焦于工作流网络模型,在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证... 为解决业务流程管理应用系统中模型可验证性支持不足的问题,提出一种面向应用系统的流程验证新方法。该方法利用Petri-Net网络分析原理,聚焦于工作流网络模型,在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证思路,形成了以Petri-Net网络不变量求解为根本的验证算法。设计了实验对算法进行理论分析验证和应用仿真验证,证明了算法的有效性。对算法进行了效率分析实验,实验结果表明,算法在验证效率上要明显优于覆盖图和因果足迹法。最后,开发了验证算法的实用工具程序包,并对其应用效果进行了展示。本文设计的流程验证方法合理高效,适合在实际系统中应用。 展开更多

关键词 业务流程模型 PETRI-NET 工作流 模型验证

在线阅读 下载PDF 职称材料

移动Agent技术在商业连锁管理信息系统模型的应用

19

作者 曾子明 林晓明 《计算机应用》 CSCD 北大核心 2002年第6期48-50,共3页

针对当前商业连锁企业管理信息系统的缺陷 ,引入先进的移动Agent技术。介绍了移动Agent的特征 。

关键词 移动AGENT 商业连锁 管理信息系统 业务流程模型 连锁店 人工智能

在线阅读 下载PDF 职称材料

RPA流程标准化定义与设计 被引量：8

20

作者 赖琪 蔡宇辉 +3 位作者 夏斯琼 谢晓全 刘沛 李肯立 《计算机科学》 CSCD 北大核心 2023年第12期82-88,共7页

为解决机器人流程自动化(Robotic Process Automation,RPA)领域缺乏统一流程描述方法的问题,文中提出了一种用于定义和描述RPA流程的规范,主要包括RPA流程中的各类对象,可用于分析复杂RPA应用场景;同时,为更好地定义与描述工作流系统的... 为解决机器人流程自动化(Robotic Process Automation,RPA)领域缺乏统一流程描述方法的问题,文中提出了一种用于定义和描述RPA流程的规范,主要包括RPA流程中的各类对象,可用于分析复杂RPA应用场景;同时,为更好地定义与描述工作流系统的流程,并解决RPA领域暂无流程建模标准而导致的流程脚本不兼容问题,以业务流程模型和符号(Business Process Model and Notation,BPMN)标准为基础,定义了一套RPA流程建模符号及标签系统。最后,以一种银行系统的典型业务流程为例,展示了使用该规范定义与描述此业务流程的结果,并使用Petri网进行了流程的正确性证明。 展开更多

关键词 机器人流程自动化 业务流程模型和符号 PETRI网

在线阅读 下载PDF 职称材料