学位论文 > 优秀研究生学位论文题录展示

面向软件复用的组件形式化开发

作　者: 陈卓
导　师: 吴庆涛
学　校: 河南科技大学
专　业: 计算机应用技术
关键词: 软件复用 组件 多属性效用函数 规格描述 形式化方法
分类号: TP311.52
类　型: 硕士论文
年　份: 2010年
下　载: 59次
引　用: 0次
阅　读: 论文下载
 

内容摘要


组件具有标准化的接口和平台独立性,可以互操作,支持软件复用,能有效提高软件开发和使用效率。论文针对目前软件开发中低效重复性工作过多的现状,根据软件的形式化规范对软件组件从概念上进行系统地分类,研究面向软件复用的组件最优化组合问题,给出组件开发的软件设计架构,并通过实例验证组件形式化开发的可行性和正确性。具体内容包括:1.组件形式化模型与形式规范。将组件概念系统地分为外部连接器、组件主体和集成操作器,利用B语言形式化描述组件概念的语法和语义,建立组件形式化模型;通过定义组件对象和操作的接口和属性,形成组件形式化规范。通过应用实例,验证了组件形式化模型使用外部连接器和集成操作器连接组件主体构建软件系统的可行性;2.基于多属性效用函数的组件优化组合。基于组件的软件开发中,组件组合需考虑多种不具可比性的因素,引入多属性效用函数,将不可公度的目标函数或准则转化为单一目标函数,结合AHP(Analytic Hierarchy Process)方法,实现组件组合的最优化。通过实例证明了该方法在实现组件组合中的高效性。3.组件的软件架构设计。从组件的架构建模、背景建模、接口定义和接口建模四个关键环节的分析,给出组件的软件架构设计思想,并应用于“数字银行系统”设计中。研究结果表明,面向软件复用的组件形式化开发能够高效、快速构建目标系统,为解决软件危机提供一条可行的途径。

全文目录


摘要  2-3
ABSTRACT  3-7
第1章 绪论  7-13
  1.1 研究背景及意义  7-8
  1.2 国内外研究现状  8-11
  1.3 主要研究内容  11
  1.4 论文的组织结构  11-13
第2章 基于组件的软件开发方法  13-25
  2.1 软件复用  13-16
    2.1.1 软件复用的概念  13-14
    2.1.2 软件复用的意义  14
    2.1.3 软件复用的过程  14-15
    2.1.4 软件复用的类型  15-16
  2.2 组件技术  16-20
    2.2.1 组件技术的概念  16-18
    2.2.2 标准组件规范与验证  18-20
  2.3 主要组件模型  20-22
    2.3.1 COM  20
    2.3.2 EJB  20-21
    2.3.3 CORBA  21-22
  2.4 主流组件模型的比较  22-24
  2.5 本章小结  24-25
第3章 组件形式化模型与形式规范  25-38
  3.1 B 语言概述  25-26
  3.2 组件模型  26-27
  3.3 模型的外部连接器  27-30
  3.4 组件主体  30-31
  3.5 集成操作器  31
  3.6 组件形式化规范  31-33
    3.6.1 组件和接口  32
    3.6.2 实时语义  32-33
  3.7 组件实例---银行系统  33-37
  3.8 小结  37-38
第4章 基于多属性效用函数的组件优化组合  38-45
  4.1 多属性效用函数分析法  38-41
    4.1.1 多属性效用函数原理  38-39
    4.1.2 解决问题的基本步骤  39
    4.1.3 量化模型  39-41
  4.2 AHP 层次分析法  41-42
  4.3 两种方法的结合  42-43
    4.3.1 组件最优组合  42-43
  4.4 小结  43-45
第5章 组件的软件架构设计  45-60
  5.1 架构的定义  45-50
    5.1.1 组件构架建模  45-47
    5.1.2 背景建模  47
    5.1.3 接口建模  47-48
    5.1.4 定义接口  48-50
  5.2 架构的设计  50-54
    5.2.1 定义接口  51
    5.2.2 整体框架设计  51-54
  5.3 架构的实例---数字银行的软件架构模型  54-59
    5.3.1 数字银行数据组织模型  54-55
    5.3.2 基于CORBA/DCOM 的Agent 软件数字化银行模型  55
    5.3.3 四类基本Agent 的内部结构  55-58
    5.3.4 中级Agent4 层体系结构  58
    5.3.5 基于软件的Agent 数字银行层状分布模型  58-59
  5.4 小结  59-60
第6章 总结与展望  60-62
  6.1 总结  60-61
  6.2 展望  61-62
参考文献  62-65
致谢  65-66
攻读硕士学位期间的研究成果  66

相似论文

  1. 光电对抗试验系统软件平台开发,TP311.52
  2. 飞行模拟中飞行管理计算机系统CDU组件设计与仿真,TP391.9
  3. 自动测试系统数字化设计平台研制,TP274
  4. 基于GIS的青海广播无线覆盖资源管理系统的研究,P208
  5. C/S模式MIS软件可复用构件的研究与开发,TP311.52
  6. 基于组件技术和ASP技术的省司法信息网的设计与实现,TP311.52
  7. 商业银行贷后风险预警系统的设计和实现,TP311.52
  8. 中山市巡逻民警治安防控质量评价系统的开发与实现,TP311.52
  9. 湖南网络职院教务综合管理平台的设计与实现,TP311.52
  10. Ka波段集成T/R组件研究,TN859
  11. 看守所信息管理系统的构件化设计与实现,TP311.52
  12. SoS方法在软件工程过程中的应用研究,TP311.52
  13. 基于HTML5的通用WebIM组件的前端设计与实现,TP311.52
  14. 银行代收付业务平台的设计与实现,TP311.52
  15. 企业级软件组件质量保障与快速部团策略的研究,TP311.53
  16. 工程项目管理多目标综合优化研究,TU71
  17. EPA网络芯片验证平台的设计与实现,TN407
  18. 设计模式在卫星成像模拟系统中的研究与应用,TP311.52
  19. 融合整体与组件特征的车辆检测方法研究,TP391.41
  20. 自主模型建模方法研究,TP391.9
  21. 云计算环境下的软件动态部署,TP311.52

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com