文献类型：期刊文章

作　　者：李长云[1] 李赣生[1] 何频捷[1]

机构地区：[1]浙江大学计算机软件研究所

出　　处：《软件学报》

基　　金：国家自然科学基金;湖南省自然科学基金;霍英东青年教师基金~~

年　　份：2006

卷　　号：17

期　　号：6

起止页码：1349-1359

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

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

关 键 词：软件体系结构 ADL 构件  高阶多型π演算  动态行为  

分 类 号：TP311]