面向服务软件中基于着色Petri网的异常处理模型

面向服务软件异常处理的开发工作量大且程序逻辑复杂。若只在设计阶段后期或是编码阶段考虑异常处理功能的开发，则可能由于没有充分、完整、系统地考虑待处理的异常而严重影响软件整体可靠性。针对面向服务软件中异常处理机制的特点，提出一种基于着色Petri网的异常处理模型。通过对异常处理组成元素和异常处理模式分别进行形式化描述，可提供可重用的异常处理模型元素。设计者根据面向服务软件中异常处理的实际需求，使用异常处理模式连接异常处理组成元素，形成一个完整的异常处理模型。利用该模型可以精确描述面向服务软件中异常处理总体方案，便于辅助设计人员检测异常处理设计方案中的缺陷。

Exception Handling Model Based on Colored Petri Net in Service-oriented Software

The workload of exception handling development is heavy, with complex program logic. If how to handle exception is considered just in the late design phase or coding phase, the omitted exceptions can seriously affect the overall reliability of the software. For the features of exception handling in scrviccoricnted software, it presented an exception handling model based on colored Petri net. It provides reusable exception handling model elements, by formally describing the elements of exception handling and exception handling patterns. Designer connects the elements of exception handling using exception handling patterns, which forms a complete exception handling model. The model can accurately describe the overall program of exception handling in service-oriented software,aiding to detect the defects in it.