Research Of Consistency Insurance Technologies For Dynamic Evolution Of Aspect-Oriented Internetware

The software complexity and evolution requirements increase with the change of users’ requirements and computing environments. Realizing the Internetware adaptability and dynamic evolution will have an important significance to those uninterrupted and safety-critical systems. Due to the complete separation of system concerns helps to the realization of dynamic evolution, the consistency technologies for dynamic evolution of aspectual component based on aspect-oriented software architecture is to be studied in order to ensure the validity and feasibility of evolution.First of all, the aspect-oriented dynamic software architecture is described in ADarwin language through extending Darwin with the addition of aspect. Due to aspect-oriented software architecture (AOA) is a high-level abstraction and integration blueprint of aspectual software. The formal description and analysis of AOA can provide behavior foundation and semantic foundation for the consistency verification of dynamic evolution. Therefore, by using the semantic model of AOA, which is based on ADarwin and it’s semantic foundation Pi-calculus, a set of the consistency verification methods of dynamic evolution from multiple aspects are introduced. Because of these methods, the behavior interaction of evolved aspectual component is derived and determining if the evolution is consistent.Secondly, a dynamic weaving framework for aspectual component-based system named DWA is designed and the relationships between DWA and SA specification, software implementation are also given. The dynamic evolution process of aspectual component is described formally by ADarwin and the realization technology of DWA is shown with an case study. These ensure the consistency between aspect-oriented architecture specification and system implementation.Finally, an aspectual component-based system—Hotel Management System is introduced. The study aimed at behavior consistency verification methods of dynamic evolution and framework DWA show that the verification of pointcut fragility robustness is a supplement to consistency verification method and effectively verifying the behavior consistency of dynamic evolution for aspectual component-based system. Moreover, DWA is proved to be able to support the dynamic evolution of aspectual component.