%0 Journal Article
%T Research on Dynamic Software Architecture Based on π-Calculus<br>基于π演算的动态软件架构研究
%A REN Hong-min
%A ZHANG Jing-zhou
%A YANG Zhi-ying
%A <br>任洪敏
%A 张敬周
%A 杨志应
%J 计算机科学
%D 2009
%I 
%X 动态软件架构(Dynamic Software Architecture)是架构领域的研究热点.分析了动态软件架构建模应关注的问题,基于π演算提出了动态软件架构形式化建模的方法,给出了动态软件架构语义的推导算法,奠定了动态架构行为分析和仿真的基础,并能对动态架构的诸多要素进行建模,包括动态演化的起因、时间、操作、非瞬时特性、断点继续执行等.
%K 软件架构
%K 动态软件架构
%K 架构描述语言
%K π演算
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=8BE5B0141D17F2335EF7F6EB650D5D8A&yid=DE12191FBD62783C&vid=933658645952ED9F&iid=9CF7A0430CBB2DFD&sid=B344543C2864D684&eid=B47A0E731AF43EB2&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=0