10.3969/j.issn.1006-2475.2008.02.020
基于政策的自配置系统的形式建模与分析
计算机系统的复杂性不仅使其分析与开发困难, 而且同样使其安装配置面临挑战.为解决复杂系统配置面临的问题,具有一定程度智能性的自配置系统正成为研究热点.本文针对基于政策的自配置系统框架,提出该类系统的形式化描述模型,在该系统模型的基础上可将系统的自配置行为描述为系统内部的状态转移过程,从而能对自配置系统的性质进行分析与验证.最后通过配置实例对提出的自配置系统进行分析,验证系统具备的性质.
自配置、政策、形式模型、验证
TP311(计算技术、计算机技术)
2008-05-05(万方平台首次上网日期,不代表论文的发表时间)
共4页
63-66