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

摘要：

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

关键词：Bigraph、Bigraph反应系统、自适应软件、软件体系结构、形式化方法

所属期刊栏目：32

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2009-04-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：97-106