Chap04.4_软件体系结构描述_典型体系结构描述语言.

2018/9/14
wBiblioteka Baidungzhiming@tsinghua.org.cn
5
§4.4.2 Wright

CMU: Robert Allen & David Garlan
http://www-2.cs.cmu.edu/~able/wright/




支持对构件之间交互的形式化分析；将连接件定义 为明确的语义实体； 构件通过其端口和行为来定义，表明了端口之间是 如何通过构件的行为而具有相关性的； 连接件通过协议来定义，协议刻画了与连接件相连 的构件的行为，对构件的“期望”及实际交互过程； 构件和连接件的实例被声明后，系统组合可以通过 构件的端口和连接件的角色之间的连接来完成。

UniCon描述管道：
USES p1 PROTOCOL Unix-pipe USES sorter INTERFACE Sort-filter CONNECT sorter.output TO p1.source USES p2 PROTOCOL Unix-pipe USES printer INTERFACE Print-filter CONNECT sorter.input TO p2.sink



并行组合(Parallel Composition)：把两个进程组合起来，以 P||Q表示；
§表示一个成功终止的进程，即： §=√ STOP。

2018/9/14
wangzhiming@tsinghua.org.cn
8
§4.4.2 Wright(续)

Wright对管道连接的描述：
Connector Pipe =
2018/9/14
wangzhiming@tsinghua.org.cn
3
§4.4.1 UniCon(续)

提供一组预先定义的构件和连接件类型，体系结 构开发者可从中选择； 区分不同类型构件和连接件的交互点，并对组合 方式进行限制；进而进行局部组合匹配检查；


特性列表的方法已被ACME和USC开发的 Architecture Capture Tool所采纳；
第四章 软件体系结构描述

4.1 软件体系结构描述方法 4.2 软件体系结构描述框架标准 4.3 体系结构描述语言 4.4 典型体系结构描述语言 4.5 统一建模语言(UML) 4.6 可扩展标记语言XML 4.7 基于XML的软件体系结构描述
wangzhiming@tsinghua.org.cn
1
2018/9/14
§4.4 典型ADL
§4.4.1 UniCon

www-2.cs.cmu.edu/~acme/adltk/adls.html

The Unified Extended Dialect of Icon (一种 编程语言http://www.cs.arizona.edu/icon/)； 特点：
role Writer = write Writer Π close § role Reader = let ExitOnly = close § in let DoRead = (read Reader □ read-eof ExitOnly)
in DoRead Π ExitOnly glue = let ReadOnly = Reader.read ReadOnly □ Reader.read-eof Reader.close § □ Reader.close § in let WriterOnly = Writer.write WriteOnly □ Writer.close§ in Writer.write glue □ Reader.read glue □ Writer.close ReadOnly □ Reader.close WriteOnly
对于已有构件，通过利用UniCon的术语对其接口 重新定义的方式，使其可被UniCon使用。

2018/9/14
wangzhiming@tsinghua.org.cn
4
§4.4.1 UniCon(续)

UniCon描述连接约束：
ROLE output IS Source MAXCONNS (1) ACCEPT (Filter.StreamIn) END output


2018/9/14
wangzhiming@tsinghua.org.cn
7
§4.4.2 Wright(续)

Wright的符号：

进程与事件(Processes and Events)：STOP表示终止，“√”表 示成功事件； 前缀(Prefixing)：一个进程参与到事件e中，成为进程P，以 e P表示； 选择(Alternative)：外部选择，由环境作出，以P□Q表示； 决策(Decision)：内部选择，由进程自己作出，以PΠQ表示；
wangzhiming@tsinghua.org.cn
6
2018/9/14
§4.4.2 Wright(续)

提供对体系结构和抽象行为的精确描述，具有定义 体系结构风格和对体系结构描述进行一致性、完整 性检查的能力； 体系结构通过构件、连接件以及它们之间的组合来 描述；
Wright提供一致性和完整性检查有：端口-行为一致 性、连接件死锁、角色死锁、端口-角色相容性、风 格约束满足以及胶水完整性等。


提供对大量构件和连接件的统一访问； 区分不同类型的构件和接连件以便对体系结构配 置进行检查； 支持不同的表示方式和不同开发人员的分析工具； 支持对现有构件的使用。
2018/9/14
wangzhiming@tsinghua.org.cn
2
§4.4.1 UniCon(续)



通过定义类型、特性列表、交互点来描述构件和连 接件； 系统组合构造通过定义构件的端口和连接件的角色 之间的连接来完成。 最新资料参见： http://unicon.sourceforge.net/(http://unicon.or g/) http://www.cs.cmu.edu/afs/cs/project/vit/www /unicon/ index.html