论文研究基于AADL的软件开发技术研究.pdf

形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言（AADL）在软件开发中的作用及其技术现状，介绍了AADL的语言组成和相关特性，分析了AADL在软件开发过程中的作用，给出了一个相应AADL工具集的框架模型。在此基础上，对现有的AADL相关工具进行了综述比较，总结出该框架的技术现状，并指出了AADL相关工具开发与应用的趋势。