1. A CPN Based Method for Aspect-Oriented Modeling and Analysis of Fault Tolerance
- Author
-
Hui Qun Yu, Xiao Xing Sun, and Hong Hao Liang
- Subjects
Engineering ,CPN Tools ,business.industry ,Distributed computing ,Software fault tolerance ,General Engineering ,Coloured Petri net ,Fault tolerance ,Petri net ,Weaving ,business ,Focus (optics) ,Aspect oriented modeling - Abstract
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.
- Published
- 2012
- Full Text
- View/download PDF