本论文研究的主要内容是运用数学建模的方法,对高可用性系统的设计进行量化分析。主要研究了高可用性系统设计中的量化分析方法。针对高可用性系统的设计提出了一个量化分析的框架:以UML建模为基础,从UML转换到随机Petri网(SPN)的建模方案。将提出一个UML转换SPN的算法,并基于SPN,运用与SPN同构的马尔可夫(Markov)随机过程来进行量化数值分析,得出系统设计的性能参数,并且利用这些性能参数来优化系统设计。 随着计算机应用的不断深入,企业对计算机系统的依赖程度也日渐增加。尤其在一些关键行业的关键应用上,应用的后台核心系统是否具有保护业务关键数据的完整和维持应用程序的高可用性的能力,已经成为影响一个公司业务成败的关键因素。高可用性是目前对于计算机系统的一个重要的非功能性需求。 高可用性系统的设计比一般的软件设计要复杂得多。如何在设计阶段来预测目标系统的量化参数是一个问题。这就是本论文的出发点。 在高可用性系统的设计阶段引入量化分析的方法,有着三方面的优点:一是对于系统的投资者,可以在快速知道目标系统的性能投资,可以在项目的初期阶段对投资的回报作出接价;二是对于高可用性系统的设计者来说,可以根据量化分析的结果来合理选择合适的技术方案和改进系统的设计方案;三是对于软件的质量保证(Quality Assurance)来说,可以把量化分析的结果和实际的测试结果进行分析,进一步验证系统的实现。