A CPN Based Method for Aspect-Oriented Modeling and Analysis of 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.
Aspect-orientation Coloured Petri net Fault tolerance
Xiaoxing Sun Huiqun Yu Honghao Liang
East China University of Science and Technology, Shanghai 200237, China East China University of Science and Technology, Shanghai 200237, China Shanghai Key Laboratory of C
国际会议
沈阳
英文
891-898
2011-11-22（万方平台首次上网日期，不代表论文的发表时间）