支持QoS管理的下一代互联网IP业务的SLA违例处理及应用

为了实现对下一代互联网IP业务的SLA违例处理的规范化管理,保证业务正常、可靠、高质量地提供,定义了一个通用的SLA违例处理模板,详细描述了该模板的组成内容和属性,并在模板的基础上提出了能够保障服务质量的SLA违例处理的流程,最后讨论了与服务参数相关的SLA违例处理在服务保障阶段的应用实例。     

一种面向内核接口的顺序依赖规则挖掘与违例检测方法

内核扩展函数以接口的形式提供给驱动,用于管理设备和申请相关的资源.这些接口中存在大量的顺序依赖规则,如自旋锁必须经过初始化才能加锁,然后才能解锁;驱动在加载时申请的内存,卸载时必须予以释放等.然而,驱动开发者常常不熟悉或疏忽内核接口的使用规则,导致驱动中存在大量的接口使用违例,影响驱动及系统的可靠运行.文中提出了一种面向内核接口的顺序依赖规则挖掘与违例检测方法(SD-Miner).该方法结合驱动源码的结构特征,对驱动代码使用的内核接口进行统计分析,挖掘并提取内核接口的顺序依赖规则,并利用提取的规则检测现有的驱动源码中的使用违例.SD-Miner对Linux 3.10.10和2.6.38的驱动源码分别进行了规则挖掘和违例检测.对比检测结果发现,在2.6.38中检测出的错误中,有64处在3.10.10中得到了修正.SD-Miner检测和分析Linux 3.10.10的3781款驱动的过程仅耗费5 min,共计提取出了220个顺序依赖相关的接口使用规则,并检测到了756个使用违例,作者将其中50个提交给了开发者,累计有25个回复者对20个使用违例进行了确认.实验结果表明,SD-Miner能够有效地挖掘出内核接口的顺序依赖规则,并检测出使用违例,进而辅助开发人员对驱动进行修正来提高驱动可靠性.此外,规则的挖掘是基于驱动的结构信息和统计信息,不需要开发者在源码中提供额外的注释及标注.     

基于智能数据库模式的数据处理

智能化是数据库运行的必然趋势,智能办公过程要充分发挥智能模式的功能作用。本文总结了数据库实际应用功能,分析智能数据库建设的特点,提出数据库智能处理操作的流程方案。     

工作流流程模型结构优化算法的研究

该文从一个新颖的角度提出一种优化工作流流程模型结构的算法,用进程代数CCS来描述工作流流程模型的定义,并引用了进程代数中的互模拟的思想,提出了互模拟活动集合以及子流程的定义,同时给出如何找出复杂工作流流程模型中的互模拟活动的算法,该算法的提出简化了工作流流程模型的结构,从而提高了流程的运行效率。     

分布共享环境下支持弹性伸缩的图处理框架

作为大数据处理的一种重要模式,图处理被广泛地应用在机器学习、数据统计和数据挖掘等场景中。在企业级应用中,多种类型的大数据处理框架通常会部署在同一个分布式集群中,其运行环境是开放、共享的,这时图处理需要考虑运算资源动态变化的问题。为了能适应这种动态性,更加充分地利用开放共享环境的资源,图处理框架应该具备弹性伸缩能力。通过调研,发现现有的图处理框架尚未完全实现弹性伸缩。为此,介绍了一种支持弹性伸缩的分布式并行图处理框架SPar Ta G。首先基于任务并行模型定义了图处理任务集及任务模型;其次基于任务迁移机制设计并实现了可动态伸缩的图处理框架;最后设计了一个基于负载均衡的调度算法,实现了动态伸缩的图处理过程。实验结果说明,SPar Ta G的性能与当前流行的开源图处理框架Giraph相近,且具有较好的弹性伸缩能力。     

基于程序分析的代码查询技术

策略描述语言是策略驱动的面向服务流程异常处理方法的基础和前提。针对目前已有策略语言在描述面向服务流程异常处理逻辑方面的不足,提出了一种新的面向服务流程异常处理的策略描述语言WS-Policy4BPEH。它在Web服务策略框架的基础上,扩展了ECA对规则执行影响的描述,定义了多种面向服务流程的异常处理动作模式,能够详细、准确地描述异常及异常处理方式、返回方式和传播方式。WS-Policy4BPEH采用XML作为元语言,因此具有良好的可扩展性。     

基于服务协作中间件的动态流程模型

