A formal method for software architecture analysis based on aspect orientation. (2018)

• Record Type: Journal Article
• Authors: Wen, Xinxiu; Zheng, Hong; Yang, Zeping
• Is Part Of: International journal of wireless and mobile computing. Volume 14:Number 2(2018)
• Page Start: 191
• Page End: 196
• Publication Date: 2018
• Subjects: software architecture -- structural description -- behavioural analysis -- aspect-oriented statechart; Mobile computing -- Periodicals; Wireless communication systems -- Periodicals; 004.6
• Languages: English
• ISSNs: 1741-1084

Abstract

Software architecture analysis plays an important role in software development lifecycle. However, from the view of separation of concerns, there is an absence of both structural description and behavioural analysis of software architecture. This paper proposes an aspect-oriented software architecture (AOSA) to reduce the complexity of software model and improve the reliability of software system. Aspect-oriented architecture description language based on XML is defined for structural description of software architecture, while aspect-oriented statechart and temporal logic are used for its behavioural analysis. A carousel case illustrates that the formal method is effective.