一种AADL建模工具的设计与实现

摘要

随着计算机技术的应用领域的不断扩展，计算机软件开发规模成几何式的增长，同时软件开发的复杂性不断提高。这导致软件开发的难度不断增大，开发成本及开发周期增加，软件行业面临严峻的挑战。基于以上的问题，对象管理组织(Object Management Group)提出模型驱动结构的方法(Model DrivenArchitecture)作为一种解决方案。MDA方法是把实现和模型分离，以模型设计为核心，用建立软件系统的业务逻辑模型来代替软件开发的过程，建好的模型可以自动生成特定的计算平台代码。
　　在实时系统建模领域，工业界基于MDA的理念，提出了结构化分析和设计语言(Architecture Analysis and Design Language)，AADL能够对实时关键系统的软硬件协同进行设计。并且AADL能够精确描述系统，因此AADL逐渐成为嵌入式开发领域的标准。基于AADL语言能够对实时性关键系统建模，并且能详细且精确的描述系统等特性，我们准备应用AADL语言对实时性关键系统的子集安全攸关软件系统进行建模。
　　本文主要研究了AADL建模语言的语法，总结出建模组件的语法规约，在此基础上完成一种AADL语言的建模工具的设计和实现。并应用该工具对安全攸关软件系统进行建模。
　　本文做的主要工作:首先，研究了AADL标准语法和安全攸关系统模型，根据安全攸关软件系统建模需求选取AADL子集。并且详细的介绍选取的AADL子集的语法。
　　其次，根据我们选取的AADL子集，使用Java Awt技术没计并实现AADL语言建模工具的图形化建模功能。并研究AADL模型存储的标准格式，设计模型转储和恢复等功能。
　　最后，应用建模工具对安全攸关的软件系统进行建模，测试建模工具。
　　AADL建模工具实现对安全攸关的软件系统的建模，将建好的模型保存成符合AADL标准的XML文件，为后续对工具的扩展奠定基础。

目录

声明

摘要

第一章 绪论

1．1 课题研究背景

1．2 国内外研究现状

1．3 存在的问题

1．4 本文的研究目标与工作

1．5 论文的组织结构

第二章 研究基础

2．1 AADL语言对安全攸关系统建模的原理

2．2 XML简介

2．3 JAVA AWT

2．3．1 JAVA AWT简介

2．3．2 双缓冲技术介绍

2．4 本章小结

第三章 AADL子集选取及语法研究

3．1 AADL子集标准简介

3．1．1 AADL子集标准遵守的原则

3．1．2 AADL子集选取的具体结论

3．2 AADL组件

3．2．1 AADL软件组件

3．2．2 系统组件

3．3 组件交互

3．3．1 端口

3．3．2 子程序调用

3．3．3 子组件访问

3．4 模式

3．5 本章小结

第四章 AADL建模工具的设计

4．1 引言

4．2 整体设计

4．2．1 系统结构设计

4．2．2 用户界面的设计

4．3 详细设计

4．3．1 客户端主程序的设计

4．3．2 editor(AADL图形化编辑界面)

4．3．3 navigation(导航栏界面)

4．3．4 atributeBar(属性栏)

4．4 模型转储恢复模块的设计

4．4．1 AADL模型转储的XML标签设计

4．4．2 AADL模型转储的设计

4．4．3 AADL模型恢复的设计

4．5 本章小结

第五章 AADL建模工具的实现

5．1 总体的实现

5．2 具体实现

5．2．1 客户端主程序的实现

5．2．2 editor(AADL图形化编辑界面)

5．2．3 navigation(导航栏界面)

5．2．4 atributeBar(属性栏)

5．3 模型转储恢复模块的实现

5．3．1 AADL模型转储的实现

5．3．1 AADL模型恢复的实现

5．4 本章小结

第六章 AADL建模工具的测试

第七章 总结与展望

7．1 总结

7．2 展望

参考文献

在校期间参加的科研项目和发表的论文

致谢