1 / 105
文档名称:

第4章-Part2 矿大 软件体系结构.ppt

格式:ppt   大小:1,669KB   页数:105页
下载后只包含 1 个 PPT 格式的文档,没有任何的图纸或源代码,查看文件列表

如果您已付费下载过本站文档,您可以点这里二次下载

分享

预览

第4章-Part2 矿大 软件体系结构.ppt

上传人:分享精品 2017/11/22 文件大小:1.63 MB

下载得到文件列表

第4章-Part2 矿大 软件体系结构.ppt

文档介绍

文档介绍:典型的软件体系结构描述语言
-
各种
ADL
简况
ADL







ACME
Ca
rnegie Mellon
大学
David Garlan
Aesop
Carnegie Mellon
大学
David Garlan
C2
Southern California
大学
Medvidovic
Darwin
Imperial
学院
Jeff Kramer

Jeff Magee
MetaH
H
oneywell
公司技术中心
Steve Vestal
Rapide
Stanford
大学
David Luchham
SADL
SRI
Mark Moriconi
UniCon
Carnegie
Mellon
大学
Mary Shaw
Weaves
Aerospace
公司
Gorlick
Wright
Carnegie Mellon
大学
David Garlan
1
Aesop支持体系结构风格的应用。
MetaH为设计者提供了关于实时电子控制软件系统的设计指导。
C2支持基于消息传递风格的用户界面系统的描述。
Rapide支持体系结构设计的模拟并提供了分析模拟结果的工具。
SADL提供了关于体系结构加细的形式化基础。
UniCon支持异构的构件和连接件类型并提供了关于体系结构的高层编译器。
Wright支持体系结构构件之间交互的说明和分析。
2
这些ADL强调了体系结构不同的侧面
每一种ADL都以独立的形式存在,描述语法不同且互不兼容
大部分ADL都是领域相关的,不利于对不同领域的体系结构进行分析
3
UniCon
Developed by Shaw et. al at Carnegie Mellon Univ.,US
http://research./users/rdeline/publications/iccds96/
/afs/cs/project/vit/.html
4
UniCon
An UniCon architecture is a set ponents whose
interaction is mediated by a set of connectors.
components
connectors
ponent’s interface
exports a number of players
a connector’s interface
exports a number or roles
define the rules (protocols/mechanisms) ponent interaction
5
构件的定义
定义包括两方面的内容,即接口和实现。
<component>:==COMPONENT <identifier> <interface> <component_implementation> END <identifier>
6
构件接口的定义
接口定义了构件所承担的计算任务,规定了使用构件时的约束条件。还对构件的性能和行为做要求。
<interface>:==INTERFACE IS TYPE <component_type> <property_list> <player_list>
7
构件接口的定义
接口包括3方面信息:构件类型、属性和参与者
<interface>:==INTERFACE IS TYPE <component_type> <property_list> <player_list>
构件类型: 构件所承担的功能种类
Component Types
Module
Computation
SharedData
Filter
SeqFile
Process SchedProcess
General
8
构件接口的定义
<interface>:==INTERFACE IS TYPE <component_type> <property_list> <player_list>
属性: 对构件整体信息进行补充说明,
以“特性-值”形式成对出现
参与者: 起到类似挂钩的作用,构件通过它与其他构件实现交互
9
构件实现的定义
<component_implementation>:== <primitive_implementation>|<composite_implementation>
<primitive_implementation>:==IMPLEMENTATION IS