基于UML的可信概念模型  

A Model of Dependability Concept Based on UML

作　　者：王承松[1] 毛晓光[1] 雷晏[1] 王燕妮[1] 

机构地区：[1]国防科学技术大学计算机学院,长沙410073

出　　处：《计算机研究与发展》2010年第S1期209-215,共7页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60503032);国家"八六三"高技术研究发展计划基金项目(2006AA01Z178;2007AA010301)

摘　　要：随着计算机在国民经济和国防领域中的广泛应用,可信性质已经成为评价计算机系统非功能性的重要指标.从形式化表示机制的角度,应用UML语言建立了计算机系统的可信概念模型.首先给出了可信概念的高层次抽象UML类图,然后分别描述了可信性质、可信威胁和可信保障技术的UML模型,其中重点介绍了系统失效机理和系统容错技术的概念模型.最后,指出以UML为基础的软件可信技术有可能成为开发高可信性计算机系统的发展趋势.随着计算机在国民经济和国防领域中的广泛应用,可信性质已经成为评价计算机系统非功能性的重要指标.从形式化表示机制的角度,应用UML语言建立了计算机系统的可信概念模型.首先给出了可信概念的高层次抽象UML类图,然后分别描述了可信性质、可信威胁和可信保障技术的UML模型,其中重点介绍了系统失效机理和系统容错技术的概念模型.最后,指出以UML为基础的软件可信技术有可能成为开发高可信性计算机系统的发展趋势.

关 键 词：高可信 UML 概念模型 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]