一种新的工作流频繁模式挖掘算法研究

为了提高工作流模型挖掘技术的准确性,提出了一种新的工作流频繁模式挖掘算法.首先,阐述了工作流模型依赖矩阵的定义,并利用工作流日志建立了依赖矩阵.然后采用活动间的依赖关系作为频繁项集,设计了一种基于依赖矩阵的频繁项集自动生成算法.最后对频繁项集进行处理,得到最终的工作流频繁模式.该算法能够处理活动间交叠关系和具有串、并行关系的工作流模型,因此更具优越性.     

基于多重依赖关系的传递闭包研究及应用

文中通过改进Warshall-Folyd的算法，提出了一种依赖传递闭包算法和相应的动态闭包算法，其核心思想是依据依赖关系的分类和性质，定义关系矩阵和运算算子，使算法能解决选择依赖关系，并能表达直接、间接和选择三种依赖关系；同时，所提出动态算法能够运行时根据问题规模动态添加关系元素和依赖关系，解决在基本关系原则和部分关系集上求取闭包的问题。结合安全通用标准CC中关于组件间依赖关系的规定，给出了本文所提出算法的一个实际应用，表明算法取得了很好的效果。     

一种改进的静态程序切片算法

提出了一种改进的静态程序切片算法,并应用到软件逆向工程中。在处理目标程序的过程间调用时,通过建立参数影射关系表,将过程间调用转换为过程内调用,简化了建立程序依赖图的复杂度;在归纳分析目标程序变量类型的基础上,给出了代数运算法则,对程序中的线性运算代码进行等价变换,缩减了切片程序的规模。最后通过具体的切片实例,证明了改进算法的有效性。     

自动信任协商中环策略依赖检测技术

针对自动信任协商(ATN)可能出现协商过程无限循环的问题,对循环产生的原因进行了分析并设计相应的检测算法以及时发现并终止协商循环。协商双方策略间的依赖关系存在环是无限循环协商产生的原因,将策略间的依赖关系建模成简单图并证明了模型的正确性;分析简单图的可达矩阵计算过程并给出简单图环检测定理,基于该定理设计检测算法对环策略依赖进行检测。最后,通过实例验证了算法的可行性。     

第三方库依赖冲突问题研究综述

软件开发过程中, 开发人员通过大量使用第三方库来实现代码复用. 不同第三方库之间存在依赖关系, 第三方库间的不兼容会导致第三方库的安装、加载、调用时出现错误, 进而导致系统异常, 这类问题称之为第三方库依赖冲突问题. 依赖冲突的根本原因是加载的第三方库无法覆盖软件引用的必需特性(例如: 方法). 依赖冲突问题会在第三方库的下载安装, 项目编译和运行时中出现, 且定位困难. 依赖冲突问题的修复要求开发人员对使用的第三方库版本间差别具有准确的理解, 并且第三方库之间复杂的依赖关系增加了修复难度. 为了能够在软件运行前, 发现软件中存在的依赖冲突, 并且能够响应和处理运行过程中由依赖冲突引发的系统异常, 国内外学者展开了各种针对依赖冲突问题的研究. 从依赖冲突问题的4个方面, 对当前已有研究工作进行了梳理, 包括: 第三方库的使用实证分析、依赖冲突原因分析、依赖冲突检测方法以及依赖冲突常用修复方式. 最后对该领域未来值得关注的研究问题进行了展望.     

Snort的高效规则匹配算法

对入侵检测系统Snort的规则匹配算法进行了系统的分析，为了进一步提高Snort的规则匹配效率，提出了在匹配过程中，对于条件匹配处理函数应用参数链表驱动的方法。从而避免重复调用处理函数，充分利用参数之间的关系，并能动态地减少无效规则的匹配。通过两个实验来评估此方法的效率，结果表明改进方案较明显地提高了Snort的检测性能。     

构造基于构件依赖关系矩阵的元数据模型

