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

基于构件的形式化方法在软件开发中的应用研究

作　者: 王永伟
导　师: 杨静
学　校: 哈尔滨工程大学
专　业: 计算机应用技术
关键词: 构件模型连接子形式化 Z语言 session type
分类号: TP311.52
类　型: 硕士论文
年　份: 2010年
下　载: 87次
引　用: 2次
阅　读: 论文下载

内容摘要

基于构件的软件开发是提高软件生产率、提高软件质量、解决软件危机的重要方法,是软件复用领域的研究热点;解决软件危机的另一方面是如何建立严格的数学方法,如何进行形式化软件开发。如何将基于构件的软件开发和形式化方法相结合是软件开发发展的重要方向。鉴于基于构件的软件开发缺少严密的数学推理,没有形式化的规格说明,大部分开发过程采用自然语言进行描述,本文给出了基于构件的形式化软件开发模型,重点研究该模型中需求分析的形式化、设计阶段软件体系结构、形式化构件模型及形式化构件交互。针对传统软件开发中需求分析不准确和二义性等问题,使用Z语言对需求分析形式化表示进行了扩充,并通过实例对形式化表示进行了说明,其具有消除需求分析的二义性和不一致性的能力。需求分析关注如何刻画问题空间,软件体系结构关注如何刻画解空间,如何根据需求分析获得软件体系结构没有定论,文中给出了一种基于功能和三层开发框架获取概要设计软件体系结构的方法。针对现阶段构件接口定义中构件行为和交互协议信息缺乏,利用形式化语言session type定义了构件、连接子以及构件交互语义,完成了详细设计阶段软件体系结构的精化,增强了构件接口信息的描述能力。最后,将基于构件的形式化软件开发模型应用于某公司OA中的办公用品管理系统开发,结果表明该模型具有一定的可行性和适用性,且具有一定的实际应用价值。

全文目录

摘要  5-6
Abstract  6-10
第1章绪论  10-15
  1.1 课题研究的目的和意义  10-11
  1.2 国内外研究现状  11-13
    1.2.1 国内研究现状  11-12
    1.2.2 国外研究现状  12-13
  1.3 主要研究内容  13
  1.4 论文组织结构  13-15
第2章构件模型和形式化概述  15-29
  2.1 构件技术  15-20
    2.1.1 构件定义  15-16
    2.1.2 构件模型  16-20
    2.1.3 构件组合  20
  2.2 形式化方法  20-26
    2.2.1 形式化规约  21-25
    2.2.2 形式化验证  25-26
  2.3 形式化构件模型  26-27
  2.4 本章小结  27-29
第3章软件体系结构和基于构件的软件开发模型  29-35
  3.1 软件体系结构  29-32
    3.1.1 软件体系结构的发展  29-31
    3.1.2 软件体系结构描述语言  31-32
  3.2 基于构件的软件开发模型  32-34
    3.2.1 基于构件的软件开发过程  33-34
    3.2.2 构件库  34
  3.3 本章小结  34-35
第4章基于构件的形式化软件开发模型  35-48
  4.1 基于构件的形式化软件开发模型  35-36
  4.2 需求分析的形式化描述  36-38
    4.2.1 系统配置的形式化表示  37
    4.2.2 用例的形式化表示  37-38
  4.3 设计阶段软件体系结构  38-41
  4.4 形式化构件模型及构件交互  41-47
    4.4.1 形式化构件模型及交互实例  42-44
    4.4.2 形式化构件模型及交互定义  44-47
    4.4.3 详细设计阶段软件体系结构精化  47
  4.5 本章小结  47-48
第5章实验与分析  48-61
  5.1 某公司OA 系统简介  48-49
  5.2 办公用品管理系统开发  49-60
    5.2.1 形式化需求分析  49-56
    5.2.2 设计阶段软件体系结构  56-58
    5.2.3 形式化构件模型及交互  58-60
  5.3 本章小结  60-61
结论  61-62
参考文献  62-68
攻读硕士学位期间发表的论文和取得的科研成果  68-69
致谢  69

基于构件的形式化方法在软件开发中的应用研究

内容摘要

全文目录

相似论文