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

摘要：

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

关键词：软件架构、动态软件架构、架构描述语言、π演算

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

资助基金：上海市教委创新基金项目09YZ224;上海市教委科学基金项目2008096

在线出版日期：2009-11-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：127-130