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. Aspectoriented 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-oriented CPN fault-toloerance
Xiaoxing Sun Huiqun Yu Honghao Liang
Department of Computer Science and EngineeringEast China University of Science and Technology, Shang Department of Computer Science and Engineering East China University of Science and Technology, Shan
国际会议
哈尔滨
英文
43-47
2011-01-18（万方平台首次上网日期，不代表论文的发表时间）