本书以可信软件开发为主线，从软件实际开发过程出发，对可信软件开发的技术、方法和过程进行分析和研究，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法。其中包括从UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约、精化直到代码生产阶段的模型形式化验证及自动化过程，基于B方法的面向对象软件体系结构的形式化方法，软件过程改进及软件过程集成，软件快速开发平台设计，过程模型在平台上实现的关键技术等。
样章试读
目录
- 目录
第1章 绪论1
1.1研究背景1
1.2研究的意义2
1.3国内外研究现状及发展动态分析3
1.4本书的研究工作及现状分析4
第2章 相关技术理论8
2.1形式化方法理论8
2.1.1形式规约8
2.1.2形式验证8
2.2 B方法及相关技术简介9
2.2.1基本概念11
2.2.2广义代换和B抽象机14
2.2.3精化17
2.2.4B方法的优越性19
2.3 UML统一建模语言20
2.3.1统一建模语言介绍20
2.3.2 UML的内容及建模机制21
2.3.3类21
2.3.4关联22
2.3.5泛化22
2.3.6 UML主要存在的问题与不足23
2.4依赖性分析理论23
2.4.1程序流图23
2.4.2控制依赖25
2.4.3数据依赖25
2.4.4程序依赖图26
2.4.5系统依赖图27
2.5程序切片技术28
2.5.1切片的定义28
2.5.2切片技术的分类29
2.5.3程序切片准则31
2.6本章小结31
第3章 形式化B方法的软件开发32
3.1用B方法开发软件系统的过程32
3.1.1初始规范说明的开发34
3.1.2设计/精化35
3.1.3生成可执行代码35
3.2B方法使用的工具36
3.2.1 Pro B工具介绍36
3.2.2 Atelier B的用法37
3.2.3抽象机实例40
3.3基于B方法的软件需求形式化过程46
3.3.1软件模型的实现过程48
3.3.2软件需求的形式化模型48
3.3.3软件需求的原型模型的实现49
3.4本章小结56
第4章 形式化B方法与UML转换方法57
4.1 UML和B方法概述57
4.2 UML类图到B方法形式规约的转换58
4.2.1 UML类图模型映射到B机器系统的基本方法和过程59
4.2.2类63
4.2.3操作64
4.2.4关联64
4.2.5泛化65
4.2.6类图66
4.3 UML状态机到B模型的转换68
4.3.1 UML状态机68
4.3.2 B方法和B模型69
4.3.3 UM状态图模型到B模型的具体的转换75
4.4 UML活动图到B形式化规约的转换78
4.5 UML顺序图到B形式化规约的转换78
4.5.1顺序图简介78
4.5.2 UML中顺序图的B方法描述79
4.5.3举例80
4.6 UML用例图到B的形式化转换81
4.6.1参与者81
4.6.2关系82
4.6.3用例82
4.6.4用例图83
4.6.5系统84
4.7 OCL数据类型到B形式化规约的转换84
4.7.1 OCL语言与B方法介绍85
4.7.2基本类型及转换86
4.8本章小结的
第5章 基于B技术的软件体系结构方法90
5.1软件体系结构定义91
5.2软件体系结构描述语言92
5.3软件体系结构的形式化描述92
5.4面向对象软件体系结构的形式化模型93
5.4.1基于形式化的面向对象软件开发过程94
5.4.2 UML和B结合的软件体系结构求精方法94
5.5本章小结97
第6章 实例分析98
6.1系统描述98
6.2系统的UML模型图98
6.2.1系统UML类图98
6.2.2电梯系统状态图99
6.3电梯系统的UML类图的B形式化规约100
6.3.1电梯的B形式化规约100
6.3.2电梯门的B形式化规约102
6.3.3电梯按钮和楼层按钮102
6.3.4电梯系统104
6.4系统形式规约验证105
6.5本章小结108
第7章 软件过程改进及软件过程集成109
7.1研究背景与意义109
7.2研究动机和目的110
7.3软件过程改进相关概念112
7.4软件过程改进研究热点及问题113
7.4.1 CMM概念及基本思想113
7.4.2 CMM/CMMI实施意义115
7.5集成产品开发IPD体系概述116
7.5.1 IPD的基本概念116
7.5.2 IPD管理体系框架117
7.5.3 IPD流程管理119
7.6软件开发平台化理论125
7.6.1软件开发平台化的提出125
7.6.2软件开发平台趋势126
第8章 软件快速开发平台设计128
8.1开发平台分层结构设计128
8.2快速开发平台实现框架129
8.3 Ajax与富客户端UI技术131
8.4基于SOA随需应变技术133
8.5移动应用快速开发技术133
8.6快速开发工具集成134
8.6.1代码自动构造器134
8.6.2 UI模板库复用135
8.7本章小结136
第9章 过程模型在平台上实现的关键技术137
9.1软件过程建模需求137
9.2工作流管理系统概述138
9.3软件过程流程建模技术139
9.4可视化软件过程建模环境141
9.5流程执行监控及控制141
9.6软件过程协同实现142
9.7本章小结143
主要参考文献144
索引149
京公网安备 11010102004214号