学号 1206
年级 2012级
动态软件体系结构描述
D-ADL方法理解与研究
专业班级 计算机（2）班
姓 名 联系方式 15 任课教师 周
2015年5月 中国 南京
摘 要
D-ADL是一种刻画软件的动态行为的描述方法，该方法是由我国学者李长云提出的。在D—ADL中，组件、连接件和体系结构风格定义为抽象类型，系统行为被模型化为进程，构件和连接件的交互点则被模型化为通道，它将动态行为从计算行为中分离出来，其结果能够被预先推导。
关键词：动态软件体系结构；D-ADL
根据软件体系结构在运行时的演化方式，可以分为静态软件体系结构和动态软件体系结构。软件体系结构的动态演化包括组件或连接件的创建或删除、组件的更新、调整负载平衡等几种情况。D-ADL便是一种为动态体系结构建模提供支持的方法。
D-ADL遵循Wright等给出的SA描述框架，并且D-ADL将高阶多型π演算作为行为语义基础，凭借高阶π演算描述动态系统的特征，D-ADL允许构件、连接件和配置产生变更，并使得对SA的自动化分析成为可能。D-ADL将类型与实例区分开来，构件类型是实现构件重用的手段。
构件具有三个基本组成部分：接口部分、行为部分和属性部分。构件分有原子构件和复合构件两种。原子构件是指不具备内部结构的构件。为了进一步促进原子构件的重用，构件可以参数化，通过输入不同的参数，来提高构件的灵活性。复合构件是由多个构件实例和连接件实例组装而成的，它在规约层次上表达了成员之间的组合。与原子构件类似，复合构件也可进行参数化，从而提高构件的可重用性。
连接件是一种特殊的构件，同样地，连接件也分为原子连接件和复合连接件两类。原子连接件语法规约类似于原子构件，仅仅是计算行为描述换成了路由行为。通过结构化组合，多个连接件和构件也能形成复合连接件。
在D-ADL中，动态行为规约是通过choreographer来处理的．动态行为本质上是对体系结构的动态重配置，涉及到如下的体系结构变动：
(1)动态创建新的构件实例和连接件实例以及新的端口和通道； (2)动态删除构件实例和连接件实例以及端口和通道； (3)体系结构元素之间连接的改变。
在π演算中定义了两种行为等价关系：强等价关系和弱等价关系。强等价关系既考虑系统的内部行为，又考虑系统的外部行为；而弱等价关系是一种不考虑系统的内部行为的行为等价理论，即如果系统A和B弱互模拟，则A和B表现出来的外部行为是等价的。它定义了如下规则：
1．设构件A和B的行为分别被形式化为进程Pa和Pb，则要使得A和B能够相互联机替换，必要的条件是Pa和Pb具备弱等价关系。D-ADL以高阶多型π演算作为行为语义基础，因此构件的行为规约能够从D-ADL描述出发转换为高阶π演算进程，进而利用规则1和高阶π演算弱等价判定理论及其工具推导出构件能否替。
2．设进程PA表示构件A的行为，进程PB表示构件B的行为，若构件A是对构件B的求精，则PA观察弱模拟PB。分支弱模拟意指对不可观察的活动序列进行抽象，在跟踪每一