基于UML的可信概念模型
随着计算机在国民经济和国防领域中的广泛应用，可信性质已经成为评价计算机系统非功能性的重要指标．从形式化表示机制的角度，本文应用UML语言建立了计算机系统的可信概念模型．首先给出了可信概念的高层次抽象UML类图，然后分别描述了可信性质、可信威肋和可信保障技术的UML模型，其中重点介绍了系统失效机理和系统容错技术的概念模型．最后，本文指出以UML为基础的软件可信技术有可能成为开发高可信性计算机系统的发展趋势．
可信概念模型 UML语言 可信技术
王承松 毛晓光 雷晏 王燕妮
国防科技大学计算机学院,湖南长沙 410073
国内会议
合肥
中文
444-449
2010-07-24（万方平台首次上网日期，不代表论文的发表时间）