第5章 动态软件体系结构

第5章动态软件体系结构

原来研究静态，运行时结构不变。

动态软件体系结构，研究由于特殊需要必须连续运行时的变化。

5.1 概述

基于软件体系结构成为开发主流，灵活—>动态、可扩展、自定义、可演化

动态性三类：P151下。

研究分两方面：研究动态更新语言，研究支持工具。

1.动态ADL，C2支持动态

2.工具，ArchStudio，SAA。图5-1

研究不成熟。

5.2 动态模型

5.2.1 基于构件的模型

1.模型简介

CBDSAM，分三层。应用层，中间层，体系结构层，图5-2。

应用层可添加删除、更新构件。

中间层添加版本控制机制，运载方法。

体系结构层更改扩展更新机制，改拓扑，改映射。

2.更新请求描述

表5-1，add，remove，updata。包括几个方面，P155（①-⑥）

3.更新执行步骤，4个，P155

4.实例分析，局部更新，不影响系统运行，图5-3，A构件动态隔离和恢复。全局更新，图5-4，服务器更新。

5.2.2 πADL动态体系结构

1.定义，表5-2，BNF范式

2.建模方法，πADL借鉴Wright框架，用π演算动态建模能力。

基本思路：P159上，(1)(2)(3)

建模具体方法，P159中，(1)(2)(3)(4) (8)

表5-3，解释P160-161 (1)-(6)

3.建模语义，π进程作形式语义

基本思想，各进程并发运行，关键要点，表达动态创建和删除，动态连接。

动态体系结构行为推导算法，P161，步骤一二三步。

5.3 动态体系结构的描述

5.3.1 描述语言

1.Dynamic Wright，扩展了Wright，试图模拟或标记，以解决动态性。

图5-5，与两个Server交互，静态。

图5-6，动态描述，虚线，配置C，非常适合描述动态。

2.Darwin，描述系统配置规则。

ADL不同之处，有指定服务规则，图5-7，P163。

5.3.2 形式化描述

包括体系结构描述，重配置，行为描述。用图形化，代数进程，逻辑等。

1.图形化，图5-8

2.进程代数方法，图5-9

3.逻辑化描述，图5-10

5.4 动态体系结构特征

1.可构造性，三种一起用，图5-11

2.适应性，立即反应能力，图5-12

3.智能性，动态构造候选配置，图5-13

5.5 化学抽象机

1.CHAM，动态有用的形式化描述

计算看成分子反应，规则模式

方法——>膜操作——>分子

2.描述软件体系结构

把构件作为分子，表示其状态。

分子结构语法，P167。

C/S风格，P167中。

演化，P167下。

管道过滤器风格，P168中，图5-14。

采用熟悉概念，很适合动态。