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

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

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

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

文件大小:

778.24 KB

下载次数:

60

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

高速下载