基于π演算的动态软件架构研究

被引：3

作者：

任洪敏 ^{[1
]}

张敬周 ^{[2
]}

杨志应 ^{[1
]}

机构：

[1] 上海海事大学计算机系

[2] 复旦大学计算机科学系软件工程实验室

来源：

计算机科学 | 2009年 / 36卷 / 09期

关键词：

软件架构; 动态软件架构; 架构描述语言; π演算;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

动态软件架构(Dynamic Software Architecture)是架构领域的研究热点。分析了动态软件架构建模应关注的问题,基于π演算提出了动态软件架构形式化建模的方法,给出了动态软件架构语义的推导算法,奠定了动态架构行为分析和仿真的基础,并能对动态架构的诸多要素进行建模,包括动态演化的起因、时间、操作、非瞬时特性、断点继续执行等。

引用

页码：127 / 130

页数：4

共 5 条

[1] 体系结构动态演化中的构件行为分析 [J].