文献类型：期刊文献

英文题名：A CPN based method for aspect-oriented modeling and analysis of fault tolerance

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

机构：[1] East China University of Science and Technology, Shanghai 200237, China; [2] Shanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai 201112, China

年份：2012

卷号：457-458

起止页码：891

外文期刊名：Advanced Materials Research

收录：EI(收录号：20120814789214)

语种：英文

外文关键词：Aspect oriented programming - Weaving - Petri nets

摘要：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. ? (2012) Trans Tech Publications.