文献类型：期刊文献

英文题名：A formal method for software architecture analysis based on aspect orientation

作者：Wen, Xinxiu[1]; Zheng, Hong[1]; Yang, Zeping[1]

机构：[1] College of Information Science and Engineering, East China University of Science and Technology, Shanghai, China

年份：2018

卷号：14

期号：2

起止页码：191

外文期刊名：International Journal of Wireless and Mobile Computing

收录：EI(收录号：20181605030480)

语种：英文

外文关键词：Software reliability - Life cycle - Behavioral research - Formal methods - Software design - Structural analysis

摘要：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. ? 2018 Inderscience Enterprises Ltd.