Research On Modeling And Evolution Of Aspect-Oriented Dynamic Software Architecture Based On Bigraph

With the fast development of Internet, the runtime environment of computer software becomes on-limits gradually. At the same time, software dynamic evolution is going to become a hot research topic in software engineering area. Aspect-Oriented Programming (AOP) is a novel programming technique which has the skill called separation of concerns which can well support the non-intrusive evolution of the non-funtional properties in the software system. However, it is difficult for AOP to support the dynamic evolution of software system in the high abstract level as AOP is just a programming technique. Recently, dynamic software architecture gradually becomes the research hopspot for the researchers in software architecture area and the research about the dynamic evolution of the software architecture becomes the tendency. We propose aspect-oriented dynamic software architecture (AODSA) and corresponding evolution methods in this paper.The existing elements in software architecture can not represent the cross-cutting concerns (aspects) in AOP. Therefore, in this work, the elements in software architecture are extended by adding two new elements called aspect and dynamic reconfiguration respectively. These two new elements are used to represent the cross-cutting concerns in AOP and manage the dynamic evolution mechanism. As a result, AOP is imported into software architecture to construct the model of AODSA as first-order entity. We analyze the evolution operation of the proposed AODSA from the angles of basic evolution and dynamic reconfiguration.Bigraph is a formal description language based on graphic which owns accurate and visual representation styles. We extend the existing Bigraph theory to represent the structure and behavior of AODSA. In order to represent the dynamic evolution of AODSA effectively, Bigraphical Reactive System (BRS) is applied to represent the evolution operation of AODSA. Therefore, the evolution operation in AODSA can be transformed into the operation in Bigraph, i.e. one Bigraph is transformed into another according to the reactive rules. Meanwhiles, the term language of Bigraph can represent the evolution operation of AODSA accurately which will lay the foundations for the farther formal verification. Finally, The Online Auction System (OAS) example shows the process and evolution operation of our proposed scheme and indicates that AODSA based on Bigraph has advantage in supporting dynamic evolution of software.