基于Bigraph的面向方面动态软件体系结构演化研究

作者：汪玲; 戎玫; 张广泉; 王昇

来源：计算机科学, 2010, (09): 137-140.

• Bigraph
• Bigraph反应系统
• AODSA
• 动态演化 Bigraph
• Bigraph reactive system
• Dynamic evolution

随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求。面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构的动态性,且不能很好地验证系统演化前后的正确性。Bigraph不仅具有直观的图形化表达能力,而且具备良好的数学基础,可以推理和验证系统的演化性质。因此,提出了一种面向方面动态软件体系结构(AODSA)模型,扩展的Bigraph用于描述AODSA的结构,使用Bigraph反应系统(BRS)来描述AODSA的动态演化。最后以一个简化的ATM存款系统模型为例,说明Bigraph表示的ATM模型以及基于...

• 单位
  苏州大学; 暨南大学深圳旅游学院; 中国科学院; 计算机科学国家重点实验室