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

【Abstract】 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 π-calculus based modeling method is able to specify many aspects of dynamic architecture,including cause,time,operations and non-instantaneous change,etc.更多还原