一种从UML模型到可靠性分析模型的转换方法

CORC > 北京大学 > 信息科学技术学院

	一种从UML模型到可靠性分析模型的转换方法; Approach to Transforming UML Model to Reliability Analysis Model
	柳毅 ; 麻志毅 ; 何啸 ; 邵维忠
刊名	软件学报
	2010
关键词	基于构件的软件开发软件可靠性 UML 模型转换 Markov链 CBSD (component-based software development) software reliability UML model transformation Markov chain
英文摘要	以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基础上,通过构造一个称为构件转移图的中间模型,将标注了可靠性信息的UML模型转换为Markov链.该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入,从而使可靠性分析工作变得更加方便、高效.; the National Natural Science Foundation of China under Grant No.60773152; the National Basic Research Program of China under Grant No.2005CB321805 (国家重点基础研究发展计划; the National High-Tech Research and Development Plan of China under Grant Nos.2007AA01Z127, 2007AA010301 (国家高技术研究发展计划; the Fund for Creative Research Groups of China under Grant No.60821003; 中文核心期刊要目总览(PKU); 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 2; 287-304; 21
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/245511]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	柳毅,麻志毅,何啸,等. 一种从UML模型到可靠性分析模型的转换方法, Approach to Transforming UML Model to Reliability Analysis Model[J]. 软件学报,2010.
APA	柳毅,麻志毅,何啸,&邵维忠.(2010).一种从UML模型到可靠性分析模型的转换方法.软件学报.
MLA	柳毅,et al."一种从UML模型到可靠性分析模型的转换方法".软件学报 (2010).