一种形式化的动态体系结构描述语言

• 作者: 何频捷 李赣生 李长云
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 软件体系结构 ADL 构件 高阶多型π演算 动态行为
• 年，卷（期）: 2006,（6）
• 所属期刊栏目: 软件体系结构专刊
• 页码范围: 1349-1359
• 页数: 11页
• 分类号: TP3
• 字数: 9446字
• 语种: 中文

摘要

描述动态体系结构的关键在于如何刻画软件的动态行为.基于高阶多型π演算理论,提出了动态体系结构描述语言D-ADL(dynamic architecture description language).在D-ADL中,构件、连接件和体系结构风格被模型化为高阶多型π演算中的抽象(abstraction)类型,系统行为被模型化为进程(process),构件和连接件的交互点则被模型化为通道(channel).为方便系统变更逻辑的编写、修改和理解,D-ADL将动态行为从计算行为中分离出来,显式、集中地表达.由于动态行为可形式化为高阶π演算进程,其结果因此能够被预先推导.在D-ADL规约框架下,给出了将π演算的行为模拟和等价理论用于系统联机演化和体系结构模型求精的规则.实际案例说明了D-ADL的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李长云	浙江大学计算机软件研究所	130	747	12.0	21.0
5	李赣生	浙江大学计算机软件研究所	12	151	6.0	12.0
6	何频捷	浙江大学计算机软件研究所	1	65	1.0	1.0