构件集成到应用环境中实施集成测试时,会与其它构件产生相应的依赖关系.本文在对这些依赖关系进行概述的基础上,给出了构件直接依赖图、构件间接依赖图和构件依赖图的定义,并依据这些定义,提出了构件依赖矩阵(CmDM)的概念,用以描述构件Cm与构件系统中其它构件之间的依赖关系,接着进一步定义了复杂依赖关系矩阵(CmDDM),用以对依赖关系矩阵(CmDM)进行更为详细的描述.对依赖矩阵方法在回归测试、构件变更处理和软件重用的应用方法进行了形式化的描述,进一步将基于依赖关系矩阵的方法应用于学校内部开发的构件RegisterStuGrade 中,并另外选取了三个与之有关的构件,对其依赖关系进行分析,建立相应的构件依赖关系矩阵和复杂依赖关系矩阵,并与Orso方法、Spec方法(基于规范说明的方法)所生成的测试用例对于构件RegisterStuGrade源代码的覆盖情况进行了对比,从而证明了本方法的有效性.     

基于补偿业务生成图的组合服务异常处理方法研究

为提高组合Web服务执行的一致性、可靠性,提出一种基于补偿业务生成图的组合服务异常处理方法.基于业务流程中任务间补偿依赖关系,讨论了补偿业务生成图的自动生成问题.重点讨论了补偿任务、补偿目标和服务转让应用模式,并相应地介绍了支持框架和相关技术.在此基础上设计了补偿依赖关系、补偿业务生成图的自动生成及组合服务执行过程中异常处理算法.当业务流程出现异常采取向前或向后恢复处理时,该方法在保证补偿实现的同时,兼顾补偿服务不存在或补偿服务代价过高的问题,提高了业务流程执行过程中的自动化水平和自适应能力.仿真结果证实,该方法保证了异常发生时组合服务执行的可靠性和一致性.     

面向过程的资源组合排斥冲突检测方法

由于云制造环境下服务于业务过程的资源集中可能存在相互排斥的资源,在运行阶段可能会产生资源冲突。针对这种情况,提出了面向业务过程的资源组合排斥冲突检测方法。以工作流模型为基础,提出资源服务链模型(RSCM)并分析在资源服务链模型中可能出现排斥冲突的情况;提出有效子图的概念。最后基于资源服务链模型和有效子图,提出面向过程的资源组合冲突检测算法。实验结果表明,该算法能有效地检测出面向过程的资源组合过程中因资源排斥关系而产生的资源冲突。     

一种新的工作流频繁闭合模式挖掘算法研究

为了提高工作流环境下频繁模式挖掘的准确性,提出了一种新的频繁闭合模式挖掘算法。首先扩展了依赖 矩阵的定义,即利用工作流日志建立包含直接依赖关系和交叠关系的依赖支持度矩阵。然后扩展了CHARM算法, 以在支持度矩阵的基础上自动挖掘频繁闭合活动集。最后对频繁闭合项集进行处理,以形成最终的工作流频繁闭合 模式。该算法对于并行和选择关系的处理能力优于同类算法。     

空间信息网格中异步Web计算服务设计与实现

目前空间信息网格平台上的计算处理功能通常是以Web服务形式对外发布的,而较长时间的处理任务通常会导致Web服务超时,同时现有的处理服务大都基于各自制定的私有协议,相互之间难以实现互操作。本文针对上述问题,在充分分析OGC的Web处理服务基础上,给出了一种基于OGC标准的异步Web处理服务框架。基于该框架实现的处理算法,可以避免因为计算时间过长而失去响应的问题,同时该框架也具有很好的扩展性,算法提供者可以很容易的将自己的算法集成到已有的服务中。同时该服务框架遵循WPS标准,可以与其他遵循WPS标准的处理服务实现互操作与资源共享。     

服务建模基础理论研究(英文)

面向服务的体系结构(SOA)通过发布在开放环境中的服务构造应用系统。在这样的环境中各个服务高度动态变化,需要基于服务形成的系统能够适应这种变化,这种本质特点给SOA带来巨大挑战。目前缺乏对服务系统形式化表述的理论基础。文章主要关注服务系统的基础理论,包括服务代数、基于Petrinet的服务系统建模、并发系统、冲突、混或系统、服务矩阵等。结束部分给出了具体实现的体系结构和案例。     

基于语义相似度的Web服务匹配研究

现有的语义Web服务匹配算法没有考虑到本体概念间的多元关系,导致概念的语义不能被完整地反映出来,从而影响了算法的匹配性能。利用本体概念间的多元关系定义了一种语义距离,并通过该语义距离给出了概念间的语义相似度计算方法,在此基础上提出基于语义相似度的Web服务匹配算法。该算法通过本体概念间的语义相似度来反映Web服务的匹配程度。最后,通过对比实验验证了该算法的可行性和有效性。     

