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

汪玲,戎玫,张广泉,王昇
DOI: https://doi.org/10.3969/j.issn.1002-137x.2010.09.033
2010-01-01
Computer Science
Abstract: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.
What problem does this paper attempt to address?