基于AADL软件开发技术研究.docVIP

基于AADL软件开发技术研究 　　摘 要:形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言(AADL)在软件开发中的作用及其技术现状,介绍了AADL的语言组成和相关特性,分析了AADL在软件开发过程中的作用,给出了一个相应AADL工具集的框架模型。在此基础上,对现有的AADL相关工具进行了综述比较,总结出该框架的技术现状,并指出了AADL相关工具开发与应用的趋势。 　　关键词:体系结构分析与设计语言; 软件开发过程; 瀑布模型; 工具集 　　中图分类号:TP311文献标志码:A 　　文章编号:1001-3695(2009)09-3361-04 　　doi:10.3969/j.issn.1001-3695.2009.09.045 　　 　　Survey of software development technology based on AADL 　　SONG Cui-ye, DU Cheng-lie, LI Gang 　　(College ofComputer, Northwestern Polytechnical University, Xi’an710129, China) 　　Abstract:Formalization is very important in software development. AADL(archi