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

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

基于ARM的嵌入式系统程序开发要点(四)--异常处理机制的设计

异常或中断是用户程序中最基本的一种执行流程或形态,这部分对ARM架构下异常处理程序的编写作一个全面的介绍。 ARM一共有7种类型的异常,按优先级从高到低排列如下:Reset、Data Abort、FIQ、IRQ、Prefetch Abort、SWI和Undefined instruction。  

一种基于异常传播分析的数据流分析方法

异常处理是一种用来检测异常并对其进行处理的技术.异常传播改变了程序原来的执行路线,从而改变了程序中的数据流.在进行数据流分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.在分析C++异常传播机制和异常传播对数据流分析影响的基础上,提出一种包含异常传播信息的函数间控制流图的构建方法.该控制流图可以清晰地表示出异常的隐式控制流和异常的传播路径;然后提出了基于异常传播分析的数据流分析方法,并给出相应的算法.该方法既克服了因忽略异常传播对数据流影响而造成分析结果不准确的不足,又有助于实现异常传播数据流分析的自动处理;最后用一个实例验证了该方法的可用性.该方法可以为结构测试、回归测试、程序切片等软件工程任务提供相关信息.  

Java异常处理机制的研究

异常处理是Java语言的重要语言机制，正确、合理地处理异常对程序的可靠性、健壮性是十分重要的。在分析了异常处理技术的概念和思想后，对异常处理提出了指导原则，并针对检查型异常和非检查型异常的差异，探讨了对应的解决措施。  

kgdb调试Linux内核的剖析与改进

在Linux内核中加入kgdb,通过开发机上的gdb对目标机上的内核进行源代码级的调试技术。  

异常处理机制研究*

介绍了异常处理机制，包括异常的抛出、捕获、传播，并描述了异常的处理模式、传播机制、处理环境。不同应用领域的异常处理机制不同，以Java语言和工作流管理系统为例，分别介绍和讨论了程序设计语言层面和企业层面上的异常处理机制。  

一种基于异常传播分析的依赖性分析方法

在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法.该方法既克服了因忽略异常处理结构对程序依赖性的影响而造成分析结果不准确的不足,又有助于实现基于异常传播的程序依赖性分析的自动处理.最后,对这种依赖性分析方法在程序切片中的应用作了进一步的探讨.  

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

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

基于Java的异常处理技术

异常处理提高了程序的安全性和健壮性。本文就Java语言的异常处理作了详细的分析和探讨,在此基础上,结合例子说明了异常处理在程序设计中的应用。  

程序设计语言异常处理机制

介绍程序设计语言异常处理的基本概念，对Ｃ＋＋、ＣＬＵ、Ｅｉｆｅｌ几种语言中的异常处理进行了说明与比较，并就如何利用这种机制提高软件可靠性进行了讨论。