基于UML和Z软件系统结构求精策略及其运用

软件体系结构是20世纪90年代国际软件工程领域出现的一个研究热门。软件体系结构着眼于软件系统的全局组织形式,是对系统高层抽象的描述。对于大型软件系统而言,软件体系结构的设计已经成为系统成功的关键因素。对于规模和复杂性均不断增大的大型软件系统,在对软件体系结构进行抽象描述之后,一个十分重要的工作就是如何将其分层细化、逐层求精,形成具体的可实现的软件体系结构,即所谓的软件体系结构求精。UML自从1995年被提出后,作为一种体系结构建模语言,它提供了一整套描述软件系统模型的概念和图形表示法。然而,UML缺乏正确的形式化语义,多视角建模视图之间也存在不一致性,这使得对模型难以进行一致性检查和正确性分析,进而限制了它的有效性,所以UML有必要在形式化方面进行拓展。本文探讨了如何将可视化建模语言UML和形式化方法Z集成而得到一种新的求精方法,寻求一种在软件体系结构求精过程中UML到Z映射与转换机制,为今后软件体系结构的求精方法提供一点经验和思路。本文的研究结果说明:UML与Z结合可以得到一种新的求精方法,这种求精方法不仅能够在一定程度上提高软件的一致性和可靠性,而且可以在实际应用中推广使用。【关键词】：软件体系结构形式化求精UMLZ
【论文提纲】：第一章绪论7-101.1研究背景7-81.2本文工作和相关研究动态8-91.3本文主要结构9-10第二章软件体系结构求精方法10-152.1基于行为替代的体系结构求精方法112.2基于风格的体系结构求精方法11-122.3基于构件的体系结构求精方法12-142.4本章小结14-15第三章基于UML和Z的软件体系结构求精方法15-313.1统一建模语言UML15-173.2形式化方法与Z语言17-253.2.1形式化方法的源流17-193.2.2形式化方法的主要研究内容19-213.2.2.1形式规范19-203.2.2.2形式验证20-213.2.3形式化方法应用远景|教学论文范文|21-223.2.4形式化描述语言Z22-253.3UML和Z结合的软件体系结构求精方法25-303.3.1求精方法25-263.3.2UML类图元素的语法定义26-303.3.2.1类26-283.3.2.2关联28-303.3.2.3类图303.4本章小结30-31第四章计算机远程教学系统的求精过程31-544.1需求分析314.2UML用例图31-324.3UML类图32-334.4数据求精33-394.5操纵求精39-434.6体系结构求精43-534.7本章小结53-54第五章企业职员薪金管理系统的求精过程54-805.1需求分析545.2UML用例图54-555.3UML类图555.4数据求精55-635.5操纵求精63-695.6体系结构求精69-795.7本章小结79-80第六章相关工作先容与比较80-82结论82-83参考文献83-88攻读硕士学位期间参加的科研项目和发表(录用)的论文88-89致谢89-90硕士专业学位论文具体摘要90-92