| 一种基于UML类图和活动图的故障树生成方法 |
| |
| 引用本文： | 徐慧,燕雪峰,周勇. 一种基于UML类图和活动图的故障树生成方法[J]. 计算机科学, 2016, 43(7): 180-185 |
| |
| 作者姓名： | 徐慧 燕雪峰 周勇 |
| |
| 作者单位： | 南京航空航天大学计算机科学与技术学院 南京210016,南京航空航天大学计算机科学与技术学院 南京210016,南京航空航天大学计算机科学与技术学院 南京210016 |
| |
| 基金项目： | 本文受国防科工局十二五重大基础科研项目(c0420110005,NS2013091)资助 |
| |
| 摘 要： | 针对UML活动图在生成故障树的过程中只能反映活动事件流故障导致的系统失效,不能反映系统静态状态故障的问题,提出了一种活动图结合类图生成故障树的方法。在原有活动图的基础上,使用类图增加系统静态状态信息,设计活动图和类图到故障树模型的转换规则,将活动图中动态行为信息和类图静态状态信息转化为故障树中的节点要素。基于转换规则设计算法逆向遍历活动图和类图,自顶向下生成故障树。经过实例建模生成故障树,表明该方法能反映系统的动态行为和静态状态两方面的故障信息,为故障树生成提供了一种新的有效途径。
|
| 关 键 词： | UML模型 活动图模型 类图模型 故障树 |
| 收稿时间： | 2015-07-16 |
| 修稿时间： | 2015-11-03 |
Fault Tree Generation Method Based on UML Class Diagram and Activity Diagram |
| |
| XU Hui,YAN Xue-feng and ZHOU Yong. Fault Tree Generation Method Based on UML Class Diagram and Activity Diagram[J]. Computer Science, 2016, 43(7): 180-185 |
| |
| Authors: | XU Hui YAN Xue-feng ZHOU Yong |
| |
| Affiliation: | School of Computer Science and Technology,Nanjing University of Aeronautics & Astronautics,Nanjing 210016,China,School of Computer Science and Technology,Nanjing University of Aeronautics & Astronautics,Nanjing 210016,China and School of Computer Science and Technology,Nanjing University of Aeronautics & Astronautics,Nanjing 210016,China |
| |
| Abstract: | |
| |
| Keywords: | UML model UML activity diagram model UML class diagram model Fault tree |
|
|
点击此处可从《计算机科学》下载全文 |
|