Heuristics for composite Web service decentralization

A composite service is usually specified by means of a process model that captures control-flow and data-flow relations between activities that are bound to underlying component services. In mainstream service orchestration platforms, this process model is executed by a centralized orchestrator through which all interactions are channeled. This architecture is not optimal in terms of communication overhead and has the usual problems of a single point of failure. In previous work, we proposed a method for executing composite services in a decentralized manner. However, this and similar methods for decentralized composite service execution do not optimize the communication overhead between the services participating in the composition. This paper studies the problem of optimizing the selection of services assigned to activities in a decentralized composite service, both in terms of communication overhead and overall quality of service, and taking into account collocation and separation constraints that may exist between activities in the composite service. This optimization problem is formulated as a quadratic assignment problem. The paper puts forward a greedy algorithm to compute an initial solution as well as a tabu search heuristic to identify improved solutions. An experimental evaluation shows that the tabu search heuristic achieves significant improvements over the initial greedy solution. It is also shown that the greedy algorithm combined with the tabu search heuristic scale up to models of realistic size.     

一种QoS与语义关联驱动的服务选取方法

在基于服务的应用中,增值的Web服务可以通过在候选服务中选取一些服务（即服务组件）组合组成。通过分析组合服务的特性,将QoS和服务组件间的语义关联度作为组合服务选取的重要指标,提出了组合服务的语义关联模型,模型综合考虑了服务间的数据逻辑关系以及条件依赖关系对于组合服务的影响,基于该模型将服务选取问题形式化为多目标优化问题,采用遗传算法（Genetic Algorithm（GA））求解。实验结果表明该方法是可行而有效的。     

基于扩展语义接口的Web服务动态组合方法

自动地根据用户请求进行服务的动态组合是目前Web服务领域的关键问题.针对该问题,提出了一种基于本体的服 务动态组合方法,设计并实现了一个服务动态组合原型.首先Web服务按照一定规则被抽象为本体模型,然后通过分析所 构造服务的模型来实现服务的匹配,最后利用BPEL4ws对匹配生成的服务组合序列来进行自动的组合.实验结果表明,该 方法细化了服务接口的语义,并且在发现结果上有更高的准确性.     

面向在线客服系统的调度算法研究

Different from traditional customer service systems, online customer service systems offer business services for multiple customers simultaneously, which makes the adaptation and scheduling between service providers and customers a big challenge. Based on the characteristics of online customer service, this paper proposes a scheduling model for online customer service systems. The scheduling model is composed of three constituents: a multi-priority customer queue, the states of the scheduling system and the transition relations between them, and the correspondence between scheduling strategies and states of the system. Its scheduling algorithm is designed. Experiments verify the rationality of the scheduling model and the effectiveness of the scheduling algorithm. In comparison to the operating customer service system, the algorithm can not only considerably reduce the average waiting time of customers, but also achieve load balancing among service providers, when guaranteeing high quality of services.     

Web服务流程相容性和相似性分析

服务组合和服务替换是面向服务计箅的研究热点,服务流程的相容性和相似性分析是其中的两个密切相关的问题,具有较大实用价值.基于着色Petri网建模Web服务流程,定义服务流程的正确性和相容性.提出服务良构件的概念,证明良构件能够保证组合服务可达终止状态的正确性.在相容性分析的基础上,提出服务流程相似性的定义,证明若新服务与要被替换的服务流程相似,则所进行的替换是上下文无关的,替换后无须再做组合正确性验证,给出相似性的判定算法.文中结论和算法改进了现有服务组合验证和服务替换方法的不足.     

基于语义描述的Web服务工作流集成

Web服务是可以由其它软件在Internet上访问的一种软件接口。Web服务工作流则是一组按一定顺序执行的Web服务的集合。如何集成一个Web服务工作流,特别是如何运用对Web服务的语义描述来为一个工作流来自动寻找和匹配Web服务,这是目前所急需解决的问题。介绍如何用语义Web服务本体论来集成工作流,同时提出一个基于语义Web服务工作流集成的模型。