一种形式化的动态体系结构描述语言
描述动态体系结构的关键在于如何刻画软件的动态行为.基于高阶多型π演算理论,提出了动态体系结构描述语言D-ADL(dynamic architecture description language).在D-ADL中,构件、连接件和体系结构风格被模型化为高阶多型π演算中的抽象(abstraction)类型,系统行为被模型化为进程(process),构件和连接件的交互点则被模型化为通道(channel).为方便系统变更逻辑的编写、修改和理解,D-ADL将动态行为从计算行为中分离出来,显式、集中地表达.由于动态行为可形式化为高阶π演算进程,其结果因此能够被预先推导.在D-ADL规约框架下,给出了将π演算的行为模拟和等价理论用于系统联机演化和体系结构模型求精的规则.实际案例说明了D-ADL的应用.
软件体系结构、ADL、构件、高阶多型π演算、动态行为
17
TP3(计算技术、计算机技术)
国家高技术研究发展计划863计划60373062;浙江省湖州市自然科学基金04JJ3052;教育部霍英东教育基金会高等院校青年教师基金94030
2006-07-03(万方平台首次上网日期,不代表论文的发表时间)
共11页
1349-1359