BPMS中一种基于流程异常库的异常处理方法

针对传统的BPMS处理异常时所采用的失败补偿法、ECA法、案例推理法等方案在智能化方面存在的不足,着重研究了业务流程管理系统中异常处理的问题,提出了一种ECA法与案例推理法相结合的、基于流程异常库的处理方式,来提高系统对于异常的预测能力以及在异常发生时能够尽早采取有效的解决措施,减小异常的负面影响,最大程度上实现系统处理异常的自动化及智能化,增加了BPMS的柔性。     

BPMS中一种基于流程异常库的异常处理方法

针对传统的BPMS处理异常时所采用的失败补偿法、ECA法、案例推理法等方案在智能化方面存在的不足,着重研究了业务流程管理系统中异常处理的问题,提出了一种ECA法与案例推理法相结合的、基于流程异常库的处理方式,来提高系统对于异常的预测能力以及在异常发生时能够尽早采取有效的解决措施,减小异常的负面影响,最大程度上实现系统处理异常的自动化及智能化,增加了BPMS的柔性.     

Java语言的异常处理设计原则

异常处理是Java语言的重要语言机制，正确地处理异常对程序的可靠性、健壮性是十分重要的。回顾了异常处理技术的概念和思想，对异常处理提出了一套实用的设计原则，并针对Java语言的具体环境，分类介绍了各种异常的常用处理方式。     

关于C++中异常处理的探讨

异常处理是C++中的重要功能之一,为了检测和处理异常,C++语言不仅提供了一套完整的异常侦测和处理语句,还具有在堆栈展开期间为异常抛掷前构造的所有局部对象自动调用析构函数的能力。这使得程序中的错误的检测简单化,并提高程序处理错误的能力。本文将探讨C++中异常处理的基本思想以及编程中常用的异常处理方式。     

VTD—XML技术在．NET平台下EDI系统中的运用

在回顾EDI以及XML背景知识的基础上,本文介绍了一种全新的XML处理方式,并使用这种处理方式对EDI数据进行处理,与普通的XML处理方式进行了比较。     

TCAS系统多目标机冲突决策处理的研究

本文主要介绍空中交通多目标机冲突的Pairwise决策方式。以空中交通警戒和防撞系统（TCAS）对多目标冲突处理为例，介绍了Pairwise处理方式在实际案例中的应用。详细分析了TCAS系统对多目标机冲突处理的原理、处理流程以及主要处理功能模块。介绍了TCAS对多目标机冲突的分类以及分类后的具体Pairwise处理方式。最后对比了Pairwise与Global两种多目标机冲突的处理方式，分析了两种处理方式的优缺点。     

试析Java语言异常处理技术

Java语言的关键性技术之一就是异常处理,这一技术能够快速精准地完成对语言程序中的异常进行识别和处理,从而让Java程序语言保持足够的可靠性.提出了Java语言的异常化处理优势后,对于Java语言可能出现的异常进行分类,对于异常处理技术的原理进行解释,并简单分析了两种异常处理方式.     

Struts异常处理机制研究及应用

Struts是一个优秀的开源框架,不仅在控制逻辑上有良好的表现能力,而且也提供了强大的异常框架。在这个框架下,异常定义和异常处理有许多方式,而自定义的异常类和可配置的异常处理方式成为开发者在处理异常时首选的技术。本文在对Struts中异常处理技术详细分析的基础上给出一个典型的应用案例。     

Java异常处理

异常处理是Java程序设计中一个非常重要的机制,也是程序设计的一大难点,就异常和异常处理方式等方面进行介绍,并通过一个实例来验证异常。     

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

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

Java异常处理策略研究

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

Verification of Real Time Operating System Exception Management Based on SPARCv8

Exception management,as the lowest level function module of the operating system,is responsible for making abrupt changes in the control flow to react to exception events in the system.The correctness of the exception management is crucial to guaranteeing the safety of the whole system.However,existing formal verification projects have not fully considered the issues of exceptions at the assembly level.Especially for real-time operating systems,in addition to basic exception handling,there are nested exceptions and task switching by exceptions service routine.In our previous work,we used high-level abstraction to describe the basic elements of the exception management and verified correctness only at the requirement layer.Building on earlier work,this paper proposes EMS(Exception Management SPARCv8),a practical Hoare-style program framework to verify the exception management based on SPARCv8(Scalable Processor Architecture Version 8) at the design layer.The framework describes the low-level details of the machine,such as registers and memory stack.It divides the execution logic of the exception management into six phases for comprehensive formal modeling.Taking the executing scenario of the real-time operating system SpaceOS on the Beidou-3 satellite as an example,we use the EMS framework to verify the exception management.All the formalization and proofs are implemented in the interactive theorem prover Coq.     

