Bigraph理论在自适应软件体系结构上的应用

作     者：常志明 毛新军 齐治昌 CHANG Zhi-Ming;MAO Xin-Jun;QI Zhi-Chang

作者机构：国防科学技术大学计算机学院长沙410073 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2009年第32卷第1期

页      面：97-106页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家"八六三"高技术研究发展计划项目基金(2007AA01Z135) 国家自然科学基金(60773018) 国防科学技术大学研究生创新基金(B070604)资助~~ 

主　　题：Bigraph Bigraph反应系统 自适应软件 软件体系结构 形式化方法 

摘      要：现有的软件体系结构形式化方法对体系结构的动态性、自适应性支持有限,并不能很好地验证系统演化过程中的一致性、完整性等动态特征.Bigraph理论融合了π演算和移动Ambient演算的优势,重点强调计算的位置和连接两方面因素,具有较为完整、可扩展的理论框架.这使得Bigraph不仅在概念上能够满足现有自适应软件对结构和行为的需求,而且还提供了直观、普适的表达能力.文中简要介绍了Bigraph的基本概念和现状,利用Big-raph理论对自适应软件体系结构进行了形式化规约,分析和验证了系统动态演化的性质,并探讨了Bigraph理论在自适应软件体系结构形式化方面的优势和拓展方向.