论文部分内容阅读
研究基于随机Petri网（SPN）的信息系统生存性分析建模方法．首先，将信息系统抽象为请求组件、通信组件、处理组件和存储组件4个部分；其次，将信息系统工作流程形式化描述和生存性分析建模相结合，并分别描述了通用信息系统、系统组件失效修复、串联并接、冗余以及具有可生存属性组件的随机Petri网建模方法．从而对系统形式化描述的同时对系统生存性能做了定性和定量分析；最后，仿真实验证明基于SPN建模方法分析信息系统生存性的有效性和准确性，并为可生存的信息系统设计提供理论基础和指导．