基于AADL的软件开发技术研究  

Survey of software development technology based on AADL

作　　者：宋翠叶[1] 杜承烈[1] 李刚[1] 

机构地区：[1]西北工业大学计算机学院,西安710129

出　　处：《计算机应用研究》2009年第9期3361-3364,共4页Application Research of Computers

基　　金：国家"十一五"武器装备预研项目;航空基础科学基金资助项目(2007ZD53043)

摘　　要：形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言(AADL)在软件开发中的作用及其技术现状,介绍了AADL的语言组成和相关特性,分析了AADL在软件开发过程中的作用,给出了一个相应AADL工具集的框架模型。在此基础上,对现有的AADL相关工具进行了综述比较,总结出该框架的技术现状,并指出了AADL相关工具开发与应用的趋势。Formalization is very important in software development. AADL （ architectural analysis and design language ） is a kind of architecture description language. In order to get a deep understand about the role of AADL in software development, this paper firstly analysed the elements of the language and summarized its special characteristics. Then, it analysed its use in software development, and pointed out kinds of tools it requires. After that, gave a model of an AADL tool suite framework, and described each part of the framework in detail. According to the framework, made an overview of the existing tools for AADL. The analysis and comparison result shows that technologies and tools for AADL will be developed in a more integrated way.

关 键 词：体系结构分析与设计语言 软件开发过程 瀑布模型 工具集 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]