Modeling and Analyzing Web Application with Aspect-Oriented Hierarchical Coloured Petri Nets  

作　　者：Xiaoxing Sun Huiqun Yu Honghao Liang Nianhua Yang 

机构地区：[1]Department of Computer Science and Engineering,East China University of Science and Technology [2]Department of System Technology, East China University of Science and Technology Library [3]Shanghai No NDA Smart Technology Co, Ltd. [4]School of Business Information, Shanghai University of International Business and Economics

出　　处：《China Communications》2016年第5期89-102,共14页中国通信（英文版）

基　　金：supported by the NSF of China under grants No. 61173048 and No. 61300041;Specialized Research Fund for the Doctoral Program of Higher Education under grant No. 20130074110015;the Fundamental Research Funds for the Central Universities under Grant No.WH1314038;the Humanities and Social Science Research Planning Fund of the Education Ministry of China under grant No.15YJCZH201;the 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.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.

关 键 词：aspect-oriented modeling hierarchical coloured Petri net CPN Tools ASKCTL 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]