基于UML和Z的软件体系结构求精方法及其应用

摘要

本文对基于UML和Z的软件体系结构求精方法及其应用进行了研究。文章探讨了如何将可视化建模语言UML和形式化方法Z集成而得到一种新的求精方法，寻求了一种在软件体系结构求精过程中UML到Z映射与转换机制，为今后软件体系结构的求精方法提供一点经验和思路。本文的研究结果说明：UML与Z结合可以得到一种新的求精方法，这种求精方法不仅能够在一定程度上提高软件的一致性和可靠性，而且可以在实际应用中推广使用。

目录

文摘

英文文摘

学位论文独创性声明及使用授权的声明

第一章绪论

1.1研究背景

1.2本文工作和相关研究动态

1.3本文主要结构

第二章软件体系结构求精方法

2.1基于行为替代的体系结构求精方法

2.2基于风格的体系结构求精方法

2.3基于构件的体系结构求精方法

2.4本章小结

第三章基于UML和Z的软件体系结构求精方法

3.1统一建模语言UML

3.2形式化方法与Z语言

3.2.1形式化方法的源流

3.2.2形式化方法的主要研究内容

3.2.3形式化方法应用前景

3.2.4形式化描述语言Z

3.3 UML和Z结合的软件体系结构求精方法

3.3.1求精方法

3.3.2 UML类图元素的语法定义

3.4本章小结

第四章计算机远程教学系统的求精过程

4.1需求分析

4.2 UML用例图

4.3 UML类图

4.4数据求精

4.5操作求精

4.6体系结构求精

4.7本章小结

第五章企业人员薪金管理系统的求精过程

5.1需求分析

5.2 UML用例图

5.3 UML类图

5.4数据求精

5.5操作求精

5.6体系结构求精

5.7本章小结

第六章相关工作介绍与比较

结论

参考文献

攻读硕士学位期间参加的科研项目和发表(录用)的论文

致谢