面向服务软件异常处理模型及可终止性分析 - 2012年第三届中国计算机学会服务计算学术会议.pdf

172 0

2025-12-14 20:49 | 查看全部阅读模式

论文《面向服务软件异常处理模型及可终止性分析》提出了一种面向服务软件的异常处理模型，旨在提高系统的可靠性和容错能力。该研究通过形式化方法对异常处理流程进行建模，并分析了系统的可终止性，确保在出现异常时系统能够正确恢复或终止。文章为服务计算领域的软件设计与验证提供了理论支持和实践指导。

文档为pdf格式，0.76MB，总共21页。