新兴的面向服务体系结构正在加速软件的发展和变化,无法适应动态环境的应用将逐渐失去作用,尤其对那些面临着需求频繁变更的业务流程管理系统而言更是如此.为了响应这种现实需求,基于Web服务和业务流程管理技术,提出了服务协作中间件(service cooperation middleware,简称SCM)模型,探讨了其内部机理与协作流程元模型的形式化.通过引入模型转换,扩充流程状态空间,定义了动态流程模型,动态流程的结构重构和行为自适应可以借助SCM的反射能力得以实现.针对SCM模型,设计了流程虚拟机(prrocess virtual machine,简称PVM),流程在运行时由PVM控制执行.借助于模型驱动机制,业务流程可从设计到运行不断地进行模型变换.由此建立的业务流程能够更灵活、更广泛地适用于各种开放环境,提升企业分布计算.     

支持动态建模的工作流管理系统的研究与设计

传统的工作流模型大多是处理可预见的、可事先给出完整定义的流程，然而现代企业流程所固有的多变性和灵活性要求其完整定义只有在流程实例运行过程中逐步得到完善，因而传统工作流模型很难处理现代企业流程．提出一种基于ECA规则和活动组合的动态工作流模型，为现代企业动态流程建模提供了一种简单可行的方法。设计了一个多Agent工作流管理系统，有效地实现了对该动态工作流模型的支持。     

基于条件约束的工作流语义验证方法及应用

针对业务流程在动态执行时,由于业务环境、资源的复杂性和多变性会给流程的正确执行带来影响的问题,提出一个用于描述基于业务目标实现的流程、业务资源,以及三者协作争约束关系的四维元模型;并且基于流程模式对业务过程进行表示,利用XML进行流程知识表示的优势,通过在流程模式的XML Schema中对实现业务目标所依赖的资源、环境等进行条件约束的设计,根据业务目标、流程和资源三者之间的逻辑条件约束关系,采用条件匹配算法对动态规划出的流程文件进行解析和语义检查,减少了工作流引擎在执行时会发生错误的概率.     

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

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

Context aware exception handling in business process execution language

ContextFault handling represents a very important aspect of business process functioning. However, fault handling has thus far been solved statically, requiring the definition of fault handlers and handling logic to be defined at design time, which requires a great deal of effort, is error-prone and relatively difficult to maintain and extend. It is sometimes even impossible to define all fault handlers at design time.ObjectiveTo address this issue, we describe a novel context-aware architecture for fault handling in executable business process, which enables dynamic fault handling during business process execution.MethodWe performed analysis of existing fault handling disadvantages of WS-BPEL. We designed the artifact which complements existing statically defined fault handling in such a way that faults can be defined dynamically during business process run-time. We evaluated the artifact with analysis of system performance and performed a comparison against a set of well known workflow exception handling patterns.ResultsWe designed an artifact, that comprises an Observer component, Exception Handler Bus, Exception Knowledge Base and Solution Repository. A system performance analysis shows a significantly decreased repair time with the use of context aware activities. We proved that the designed artifact extends the range of supported workflow exception handling patterns.ConclusionThe artifact presented in this research considerably improves static fault handling, as it enables the dynamic fault resolution of semantically similar faults with continuous enhancement of fault handling in run-time. It also results in broader support of workflow exception handling patterns.     

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

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

Exception handling refactorings: Directed by goals and driven by bug fixing

Exception handling design can improve robustness, which is an important quality attribute of software. However, exception handling design remains one of the less understood and considered parts in software development. In addition, like most software design problems, even if developers are requested to design with exception handling beforehand, it is very difficult to get the right design at the first shot. Therefore, improving exception handling design after software is constructed is necessary. This paper applies refactoring to incrementally improve exception handling design. We first establish four exception handling goals to stage the refactoring actions. Next, we introduce exception handling smells that hinder the achievement of the goals and propose exception handling refactorings to eliminate the smells. We suggest exception handling refactoring is best driven by bug fixing because it provides measurable quality improvement results that explicitly reveal the benefits of refactoring. We conduct a case study with the proposed refactorings on a real world banking application and provide a cost-effectiveness analysis. The result shows that our approach can effectively improve exception handling design, enhance software robustness, and save maintenance cost. Our approach simplifies the process of applying big exception handling refactoring by dividing the process into clearly defined intermediate milestones that are easily exercised and verified. The approach can be applied in general software development and in legacy system maintenance.     

