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

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

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

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

Petri网动态切片的最小变化域分析方法

在业务流程管理中,确定流程模型的最小变化域是一项重要的问题。已有的方法主要是从整个模型的角度去分析考察它的最小变化域,计算量比较复杂,具有一定的局限性。为了尽快查找到目标模型中的最小变化域,提出了Petri网动态切片的方法。首先通过对比分析源模型和目标模型的结构图得出目标模型的可疑区域,接着依据行为轮廓的思想在目标模型可疑区域中搜索出变化域,然后通过Petri网动态切片的方法得到目标模型的最小变化域。最后通过具体的电子购物实例,验证了该方法的有效性。     

一种支持流程服务集成及协作的工作流描述语言PS-XPDL

在面向服务体系结构和Web服务技术快速发展的条件下，对封装成服务的业务过程集成和协作的支持成为工作流描述语言的发展趋势。通过对流程协作的层次模型和场景模型的分析，提出了一种基于WfMC工作流元模型的扩展元模型，并根据该元模型对XPDL进行了相关元素扩展,得到一种支持流程集成和协作的工作流语言PS-XPDL。该语言对流程服务的协作关系及数据同步具有完备、准确的表达，同时其基于执行支持层标准协议的扩展也使得流程服务的集成及协作易于实现。     

基于Petri网的流程模型中最小变化域的分析方法

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

网络管理系统分布式协作的业务流程分发机制

在分析业务流程分发在分布式协作中发生场景的基础上,该文根据业务流程分发的需求,定义用于在协作点之间分发业务流程的流程分发服务,建立利用流程分发服务在网络管理系统之间进行分布式协作的模型。该流程分发服务具有定义简单及与业务流程描述语言无关的特点,提高了分布式协作的效率。     

基于动态服务协作的实时数据图形化

新兴的面向服务体系结构正在加速软件的发展和变化,且实时信息在人们的生活中的地位越来越重要。鉴于服务间密切的联系,本文定义了动态服务协作流程,提出了动态服务协作模型,动态地重构服务间的协作流程,并基于这种模型,设计和实现实时数据图形化系统。借助于模型驱动机制,根据用户需求,动态进行模型变换,更好的适应快速变化的需求。     

基于博弈策略的攻防模型有效变化域验证算法

变化挖掘能够通过变化日志找到模型中可能存在的变化空间,而传统变化挖掘算法在信息安全攻防态势的场景下,结果可能并不符合安全需求,甚至极大偏离安全标准。针对此问题,提出了一种基于博弈策略的变化域验证方法,解决了传统变化挖掘算法不能验证自身有效性的缺陷。该算法首先会根据安全指标构建效益矩阵计算纳什平衡点,然后通过纳什平衡点验证攻防模型变化域的有效性,其次对无效的、次有效的变化域进行安全等级划分,并在应对未知漏洞的响应问题上给出明确的指导性意见,最后以典型信息安全事件为例验证了该方法的可行性。     

基于用户信任的多域访问控制模型

在角色访问控制的基础上,提出本域角色表和外域角色表的概念,引入域间信任度,提出一种基于用户信任的多域访问控制模型——UT-MDAC。UT-MDAC模型通过不同域之间的信任度,获得用户访问外域的资格,并通过用户的信任值,判断用户的行为可信性。结合域间信任度和外域角色表,系统分配用户外域角色,用户根据外域角色对应的权限,对外域资源信息进行实际访问操作。给出UT-MDAC模型的定义和授权机制,访问控制流程,并给出模型的实际应用分析,比较分析模型的性能和安全性。分析结果表明该模型能实现动态授权,且满足最小特权原则,具有普遍适用性。     

基于业务流程编排的自动化运维实现研究

在传统编排系统的基础上，采用精细化流程模型联合Choreography编排模型搭建了业务流程自动化编排系统，通过对某大型电商平台的业务信息进行业务流程编排测试，利用业务流程编排的运行速度、出错率以及编排有效率指标结果与传统业务流程编排情况来评价该系统的运行效果。结果显示，与传统业务流程编排系统相比，该系统的运行速度明显提升，差异具有统计学意义(P<0.05);业务流程编排的出错率明显降低，其差异具有统计学意义(P<0.05);与此同时，该系统的业务流程编排有效率在测试10 000次时达到98.6%,相较于传统业务流程编排系统明显提升，其差异具有统计学意义(P<0.05)。     

基于Agent图的三级多Agent系统组织模型

多Agent系统的组织结构是Agent个体之间交互的框架。对分布式多Agent系统的组织方式、协作机制进行了简要讨论,提出了Agent域及Agent图的概念。根据不同Agent之间的地理位置和通信代价,由Agent个体、Agent组及Agent域三级组织结构形成一个Agent图,并借鉴计算机网络的分布式自适应路由选择策略进行多Agent系统的协作组织。分析表明,该模型具有高效、健壮、通信开销较小等优点。     

基于JBPM的服务动态编排及迁移方案

