Title: A formal method for software architecture analysis based on aspect orientation

Authors: Xinxiu Wen; Hong Zheng; Zeping Yang

Addresses: College of Information Science and Engineering, East China University of Science and Technology, Shanghai, China ' College of Information Science and Engineering, East China University of Science and Technology, Shanghai, China ' College of Information Science and Engineering, East China University of Science and Technology, Shanghai, China

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.

Keywords: software architecture; structural description; behavioural analysis; aspect-oriented statechart.

DOI: 10.1504/IJWMC.2018.091147

International Journal of Wireless and Mobile Computing, 2018 Vol.14 No.2, pp.191 - 196

Received: 17 Jun 2017
Accepted: 22 Jan 2018
Published online: 11 Apr 2018 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article