PL/SQL中的异常管理

在大型数据库应用程序的构建过程中,难免程序在运行时不会出错,然而,代码如何响应和处理这些错误往往决定着一个应用程序的成功与否.从异常类型、如何引发异常、如何自定义异常、如何处理异常4个方面来探究PL/SQL中的异常处理机制.     

The guardian model and primitives for exception handling in distributed systems

This work presents an abstraction called guardian for exception handling in distributed and concurrent systems that use coordinated exception handling. This model addresses two fundamental problems with distributed exception handling in a group of asynchronous processes. The first is to perform recovery when multiple exceptions are concurrently signaled. The second is to determine the correct context in which a process should execute its exception handling actions. Several schemes have been proposed in the past to address these problems. These are based on structuring a distributed program as atomic actions based on conversations or transactions and resolving multiple concurrent exceptions into a single one. The guardian in a distributed program represents the abstraction of a global exception handler, which encapsulates rules for handling concurrent exceptions and directing each process to the semantically correct context for executing its recovery actions. Its programming primitives and the underlying distributed execution model are presented here. In contrast to the existing approaches, this model is more basic and can be used to implement or enhance the existing schemes. Using several examples we illustrate the capabilities of this model. Finally, its advantages and limitations are discussed in contrast to existing approaches.     

分层准则调控的服务协同保障机制

为了提高服务协同的可靠性和简化异常处理设计过程的复杂性,在基于服务协同的虚拟组织中引入分层准则调控的服务协同保障机制,在功能准则层通过各业务间依赖关系生成异常依赖关联,从而在异常处理中通过异常依赖关联指导保障准则层的运作,并结合高效可行的运行机制,保障服务的一致性和可靠性。首先给出准则的定义,然后给出了异常依赖关联的自动生成算法,以及分层准则调控的服务协同保障机制,阐述了异常处理步骤,最后结合详细实例进行了情景分析。     

基于GE_PLC的V型滤池自动化控制系统的设计与应用

在污水处理工艺中,滤池过滤能力的再生,是滤池稳定高效运行的关键。较好的反冲洗自动化控制技术,能够使滤池经常处于最优条件下工作,增大滤层的截污能力,延长工作周期。本文针对某污水处理厂的V型滤池阐述其反冲洗自动控制技术方案与程序设计。     

浅谈C#程序中的异常处理机制

程序设计中,异常是一个不可忽略的元素,因此,有效的异常处理是程序完善的重要标志。重点介绍了C#语言中的异常处理机制。主要包括异常的基础知识、异常处理机制、程序设计中的异常三个部分。异常基础知识部分,讲解了什么是异常,异常发生的情况及主要的异常类,使读者对程序异常有基本的认识。异常处理机制部分,从应用程序和理论两方面对C#语言中对异常的处理机制进行讲解,详细分析了三种异常处理语句。程序设计中的异常部分,通过一个简单的程序开发中的例子扩展异常机制在程序设计中的应用,拓宽软件开发人员的设计思路。     

带有异常结构程序的数据流分析

以数据流分析为基础的程序理解是软件工程重要研究领域之一。现在大多数的程序设计语言提供了异常处理机制,但程序中的异常结构会影响数据流分析。如果不考虑这种影响,把得到的数据流分析信息用于程序理解中,会产生严重的后果。文中以Java语言程序为例,提出了一种数据流分析方法,该方法充分考虑了异常结构对数据流分析的影响,从而保证数据流分析信息的正确性与准确性。     

一种静态检测C++异常安全的方法

异常作为C++语言的错误处理机制,为C++程序设计提供了很多便利。恰当使用异常可以提高程序的健壮性,但不当使用会导致程序运行效率降低,甚至使程序崩溃。文章通过分析异常在C++程序中的各种表现形式,对异常安全漏洞进行了分类,在此基础上构建异常安全规则,采用过程间自下而上收集传递信息和过程内语法制导翻译相结合的方法,实现了C++异常安全的静态检查。     

Exits in the refinement calculus

Although many programming languages contain exception handling mechanisms, their formal treatment — necessary for rigorous development — can be complex. Nevertheless, this paper presents a simple incorporation ofexit commands and exception blocks into a rigorous program development method. The refinement calculus, chosen for the exercise, is a method of developing imperative programs. It is based on weakest preconditions, although they are not used explicitly during program construction; they merely justify the general method. In the style of the refinement calculus, program development laws are given that introduce and allow the manipulation ofexits. The soundness of the new laws is shown using weakest preconditions (as for the existing refinement calculus laws). The extension of weakest preconditions needed to handleexits is a variation on earlier work of Cristian; the variation is necessary to handle nondeterminism.