文献类型：会议论文

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

作者：Xiaoxing Sun;Honghao Liang;Huiqun Yu

机构：[1]East China University of Science and Technology, Shanghai 200237, China;[2]East China University of Science and Technology, Shanghai 200237, China Shanghai Key Laboratory of C;

会议论文集：2011 International Conference on Advanced Materials and Engineering Materials(2011先进材料与工程材料国际会议 ICAMEM 2011)论文集

会议日期：20111122

会议地点：沈阳

主办单位：中国科学院;中国科学技术大学

语种：英文

中文关键词：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.