Behavior Consistency Verification for Evolution of Aspectual Component-Based Software

Abstract:

Aspect-Oriented Software Architecture (AOA) is a high-level abstraction and integration blueprint of aspectual component-based software. A semantic model of aspectual component-based software is proposed to provide behavior description and semantic foundation for the consistency verification of software architecture dynamic evolution. By using the semantic model of Pi-calculus, a set of the consistency verification methods of dynamic evolution from multiple aspects are introduced. Finally, a case study shows the effect of these methods.

• Periodical: Advanced Materials Research (Volumes 765-767)
• Pages: 1231-1235
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.765-767.1231
• Online since: September 2013
• Authors: Xue Yao Zhou, Ning Jiang Chen, Dan Dan Hu
• Keywords: Aspect-Oriented Software Architecture, Behavior Consistency, Dynamic Evolution

References

[1] Guangquan Zhang, Mei Rong. A Framework for Dynamic Evolution Based on Reflective Aspect-Oriented Software Architecture. Computer Sciences and Convergence Information Technology, 2009: 7-10.

DOI: 10.1109/iccit.2009.102

[2] CAO Donggang, MEI Hong, ZHOU Minghui. Supporting crosscutting concern modelling in software architecture design. Frontiers of Computer Science in China 2007, 2007, 1(1): 50-57.

DOI: 10.1007/s11704-007-0006-3

[3] Costa-Soria,C., Hervas-Muoz,D., Perez,J., Carsi, J.A. A Reflective Approach for Supporting the Dynamic Evolution of Component Types. Engineering of Complex Computer Systems(ICECCS), 2009: 301-310.

DOI: 10.1109/iceccs.2009.35

[4] Chao You, Minghui Zhou, Zan Xiao, Hong Mei. Towards a Well Structured and Dynamic Application Server. Computer Software and Applications Conference (COMPSAC'09), 2009: 427-434.

DOI: 10.1109/compsac.2009.64

[5] Ping Yu, Xiaoxing Ma, Jian Lu. Dynamic software architecture oriented service composition and evolution. Computer and Information Technology(ICCIT), 2005: 1123-1129.

DOI: 10.1109/cit.2005.100

[6] Yangli JIA, Zhenling ZHANG, Zhoujun LI. Real-time Extension of Component Behavior Protocol and its Compatibility Verification. Computer Science. 2010, 37(10): 143-147.

DOI: 10.1109/icacte.2010.5579193

[7] LUO Yi, XingYu LI, LianWei GUAN, HU Hao, LU Jian. Study on Behavior Consistency of System on Component Evolution. Computer Science. 2008, 35(1): 266-271.

[8] . Oquendo, F. Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL. Software Engineering Advances (ICSEA'08), 2008: 352-359.

DOI: 10.1109/icsea.2008.47

[9] Maximilian Stoerzer, Juergen Graf. Using Pointcut Delta Analysis to Support Evolution of Aspect-Oriented Software. 21st IEEE International Conference on Software Maintenance, 2005: 653-656.

DOI: 10.1109/icsm.2005.99