面向服务软件异常处理模型及可终止性分析 - 2012年第三届中国计算机学会服务计算学术会议.pdf
<p>论文《面向服务软件异常处理模型及可终止性分析》提出了一种面向服务软件的异常处理模型，旨在提高系统的可靠性和容错能力。该研究通过形式化方法对异常处理流程进行建模，并分析了系统的可终止性，确保在出现异常时系统能够正确恢复或终止。文章为服务计算领域的软件设计与验证提供了理论支持和实践指导。</p>文档为pdf格式，0.76MB，总共21页。</br>
<img src="https://d.z3060.com/docthumbnail/202512/14/xwu55df5rgs.webp" title="面向服务软件异常处理模型及可终止性分析 - 2012年第三届中国计算机学会服务计算学术会议" alt="面向服务软件异常处理模型及可终止性分析 - 2012年第三届中国计算机学会服务计算学术会议">
页:
[1]