第2章 软件体系结构建模

  • 格式:doc
  • 大小:24.50 KB
  • 文档页数:2

第2章软件体系结构建模
2.1 软件体系结构建模概述
如何表示?五种模型
结构模型:用结构反映系统语义
框架模型:侧重整体结构
动态模型:研究行为
过程模型:步骤
功能模型:层次
2.2 "4+1"视图模型
P31图2-1
2.2.1 逻辑视图
功能抽象。

图2-2,2-3,2-4
2.2.2 开发视图
模块的组织和管理。

图2-5,2-6
2.2.3 进程视图
运行特性。

图2-7,2-8
2.2.4 物理视图
映射到硬件。

图2-9,2-10,2-11,2-12
2.2.5 场景
使四个图有机联系,可以文本表示,也可以图表示。

图2-13
2.3 软件体系结构的核心模型
五种元素:构件、连接件、配置、端口、角色。

图2-14
2.4 软件体系结构的生命周期模型
1.体系结构需求
深入调查->确定->软件规格说明
对于体系结构:需求获取(定义软件功能),生成类图(用工具),对类分组(类族),打包成构件,需求评审。

2.建立
初期选风格,构件映射到体系结构(产生中间结构),分析关系,细化。

3.设计
对系统模块化,描述构件详细接口、算法和数据类型。

4.实现
以程序语言表示,找出(或开发)构件,组装构件,测试(单件测试、整体测试)。

生命周期:如图2-15
1.非形式化:自然语言描述
2.规范:用数学模型规范
3.求精:逐步求精,直到可实施
4.实施:组织构件和连接件
5.演化:非功能性影响
6.评价:定性评价和定量度量
7.终结:过时,摈弃。

2.5 软件体系结构抽象模型
用抽象代数描述(离散数学的内容)。

2.5.1 构件
定义1:构件接口(接触点八元组)
定义2:演化(二元运算)
定义3:激发(二元运算),A、B独立。

定理1:⊕满足结合律定义4:相等(二元运算)
定义5:使用(二元运算),A、B不独立。

定理2:⊗满足结合律
2.5.2 连接件
定义6:连接件(六元组)
2.5.3 软件体系结构
定义7(递归定义):A=<C,O>,C构件,O运算
封闭、层次、可扩充。

定理3:构成半群
2.5.4 软件体系结构关系
定义8:映射,满射,一一映射
定义9:同态,单一同态,同构
定理4:(复合)体系结构同态
定理5:(演化)同态
定义10:体系结构演化
定义11:积体系结构
定义12:关系
定理6:事件依赖、实现依赖传递
2.5.5 软件体系结构范式
定义13:候选码
定义14:第一范式(有依赖)
定义15:第二范式(有码)
定义16:可靠性范式(第一范式,事件依赖)
定理7:第一范式总可转为RNF
顺序型实现依赖改成激发,图2-16
分支型实现依赖改成激发,图2-17
循环型实现依赖改成激发,图2-18。