关键词: 异常处理, 可终止性验证, 验证方法, 面向服务软件

Abstract: The dynamic and uncertainty of large-scale service-oriented software trend to cause high complexity of the excep-tions logic which can lead to be extremely difficult to verify the termination of exception handling process. However, the termination of exception handling process is important foundation to ensure its correctness. If the exception handling process does not terminate, service-oriented software will not work normally. The current research rarely focuses on the verification method of termination for exception handling process in service-oriented software, thus exception handling can not be guaranteed to achieve the desired objectives. Therefore, this paper proposes a colored Petri net (CPN)-based verification method of termination for exception handling process in service-oriented software. Firstly, this method establishes the hierarchy CPN model for exception handling (HCPN4EH) including the CPN description of normal flow and exception handling logic. Then, the termination of exception handling process can be analyzed and verified according to the established model. Finally, an example demonstrates the fea-sibility and effectiveness of this method. The results of termination verification can provide the foundation for fur-ther analysis of correctness of the exception handling process.

Key words: exception handling, termination verification, verification method, service-oriented software