论文研究分布式软件动态配置环境可视化的研究与实现.pdf
我们提出了一种基于有限状态机和层次系统状态的分析模型，在此基础上通过一个分析实例来对生存性的计算过程进行演示。其中包含系统定义、系统生存性测试和生存性计算三个步骤。该实例计算显示基于FSM模型的量化分析方法具有很好的实际可行性。
下载地址
用户评论
