| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | Bigraph理论在自适应软件体系结构上的应用 |
| 作者 | 常志明 毛新军 齐治昌 |
| 作者单位 | (国防科学技术大学计算机学院 长沙 410073) |
| 发表年份 | 2009 |
| 发表月份 | 1期(97—106) |
| 文章摘要 | 摘要 现有的软件体系结构形式化方法对体系结构的动态性、自适应性支持有限，并不能很好地验证系统演化过程中的一致性、完整性等动态特征.Bigraph理论融合了π演算和移动Ambient演算的优势，重点强调计算的位置和连接两方面因素，具有较为完整、可扩展的理论框架.这使得Bigraph不仅在概念上能够满足现有自适应软件对结构和行为的需求，而且还提供了直观、普适的表达能力.文中简要介绍了Bigraph的基本概念和现状，利用Bigraph理论对自适应软件体系结构进行了形式化规约，分析和验证了系统动态演化的性质，并探讨了Bigraph理论在自适应软件体系结构形式化方面的优势和拓展方向. 关键词：Bigraph；Bigraph反应系统；自适应软件；软件体系结构；形式化方法 DOI号: 10.3724/SP.J.1016.2009.00097 |