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