下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、精选优质文档-倾情为你奉上精选优质文档-倾情为你奉上专心-专注-专业专心-专注-专业精选优质文档-倾情为你奉上专心-专注-专业西安交通大学软件形式化方法论文题目 软件体系结构的形式化描述与分析 学 院 软件学院 班 级 硕4098班 学 号 学生姓名 冯伯阳 指导老师 侯迪 完成时间 2015.9.8 一 软件体系结构定义在这个计算机技术高速发展的时代,人们对计算机的需求也愈发迫切,需要更多的软件来实现种种功能,对软件的集合与加工也更加重要。因此,作为从软件设计抽象出来的一门新兴学科,软件体系结构已经成为软件工程一个重要研究领域。所谓的软件体系结构,是指一种数据与构件的集合。事实上,随着软件系
2、统规模与复杂性的不断提升,软件系统对于全局结构的摄于与规范开始受到重视,甚至慢慢比算法的选择乃至数据结构的设计更加重要。这种全局结构的设计与规划,就是软件体系结构所要讨论的问题。抽象而言,软件体系结构包括对构成系统的设计元素的描述,交互,组合等等。一般而言,一个具体的软件,就是由其各个构件以及各个构件之间的关系组成的,这样的系统,又有可能成为一个更大系统的组成元素。时至今日,人们已经普遍意识到一点:为软件系统设计一个合适的体系结构,是一件极其重要的事情,直接关系到这个项目是否能取得长远的成功。但是,当前的大多数体系结构描述,都是非形式化的,这对于我们系统项目的成功,造成了非常大的阻碍。二软件发
3、展所面临的问题目前,在计算机软件的开发与维护过程中,遇到了一系列严重的问题。实际上,自从计算机诞生开始,就出现了“软件危机”。具体表现如下:1.软件的开发成本日益增加。2.软件的开发进度难以掌控。3.开发完成的软件质量差。4.软件的日后维护十分困难。而这些问题的造成是有许多方面的原因的,比如不明确的用户需求,没有正确的指导理论,软件规模越来越大,软件的复杂度越来越高等。因此,为了克服这些软件危机,人们采取了优化软件体系结构的方法,也为此开始了软件体系结构的研究。三软件体系结构的研究领域事实上,一个软件无论如何设计,哪怕制作的再有问题,也总是有体系结构的,世界上不存在没有体系结构的软件。从整体上
4、讲,任何一款软件,都是由基础、主体和装饰这些组成的,即,在操作系统上存在的基础设施软件。而从细节上来看,任意一个子程序也是有其各自的结构。因此,以前很少有人特别研究软件体系结构。但现在,随着系统的愈发复杂,软件体系结构的研究已经迫在眉睫。于一个体系系统而言,拥有一个优秀的体系结构,是其取得成功的重要因素。目前,人们将其划分为4个领域:1.通过提供一种全新的体系结构描述语言来解决体系结构的描述问题。2.对体系结构领域进行总结性的研究。3.研究针对特定的领域框架。4.研究软件体系结构形式化所支持的方面。四软件体系结构的现状时至今日,关于软件体系结构的研究工作,依旧主要在国外展开,到目前为止,我们国家对于软件体系结构的研究,依旧尚处在起步阶段。由于与国外相比,我们国内对大型和超大型复杂软件系统的开发次数要少得多。在目前通用的软件开发方法中,一般的描述,通常是用非形式化的图和文本。但这些图和文本,并不能描述系统期望的存在于构件之间的接口,也不能描述组成系统不同部分间组合关系的意义,因此很难被开发人员理解。现在,当一个软件系统中的各个构件之间,几乎没有一种形式化的方法来描述
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024物流园区建设与运营管理合同
- 二零二五年度出口退税证明开具与国际物流配送服务合同3篇
- 2024物业租赁合同协议范本
- 2024网络游戏代理运营合同
- 2025年度新型材料研发中心厂房租赁协议范本4篇
- 2025厂区食堂承包合同样本:营养健康食谱定制版3篇
- 2025年度智慧园区场地服务合同范本7篇
- 2024年03月中国银行股份有限公司2024年春季招考笔试历年参考题库附带答案详解
- 2025年度文化产业园场地承包经营合作协议范本4篇
- 2025年度产业园区企业服务中心租赁合同4篇
- 2023光明小升初(语文)试卷
- 三年级上册科学说课课件-1.5 水能溶解多少物质|教科版
- GB/T 7588.2-2020电梯制造与安装安全规范第2部分:电梯部件的设计原则、计算和检验
- GB/T 14600-2009电子工业用气体氧化亚氮
- 小学道德与法治学科高级(一级)教师职称考试试题(有答案)
- 申请使用物业专项维修资金征求业主意见表
- 河北省承德市各县区乡镇行政村村庄村名居民村民委员会明细
- 实用性阅读与交流任务群设计思路与教学建议
- 应急柜检查表
- 通风设施标准
- 酒店市场营销教案
评论
0/150
提交评论