为了适应复杂环境下动态多变的业务需求,对以服务为核心的流程动态编排和再造提供支持,提出了基于JBPM工作流的流程动态编排与迁移方案,该方案分析了目前工作流在流程编排方面的局限性;结合柔性工作流的特点,给出了流程动态编排的模型,并对流程变更所产生的4类操作做了形式化的描述,通过对流程变更引发的流程进行迁移继而实现接续执行这一问题的研究,提出一种流程迁移算法。最后通过实例和性能测试工具验证了算法的可行性和高效性。     

关键活动节点处的在线近似一致性检测

为校验事件流与模型之间的服从性，节约资源和提高检测效率，提出一种不需要构建模型的近似检测方法。对已有的日志进行聚类，选取代表性的迹构建模型支集，计算适合度上下界作为一致性的判断依据。系统在线运行过程中，将事件流暂存于事件堆栈，在关键活动节点处取出序列，进行与模型支集之间的一致性检测。通过实际案例对提出方法进行性能评估，并与其它方法进行对比，结果验证了算法的可行性，其具有较高的准确率。     

基于生灭过程的域间路由系统相继故障模型

大规模BGP-LDoS（Low-rate DoS attack against BGP sessions）攻击是造成域间路由系统大范围相继故障的一种典型且有效的技术手段。在分析BGP-LDoS攻击技术及特性的基础上，提出一种基于生灭过程理论的相继故障模型。将域间路由系统的所有节点视为一个单种群，将BGP-LDoS攻击下的路由节点故障传播过程视为种群的生灭过程，即各个节点在正常态和故障态之间的迁移。通过构建的故障传播主方程，形式化描述节点故障在域间路由系统中的级联传播。理论分析和实验结果都验证了该模型能够有效描述BGP-LDoS攻击导致的域间路由系统节点故障传播过程，可为域间路由系统相继故障预防与控制技术的研究提供理论支持。     

基于Agent的分布式协作入侵检测系统

分析了当前入侵检测系统及其存在的问题,提出一个基于Agent的分布式协作检测模型(ADCM),给出其原型系统。该模型通过逻辑检测域(LDD)之间的协作通信,完成对新型分布式攻击的检测。实验证明ADCM可以有效地检测出具有一定隐蔽性的、分布式的协作攻击。     

课程表自动编排系统的再开发

根据课程表自动编排系统运行过程中的需求变化，应用敏捷软件开发思想重构系统，对系统再分析。     

分布式入侵检测与响应协作模型研究

提出了一个分布式入侵检测与响应协作模型。在该模型中，设计了协作代理，负责对来自干各入侵检测代理的检测结果进行关联分析，并结合从其它域的协作代理收到的报警消息来检测复杂的入侵行为。扩展了IDMEF消息交换格式，使用XML文档来表示各入侵检测部件间交换的消息，协作代理问通过XML消息交换来实现协作。提出了怀疑度的概念，将发现的所有可疑的和入侵行为都报告给监控.     

最小变化区域在流程建模中的应用

针对流程建模过程中缺乏合理性验证以及所建模型过于庞大导致验证复杂的问题,在研究建模过程中结构变化的基础上,提出一种将最小变化区域的思想引入到流程建模过程中的方法。对所提出的方法使用Petri网作为分析工具,以具体系统为例进行了建模应用分析,并在建模过程中进行了合理性验证。分析比较结果表明,利用最小变化区域的思想进行建模可以降低复杂度,并能够在流程建模及模型验证等方面提高工作效率。     

数字文化资源知识图谱多目标跨域推荐方法

数字文化资源具有资源丰富、种类繁多等特点。针对数字文化资源的推荐，考虑到其资源类型的异构多样性，又可以划分为多个不同的子类别域。然而目前大多数的推荐方法仅针对单个物品类别域，无法捕获用户偏好在多个域之间的传播，并有效地利用其他域所提供的信息。基于此，一种基于知识图谱的多目标跨域推荐模型（knowledge graph multi-target cross-domain recommendation model,KGMT）被提出。首先通过知识图谱构建不同域之间的联系，并生成其中有关用户和物品的全局域嵌入。然后采用一种基于自注意力机制的融合注意力模块来联合目标域和全局域的嵌入表征，有效地利用全局域信息来提高每个目标域的推荐效果。最后分别在豆瓣和国家文化云平台的真实数据集上进行了多组实验，实验结果证明KGMT的表现优于基线模型，同时提高了多个目标域的推荐指标。     

基于分布式协调模型的服务协作方法研究

由于服务是由彼此独立的提供商开发的,无法在开发阶段就预测到其潜在的所有交互可能,因此需要在实际协作时检查服务之间的兼容性,从而保障协作的正确性和一致性.提出了一种基于分布式协调模型的方法,以提高服务的可复用性和服务协作的灵活性.该方法通过失败等价(failure-equivalent)行为语义保持的投影规则,将协作流程转换为协作子流程,以实现分布式的成对兼容性检查,并提出基于适配的检查方法,检验服务是否可以通过适配机制满足兼容性的要求,同时给出了适配器自动生成的算法.适配机制的引入进一步降低了服务与协作环