文献类型：会议论文

英文题名：A CPN Based Method for Aspect-Oriented Modeling and Analysis of Fault Tolerance

作者：Sun, Xiaoxing[1];Yu, Huiqun[1];Liang, Honghao[1]

机构：[1]E China Univ Sci & Technol, Shanghai 200237, Peoples R China

会议论文集：International Conference on Advanced Materials and Engineering Materials (ICAMEM 2011)

会议日期：NOV 22-24, 2011

会议地点：Shenyang, PEOPLES R CHINA

语种：英文

外文关键词：Aspect-orientation; Coloured Petri net; Fault tolerance

摘要：Software fault tolerance makes system complicated by means of diverse fault-tolerant mechanisms. Aspect-oriented programming has been confirmed as a well suited candidate to ease the problem. However, most of the existing works only focus on implementation level. This paper proposes an AOFTM model for aspect-oriented fault tolerance modeling with Coloured Petri nets at design level. Moreover, the weaving mechanism formally defined conducts the way to derive a woven net from AOFTM. A case study presents how AOFTM works, and its properties are analyzed using the CPN Tools.