基于形式规格说明的统一软件建模系统的研究

基于形式规格说明的统一软件建模系统的研究

论文题目: 基于形式规格说明的统一软件建模系统的研究

论文类型: 博士论文

论文专业: 控制理论与控制工程

作者: 刘静

导师: 缪淮扣

关键词: 统一软件开发过程,统一建模语言,形式规格说明,统一程序设计理论

文献来源: 上海大学

发表年度: 2005

论文摘要: 近年来,随着软件规模的不断扩大,复杂性不断增加,如何提高软件开发效率,保证软件质量成为软件业界的中心问题。面向对象软件建模技术为提高大规模软件开发的效率与质量带来了希望,为软件开发自动化奠定了基础。 面向对象软件建模语言UML以其图形化的表达及对软件设计提供各种各样的支持而迅速成为软件业界的标准。它为设计人员提供了各种各样的视图、半形式化的元模型语义、对设计元素的形式化逻辑约束。UML采用直观的图形表示法,给使用者带来了方便,但同时图形表示法有模糊性,特别是需求分析模型中语义描述用的是自然语言,使设计人员难以建立严格的需求模型,无法通过工具自动完成模型内部的一致性检查、证明、验证;无法从需求模型自动或半自动地获得设计模型,并保持模型间的一致。 形式化的软件规格说明建立在严格数学基础上,具有精确的符号表示,采用严格的数学工具、具有精确数学语义,能够进行推理和演算,并适合工具处理。因此,用形式方法来构建系统,可提高传统的结构性和易维护性,提高软件的质量。 本文从提高UML模型的精度和模型一致性入手,将形式化的软件规格说明技术应用到UML需求模型与设计模型的构建中,对面向对象的软件模型的框架、类模型、交互模型、构件模型、体系结构模型,以及模型的静态特性与动态特性进行了深入的研究。所做的工作和取得的成果主要体现在以下几个方面: ●提出了一种基于形式规格说明和面向对象技术的软件建模策略。采用面向对象建模方法,将统一建模语言UML(Unified Modeling Language)、统一开发过程RUP(Rational Unified Process)与统一程序设计理论UTP(Unified Theory of Programming)相结合。分析了软件开发过程,并对统一开发过程RUP中涉及的模型进行了深入的研究,定义了概念类模型、设计类模型、交互模型、构件模型、体系结构模型,并从语义上给出了模型的良定义条件。 ●系统地提出了一系列提高UML软件模型精确性的策略。利用面向对象的形式化规格说明语言OOL建立了软件开发中涉及的各种动、静态模型,给出了模型精确的形式化语义,从而可以从语义上分析所建模型的正确性,以及设计模型相对于需求模型的正确性。 ●提出了保持静态模型与动态模型一致的策略。分析了RUP中类模型与交互模型的关系,根据模型的语义,给出了动静态模型一致的条件和实现的策略。 ●提出了保持需求模型和设计模型一致以及下一迭代段与上一迭代段一致的策略,既保持模型的横向一致又保持模型的纵向一致,并显示了如何用模型精化的方法消除不一致。

论文目录:

摘要

ABSTRACT

目录

第一章 引言

1.1 简介

1.2 策略概要

第二章 统一建模语言

2.1 统一建模语言UML

2.1.1 UML的主要内容

2.1.2 UML中存在的问题

2.1.3 解决方案比较

2.2 统一软件开发过程RUP

2.2.1 需求分析

2.2.2 设计

2.2.3 实现

2.2.4 迭代式开发

2.3 本章小结

第三章 面向对象的规格说明语言

3.1 软件形式方法

3.2 面向对象的形式化规格说明语言OOL的理论基础

3.3 OOL概述

3.3.1 变量和面向对象程序的状态

3.3.2 面向对象系统

3.3.3 语义

3.3.4 良定义条件

3.4 本章小结

第四章 类模型与顺序图

4.1 类模型

4.2 顺序图和状态机

4.3 模型的一致性

4.4 本章小结

第五章 构件模型与体系结构

5.1 软件构建框架

5.2 软件体系结构的描述

5.2.1 形式化描述方法

5.2.2 可视化描述方法

5.2.3 体系结构描述框架标准IEEE P1471

5.2.4 用UML描述软件体系结构

5.3 体系结构模型

5.3.1 构件模型

5.3.2 连接器模型

5.3.3 体系结构模型

5.4 本章小结

第六章 需求模型与设计模型

6.1 需求模型

6.1.1 概念模型

6.1.2 用例模型

6.2 设计模型

6.3 迭代式软件开发

6.4 支持环境与应用

6.4.1 支持环境

6.4.2 应用

6.5 本章小结

第七章 基于设计模式的模型精化

7.1 精化演算与设计模式

7.1.1 精化演算

7.1.2 设计模式

7.2 用UML描述设计模式

7.3 模型精化

7.3.1 理论基础

7.3.2 精化策略

7.4 本章小结

第八章 结论和相关工作

8.1 结论

8.2 相关工作

8.2.1 面向对象程序模型

8.2.2 UML的形式化支持

8.3 下一步工作

参考文献

作者在攻读博士学位期间发表的论文

致谢

发布时间: 2005-09-16

参考文献

  • [1].SOZRSL软件需求规格说明语言及其求精[D]. 高晓雷.上海大学2004
  • [2].面向对象软件规格说明的构造及确认技术研究[D]. 陈怡海.上海大学2007
  • [3].面向对象软件的形式验证技术[D]. 文志诚.上海大学2007
  • [4].软件逐步精化及并发程序精化验证[D]. 李壮.上海大学2016

相关论文

  • [1].基于π演算的软件体系结构形式化研究[D]. 任洪敏.复旦大学2003
  • [2].基于面向对象形式规格说明的测试用例生成技术[D]. 刘玲.上海大学2004
  • [3].软件体系结构形式描述研究[D]. 朱雪阳.中国科学院研究生院(软件研究所)2005
  • [4].基于形式语义的构件组装与演化研究[D]. 龚洪泉.复旦大学2005
  • [5].基于网格的面向Agent软件分析与设计建模方法及环境研究[D]. 刘炜.上海大学2005
  • [6].基于UML的软件统计测试研究[D]. 颜炯.国防科学技术大学2005
  • [7].基于接口自动机的组合验证方法研究[D]. 文艳军.国防科学技术大学2005
  • [8].基于体系结构的软件动态演化研究[D]. 李长云.浙江大学2005
  • [9].UML模型的语义模型[D]. 杨静.贵州大学2006
  • [10].面向对象软件规格说明的构造及确认技术研究[D]. 陈怡海.上海大学2007

标签:;  ;  ;  ;  

基于形式规格说明的统一软件建模系统的研究
下载Doc文档

猜你喜欢