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

Research on Bigraph-based Aspect-oriented Dynamic Software Architecture Evolution

作　　者：汪玲[1] 戎玫[2] 张广泉[1,3] 王昇[1] 

机构地区：[1]苏州大学计算机科学与技术学院,苏州215006 [2]暨南大学深圳旅游学院,深圳518053 [3]中国科学院计算机科学国家重点实验室,北京100080

出　　处：《计算机科学》2010年第9期137-140,共4页Computer Science

基　　金：中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省高校自然科学(08KJB520010)资助

摘　　要：随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求。面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构的动态性,且不能很好地验证系统演化前后的正确性。Bigraph不仅具有直观的图形化表达能力,而且具备良好的数学基础,可以推理和验证系统的演化性质。因此,提出了一种面向方面动态软件体系结构(AODSA)模型,扩展的Bigraph用于描述AODSA的结构,使用Bigraph反应系统(BRS)来描述AODSA的动态演化。最后以一个简化的ATM存款系统模型为例,说明Bigraph表示的ATM模型以及基于BRS的演化过程。As the development of network technology,the runtime environment of software is becoming more and more complicated and the requirements of software users are growing with diversification.These variations lead to more advanced demands on the ability of dynamic evolution of software.The concept,which is called separation of concerns,during the development of aspect-oriented software development,can well support the dynamic evolution of software.The existing formal methods can not represent the dynamicity of software architecture intuitively; however,more important is that they can not efficiently verify the validity of the system before and after the evolution.Bigraph not only has the ability of intuitive graphical representation,but also possesses better mathematical foundation.Therefore,we proposed a new model,which is called Aspect-Oriented Dynamic Software Architecture（AODSA）,to solve these pro-blems.First,Bigraph was extended in order to describe the structure of AODSA.Then,Bigraph reactive system（BSR） was used to represent the dynamic evolution of AODSA.At last,a simple ATM deposit system model was used for exam-ple to illustrate the usage of AODSA.

关 键 词：Bigraph Bigraph反应系统 AODSA 动态演化 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]