ADL (体系结构描述语言).pptx

ADL (体系结构描述语言)
ADL 是什么?
ADL:是这样一种形式化语言,为软件系统的概念体系结构建模提供了具体语法与概念框架
作用:基于底层语义的工具为体系结构的表示、分析、进化、细化、设计过程等提供支持。
其三个基本构成元素是:
1)组件:计算或数据存储单元;
2)连接件:用于组件问交互建模的体系结构构造块及其支配这些交互的规则
3)体系结构配置:描述体系结构的组件与连接于的连接图。
ADL应具备的特点:
,如Petri网、状态图、z、 CSP等。有了形式化理论基础,才能对所描述的系统进行分析和验证。
,ADL应具有严谨的语法和语义。描述能力应足够强,至少应能描述的基本构件如组件、连接件及有关配置规范。同时,为了更好的应用,一种ADL,应有相应的支持工具,支持工具的能力直接反映了该ADL的可使用程度和范围。
,因此,ADL描述应简单易懂,最好有图表辅助理解。对于同一个体系结构,不同的软件开发者需要从不同的抽象层次上理解,这就要求ADL能描述不同抽象程度的软件体系结构
几种ADL
Darwin
采用π演算来分析、描述带有演化通信结构的并发系统。在π演算中,一个系统被表述成一组具有独立功能的进程集,集合中的每个进程可以与其它进程建立连接,每个连接都有一个连接名。Darwin采用π演算对系统行为进行建模,利用其强类型系统进行静态检查。
Darwin Example
component DataStore{
provide landerValues;
}
component Calculation{
require landerValues;
provide calculationService;
}
component UserInterface{
require calculationService;
require landerValues;
}
component LunarLander{
inst
U: UserInterface;
C: Calculation;
D: DataStore;
bind
-- ;
-- ;
-- ;
}
Canonical Textual Visualization
Graphical Visualization
XYZ/ADL
针对国内唐稚松院士提出基于时序逻辑的XYZ语言进行扩充,用来描述验证具有实时性、可靠性要求的软件体系结构
Language and tool-set for exploring dynamic properties of systems ponents municate through events
Advantages
Unique and expressive language for describing ponents
Tool-set supports simulation of models