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.展开更多
Due to the advances in Web technologies,various raster maps are available through Web Map Services such as Google maps and Yahoo maps.These online maps are used to visualize diverse types of disasters.Understanding di...Due to the advances in Web technologies,various raster maps are available through Web Map Services such as Google maps and Yahoo maps.These online maps are used to visualize diverse types of disasters.Understanding disasters with these online maps has become an important research issue.In this article,we propose a map-based general-purpose emergency management support system based on a computational model of generalized(multiplicatively weighted,order-k,and Minkowski-metric)Voronoi diagrams.The proposed system tessellates Web maps and models disasters(or emergency response units)having different weights in the complete order from 1 to k-1 in the three popular Minkowski metrics(Euclidean,Manhattan,and Maximum distance)pro-vide insightful information for various what-if emergency scenarios.The proposed map-based emergency management support system systematically supports neighboring queries,districting queries,location optimization queries,and routing queries.We pro-vide specific examples to illustrate how our system supports these queries.展开更多
基金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.
基金Supported by the Collaboration Across Boundary Grant within James Cook University
文摘Due to the advances in Web technologies,various raster maps are available through Web Map Services such as Google maps and Yahoo maps.These online maps are used to visualize diverse types of disasters.Understanding disasters with these online maps has become an important research issue.In this article,we propose a map-based general-purpose emergency management support system based on a computational model of generalized(multiplicatively weighted,order-k,and Minkowski-metric)Voronoi diagrams.The proposed system tessellates Web maps and models disasters(or emergency response units)having different weights in the complete order from 1 to k-1 in the three popular Minkowski metrics(Euclidean,Manhattan,and Maximum distance)pro-vide insightful information for various what-if emergency scenarios.The proposed map-based emergency management support system systematically supports neighboring queries,districting queries,location optimization queries,and routing queries.We pro-vide specific examples to illustrate how our system supports these queries.
