排序方式: 共有232条查询结果,搜索用时 31 毫秒
1.
工作流异常处理的形式描述 总被引:14,自引:0,他引:14
异常处理是工作流执行中要解决的主要问题之一,清楚地描述异常处理的过程是最终得到实现的基础。Petri-net对工作流的描述适合于对过程定义进行正确性验证和评价,但描述各种不同条件下的处理策略却很繁琐,采用了一种直观的描述方法对异常处理过程中的元素,即活动、异常处理策略以及处理措施进行了形式化描述,特别是对不同处理策略下的处理过程进行了描述。结合消息机制,分析了一个异常事件出现时,如何处理一个活动实例产生的中间数据,并对事务处理和异常处理的补偿策略进行了比较。描述方法为编码实现提供了很大的方便。 相似文献
2.
基于ARM的嵌入式系统程序开发要点(四)--异常处理机制的设计 总被引:7,自引:0,他引:7
费浙平 《单片机与嵌入式系统应用》2003,(11):82-85
异常或中断是用户程序中最基本的一种执行流程或形态,这部分对ARM架构下异常处理程序的编写作一个全面的介绍。 ARM一共有7种类型的异常,按优先级从高到低排列如下:Reset、Data Abort、FIQ、IRQ、Prefetch Abort、SWI和Undefined instruction。 相似文献
3.
异常处理是一种用来检测异常并对其进行处理的技术.异常传播改变了程序原来的执行路线,从而改变了程序中的数据流.在进行数据流分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.在分析C++异常传播机制和异常传播对数据流分析影响的基础上,提出一种包含异常传播信息的函数间控制流图的构建方法.该控制流图可以清晰地表示出异常的隐式控制流和异常的传播路径;然后提出了基于异常传播分析的数据流分析方法,并给出相应的算法.该方法既克服了因忽略异常传播对数据流影响而造成分析结果不准确的不足,又有助于实现异常传播数据流分析的自动处理;最后用一个实例验证了该方法的可用性.该方法可以为结构测试、回归测试、程序切片等软件工程任务提供相关信息. 相似文献
4.
5.
6.
7.
8.
Java虚拟机异常处理机制的设计与实现 总被引:5,自引:1,他引:4
异常处理机制是程序设计语言的重要特征之一,它为开发可靠性软件系统提供了强有力的支持,介绍了不同语言的异常处理机制,对Java语言的异常处理机制进行了详细论述,最后结合国产开放系统平台COSIX虚拟机异常处理的设计,深入探讨了在解释才及时编译执行两种不同的情况下,异常处理设计与实现的关键技术。 相似文献
9.
异常处理提高了程序的安全性和健壮性。本文就Java语言的异常处理作了详细的分析和探讨,在此基础上,结合例子说明了异常处理在程序设计中的应用。 相似文献
10.