基于轻量级Java EE框架的异常处理研究

正确使用异常处理机制对设计可靠、健壮的程序十分重要。对轻量级框架Struts2、Spring和Hibernate的异常处理进行分析,通过研究数据层、业务层、表现层的异常处理方式,结合异常抛出的种类以及在异常发生时的程序流程控制,提出了Java EE系统开发中,层与层之间异常的声明与处理方式,以及异常信息的包装再处理过程。     

请求驱动的校务管理系统异常处理机制

异常处理机制是所有WEB应用设计中的关键组成部分,Spring MVC框架提供了异常处理接口和多种解析器. 通过源码分析法深入探讨了各种解析器的工作原理,总结得出它们的时间复杂度并进行了应用方式对照. 结合我校在校务管理系统基础框架上异常处理的应用需求情况,将异常划分为业务异常和系统异常两大类,设计并实施一个包含AJAX异常处理和ExceptionHandler统一异常处理的异常机制.     

工作流异常处理的形式描述

异常处理是工作流执行中要解决的主要问题之一，清楚地描述异常处理的过程是最终得到实现的基础。Petri-net对工作流的描述适合于对过程定义进行正确性验证和评价，但描述各种不同条件下的处理策略却很繁琐，采用了一种直观的描述方法对异常处理过程中的元素，即活动、异常处理策略以及处理措施进行了形式化描述，特别是对不同处理策略下的处理过程进行了描述。结合消息机制，分析了一个异常事件出现时，如何处理一个活动实例产生的中间数据，并对事务处理和异常处理的补偿策略进行了比较。描述方法为编码实现提供了很大的方便。     

面向服务软件异常处理过程的可终止性验证

大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。而异常处理过程的可终止性是确保其正确性的重要基础,如果异常处理过程不能终止将导致面向服务软件无法正常运行。目前缺乏异常处理过程的可终止性验证方法,从而无法保证异常处理达到预期的目标。基于着色Petri网(colored Petri net,CPN)提出了一种面向服务软件异常处理过程的可终止性验证方法。该方法建立了包括正常流程和异常处理逻辑的异常层次CPN模型(hierarchy CPN model for exception handling,HCPN4EH)。基于此模型验证了异常处理过程的可终止性。通过一个实例说明了该方法的可行性和有效性。得到的可终止性验证结果可为进一步分析异常处理过程的正确性提供基础。     

Exception Handling for Conflict Resolution in Cross-Organizational Workflows

Workflow management systems (WfMSs) are being increasingly deployed to deliver e-business transactions across organizational boundaries. To ensure a high service quality in such transactions, exception-handling schemes for conflict resolution are needed. The conflicts primarily arise due to failure of a task in workflow execution because of underlying application, or controlling WfMS component failures or insufficient user input. So far, little progress has been reported in addressing conflict resolution in cross-organizational business processes, though its importance has been recognized. In this paper, we identify the exception handling techniques that support conflict resolution in cross-organizational settings. In particular, we propose a novel, bundled exception-handling approach, which supports (1) exception knowledge sharing--sharing exception specifications and handling experiences, (2) coordinated exception handling, and (3) intelligent problem solving--using case based reasoning to reuse exception handing experiences. A prototype of this exception handling mechanism is developed and integrated as a part of the METEOR Workflow Management System. An evaluation of our approach is also presented through some sample workflow applications.     

Java虚拟机异常处理机制的设计与实现

异常处理机制是程序设计语言的重要特征之一,它为开发可靠性软件系统提供了强有力的支持,介绍了不同语言的异常处理机制,对Ｊａｖａ语言的异常处理机制进行了详细论述,最后结合国产开放系统平台ＣＯＳＩＸ虚拟机异常处理的设计,深入探讨了在解释才及时编译执行两种不同的情况下,异常处理设计与实现的关键技术。     

Java异常处理策略研究

异常处理机制是程序设计语言的重要标志之一,在程序设计过程中用来处理程序运行中的异常。传统的程序设计语言里异常处理较为繁杂。Java是一种面向对象的程序设计语言,且引入了异常处理机制。合理完备的异常处理可以增强程序运行的可靠性、提高软件的健壮性,可以较为快速地确定错误的位置。文章分析了Java异常处理的逻辑,阐述了异常类、异常处理机制以及异常处理方法,提出了异常处理的一些策略。综合运用这些策略可以使编程人员编写出更加简洁、高效的程序代码。