作者：王纪文; 游静; 许满武; 刘凤玉自恢复软件体系结构petri网模型形式化方法
摘要：不断增长的软件系统复杂性要求系统本身能够实时对资源变化、故障错误进行响应.虽然现在也发表了一些有关自恢复软件系统方面的文章,然而关于这类系统软件体系结构形式化的研究尚属起步;首先分析了自恢复功能软件的运行机制,给出了自恢复软件系统的形式化模型描述;在此基础上,对指挥控制系统(command and controlsystem,简称c2)软件体系结构进行了形式化定义和分析.结果显示所设计的自恢复模型能够满足软件系统的约束条件,提高了系统的可用性.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
