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

Research on Dynamic Software Architecture Based on π-Calculus

作　　者：任洪敏[1] 张敬周[2] 杨志应[1] 

机构地区：[1]上海海事大学计算机系,上海200135 [2]复旦大学计算机科学系软件工程实验室,上海200433

出　　处：《计算机科学》2009年第9期127-130,共4页Computer Science

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

摘　　要：动态软件架构(Dynamic Software Architecture)是架构领域的研究热点。分析了动态软件架构建模应关注的问题,基于π演算提出了动态软件架构形式化建模的方法,给出了动态软件架构语义的推导算法,奠定了动态架构行为分析和仿真的基础,并能对动态架构的诸多要素进行建模,包括动态演化的起因、时间、操作、非瞬时特性、断点继续执行等。Dynamic software architecture is one of the important research subjects in software architecture. This paper discussed issues in modeling and analyzing dynamic software architectures, proposed a modeling method of dynamic software architectures based on π-calculus, and developed an algorithm for reasoning about the semantics of dynamic architectural configuration. The n-calculus based modeling method is able to specify many aspects of dynamic architecture, including cause, time, operations and non-instantaneous change, etc.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]