Aspect-oriented modeling can uncover potential design faults, yet most existing work fails to achieve both separation and composition in a natural and succinct way. This study presents an aspect-oriented modeling and ...Aspect-oriented modeling can uncover potential design faults, yet most existing work fails to achieve both separation and composition in a natural and succinct way. This study presents an aspect-oriented modeling and analysis approach with hierarchical Coloured Petri Nets(HCPN). HCPN has sub-models and well-defined semantics combining a set of submodels. These two characteristics of HCPN are nicely integrated into aspect oriented modeling. Submodels are used to model aspects while the combination mechanism contributes to aspects weaving. Furthermore, the woven aspect oriented HCPN model can be simulated and analyzed by the CPN Tools. A systematic web application case study is conducted. The results show the system original properties are satisfied after weaving aspects and all design flaws are revealed. As such, the approach can support web application design and analysis in an aspect-oriented fashion concisely and effectively.展开更多
Coloured Petri net(CPN)is a high-level net while place/transition net(PTN)is a low-level net.It is very important to establish the relationship betweenthe two nets both in theoretical analysis and practical applicatio...Coloured Petri net(CPN)is a high-level net while place/transition net(PTN)is a low-level net.It is very important to establish the relationship betweenthe two nets both in theoretical analysis and practical application.In this paper,wegive a formal method of translating a CPN into a behaviourally equivalent PTN.APTN and its behaviour are formally constructed,a PTN equivalence definition is giv-en,and the same properties of the two nets are proved.展开更多
针对传统Petri网(P/T系统)无法根据后继标识确定系统失效部位的问题,采用着色Petri网(Colored Petri Net,CPN)建立动车组列控车载子系统的故障传播模型。首先,通过CPN与传统Petri网理论的对比说明采用CPN建模的可行性。其次,根据车载子...针对传统Petri网(P/T系统)无法根据后继标识确定系统失效部位的问题,采用着色Petri网(Colored Petri Net,CPN)建立动车组列控车载子系统的故障传播模型。首先,通过CPN与传统Petri网理论的对比说明采用CPN建模的可行性。其次,根据车载子系统的结构组成及工作模式建立故障树模型,并通过Petri网描述故障树逻辑门事件之间的逻辑关系,给出故障树的Petri网表示方法,建立车载子系统的P/T系统模型;进一步根据CPN理论确定托肯染色方法、权函数等模型参数,将P/T系统转化为着色网系统,并举例说明后继标识的计算规则。最后,通过与传统Petri网推理及故障识别过程的对比,证明了采用CPN分析系统故障机理的正确性及在故障识别过程中的高效性。所提方法可为车载子系统的故障识别提供一定依据。展开更多
基金supported by the NSF of China under grants No. 61173048 and No. 61300041Specialized Research Fund for the Doctoral Program of Higher Education under grant No. 20130074110015+2 种基金the Fundamental Research Funds for the Central Universities under Grant No.WH1314038the Humanities and Social Science Research Planning Fund of the Education Ministry of China under grant No.15YJCZH201the Research Innovation Program of Shanghai Municipal Education Commission under grant No. 14YZ134
文摘Aspect-oriented modeling can uncover potential design faults, yet most existing work fails to achieve both separation and composition in a natural and succinct way. This study presents an aspect-oriented modeling and analysis approach with hierarchical Coloured Petri Nets(HCPN). HCPN has sub-models and well-defined semantics combining a set of submodels. These two characteristics of HCPN are nicely integrated into aspect oriented modeling. Submodels are used to model aspects while the combination mechanism contributes to aspects weaving. Furthermore, the woven aspect oriented HCPN model can be simulated and analyzed by the CPN Tools. A systematic web application case study is conducted. The results show the system original properties are satisfied after weaving aspects and all design flaws are revealed. As such, the approach can support web application design and analysis in an aspect-oriented fashion concisely and effectively.
文摘Coloured Petri net(CPN)is a high-level net while place/transition net(PTN)is a low-level net.It is very important to establish the relationship betweenthe two nets both in theoretical analysis and practical application.In this paper,wegive a formal method of translating a CPN into a behaviourally equivalent PTN.APTN and its behaviour are formally constructed,a PTN equivalence definition is giv-en,and the same properties of the two nets are proved.
文摘针对传统Petri网(P/T系统)无法根据后继标识确定系统失效部位的问题,采用着色Petri网(Colored Petri Net,CPN)建立动车组列控车载子系统的故障传播模型。首先,通过CPN与传统Petri网理论的对比说明采用CPN建模的可行性。其次,根据车载子系统的结构组成及工作模式建立故障树模型,并通过Petri网描述故障树逻辑门事件之间的逻辑关系,给出故障树的Petri网表示方法,建立车载子系统的P/T系统模型;进一步根据CPN理论确定托肯染色方法、权函数等模型参数,将P/T系统转化为着色网系统,并举例说明后继标识的计算规则。最后,通过与传统Petri网推理及故障识别过程的对比,证明了采用CPN分析系统故障机理的正确性及在故障识别过程中的高效性。所提方法可为车载子系统的故障识别提供一定依据。
