题目：支持AADL的需求模型到软件架构生成技术的研究与实现

需求工程和构造软件架构是软件生命周期内的两个关键活动。需求工程关注如何详尽地描述用户需求，即进行需求建模。而构造软件架构是要刻画软件设计并关注如何实现用户需求。虽然需求建模和软件架构的研究工作是相对独立的，但是随着研究的深入，人们对需求到软件架构的追踪做了大量的研究。目前在需求阶段研究软件架构，主要有如下两种方法：一是用软件架构的概念和描述手段在较高抽象层次上刻画软件需求；二是探讨如何从软件需求自动或半自动地转换到软件架构模型。 本文首先针对AADL的基本理论基础进行研究，介绍了AADL的组件的概念、并且对AADL不同的组件进行了简要说明，讨论AADL的组件语法规则。通过一个实例着重介绍了AADL软件架构建模方法以及AADL的建模特点。本文接着对当今的需求模型进行了总结，针对高安全嵌入式软件开发特点以及AADL软件架构建模方法的特点，提出一套需求模型及其使用规则说明。接着根据此需求模型给出针对此需求模型的分析方法，利用此方法来获取需求模型内的相关信息。最后提出一套能够将获取的需求信息转换成相应的AADL组件的转换规则。同时给出一套转换方法，根据此转换方法，能够将转换生成的AADL组件组织起来，生成一个完整的AADL软件架构模型。最后本文介绍了基于J2EE的C/S模式的需求模型到软件架构生成工具的设计与实现。该工具以本文介绍的需求模型到软件架构生成技术为基础，提供了一套基于AADL的需求管理工具，同时此工具支持需求模型到AADL软件架构的转换。