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 an...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.展开更多
Business process execution language(BPEL)is a most recognized standard workflow language.However,it is difficult to be used in the ubiquitous system computing environment because it is difficult to describe the contex...Business process execution language(BPEL)is a most recognized standard workflow language.However,it is difficult to be used in the ubiquitous system computing environment because it is difficult to describe the context information in the selection of the flow through the branch.To solve this problem,we propose a new BPEL workflow system with context-awareness by using aspect-oriented programming(AOP).This system is composed of a BPEL system module and a weaving module using AOP for context-aware.The BPEL system module generates a BPEL workflow program.And the weaving module converts a context-aware mark-up language(CAML)document to the aspect-oriented program that is applied to context-aware code without modification of the existing BPEL document.We also define a new document form that is called CAML,which provides a context-aware that is not available in BPEL.The system can generate a context-aware workflow program.It is developed in a way that inserts context information using AOP to provide context-aware services.展开更多
In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving ...In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving methods for developing of embedded software systematically has become an important issue. Platform-based design is one example of an embedded-system design method that can reduce the design cost via improving a design’s abstraction level. However, platform-based design lacks precise definitions for platforms and design processes. This paper provides an approach that combines the aspects and platform-based design methods for developing embedded software. The approach is built on platform-based design methodology and uses the separating of concerns (SoC) concept to define the aspects and to reduce the crosscutting concerns in embedded system modeling. For aspect issues, we use the extended UML notation with aspects to describe both the static structure and the dynamic structure of the embedded system. We used an example of a digital photo frame system to demonstrate our approach.展开更多
Aspect-oriented programs have received much attention from software testing researchers. Various testing techniques and approaches have been proposed to tackle issues and challenges when testing aspect-oriented progra...Aspect-oriented programs have received much attention from software testing researchers. Various testing techniques and approaches have been proposed to tackle issues and challenges when testing aspect-oriented programs including traditional mutation testing. In traditional mutation testing of aspect-oriented programs, mutants are generated by making small changes to the syntax of the aspect-oriented language. Recently, a new approach known as semantic mutation testing has been proposed. This approach mutates the semantics of the language in which the program is written. The mutants generated misunderstandings of the language which are different classes of faults. Aspect-oriented programming presents itself with different properties that can be further explored with respect to semantic mutation testing. This paper describes various possible scenarios that semantic mutation testing strategy might have particular value in testing aspect-oriented programs.展开更多
The press-fit connector is a typical plug-and-play solderless connection,and it is widely used in signal transmission in fields such as communication and automotive devices.This paper focuses on inverse designing and ...The press-fit connector is a typical plug-and-play solderless connection,and it is widely used in signal transmission in fields such as communication and automotive devices.This paper focuses on inverse designing and optimization of geometric structure,as well as insertion-withdrawal forces of press-fit connector using artificial neural network(ANN)-assisted optimization method.The ANN model is established to approximate the relationship between geometric parameters and insertion-withdrawal forces,of which hyper-parameters of neural network are optimized to improve model performance.Two numerical methods are proposed for inverse designing structural parameters(Model-I)and multi-objective optimization of insertion-withdrawal forces(Model-II)of press-fit connector.In Model-I,a method for inverse designing structure parameters is established,of which an ANN model is coupled with single-objective optimization algorithm.The objective function is established,the inverse problem is solved,and effectiveness is verified.In Model-II,a multi-objective optimization method is proposed,of which an ANN model is coupled with genetic algorithm.The Pareto solution sets of insertion-withdrawal forces are obtained,and results are analyzed.The established ANN-coupled numerical optimization methods are beneficial for improving the design efficiency,and enhancing the connection reliability of the press-fit connector.展开更多
抗拔不抗剪(uplift-restricted and slip-permitted,URSP)连接件技术,通过释放组合梁负弯矩区的部分组合作用,达到降低混凝土板拉应力的目的,是一种新型组合技术。该文研究发现:布置抗拔不抗剪连接件时,界面抗剪区域和界面不抗剪区域存...抗拔不抗剪(uplift-restricted and slip-permitted,URSP)连接件技术,通过释放组合梁负弯矩区的部分组合作用,达到降低混凝土板拉应力的目的,是一种新型组合技术。该文研究发现:布置抗拔不抗剪连接件时,界面抗剪区域和界面不抗剪区域存在耦合受力现象,该耦合受力对抗拔不抗剪组合梁的抗裂机制有较大影响。以往关于抗拔不抗剪组合梁的研究很少提及类似耦合效应,不能正确揭示抗拔不抗剪组合梁的受力性能。为了正确考虑不同界面连接区域的耦合受力带来的影响,该研究采用连续组合梁开展试验研究。试验制作并测试了3个连续组合梁试件。该文从6个方面对试件的性能进行详细地对比和分析,具体包括:开裂荷载、裂缝分布和发展模式、界面滑移、变形和刚度、内力重分布情况和应变分布。研究发现:抗拔不抗剪连接件能实现部分组合作用的释放,对负弯矩区混凝土裂缝宽度的控制有显著作用;同时,采用抗拔不抗剪连接件,对组合梁的刚度、承载力、钢梁应变等几乎没有影响。展开更多
基金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.
基金Basic Science Research Program through the National Research Foundation of Korea(NRF)funded by the Ministry of Education,Science and Technology(No.2010-0025831)
文摘Business process execution language(BPEL)is a most recognized standard workflow language.However,it is difficult to be used in the ubiquitous system computing environment because it is difficult to describe the context information in the selection of the flow through the branch.To solve this problem,we propose a new BPEL workflow system with context-awareness by using aspect-oriented programming(AOP).This system is composed of a BPEL system module and a weaving module using AOP for context-aware.The BPEL system module generates a BPEL workflow program.And the weaving module converts a context-aware mark-up language(CAML)document to the aspect-oriented program that is applied to context-aware code without modification of the existing BPEL document.We also define a new document form that is called CAML,which provides a context-aware that is not available in BPEL.The system can generate a context-aware workflow program.It is developed in a way that inserts context information using AOP to provide context-aware services.
文摘In recent years, mobile devices have become widespread and refined, and they have offered increased convenience in human life. For these reasons, a variety of embedded systems have been designed. Therefore, improving methods for developing of embedded software systematically has become an important issue. Platform-based design is one example of an embedded-system design method that can reduce the design cost via improving a design’s abstraction level. However, platform-based design lacks precise definitions for platforms and design processes. This paper provides an approach that combines the aspects and platform-based design methods for developing embedded software. The approach is built on platform-based design methodology and uses the separating of concerns (SoC) concept to define the aspects and to reduce the crosscutting concerns in embedded system modeling. For aspect issues, we use the extended UML notation with aspects to describe both the static structure and the dynamic structure of the embedded system. We used an example of a digital photo frame system to demonstrate our approach.
文摘Aspect-oriented programs have received much attention from software testing researchers. Various testing techniques and approaches have been proposed to tackle issues and challenges when testing aspect-oriented programs including traditional mutation testing. In traditional mutation testing of aspect-oriented programs, mutants are generated by making small changes to the syntax of the aspect-oriented language. Recently, a new approach known as semantic mutation testing has been proposed. This approach mutates the semantics of the language in which the program is written. The mutants generated misunderstandings of the language which are different classes of faults. Aspect-oriented programming presents itself with different properties that can be further explored with respect to semantic mutation testing. This paper describes various possible scenarios that semantic mutation testing strategy might have particular value in testing aspect-oriented programs.
基金supported by the National Natural Science Foundation of China(No.52005378)the opening project fund of Materials Service Safety Assessment Facilities(No.MSAF-2021-107).
文摘The press-fit connector is a typical plug-and-play solderless connection,and it is widely used in signal transmission in fields such as communication and automotive devices.This paper focuses on inverse designing and optimization of geometric structure,as well as insertion-withdrawal forces of press-fit connector using artificial neural network(ANN)-assisted optimization method.The ANN model is established to approximate the relationship between geometric parameters and insertion-withdrawal forces,of which hyper-parameters of neural network are optimized to improve model performance.Two numerical methods are proposed for inverse designing structural parameters(Model-I)and multi-objective optimization of insertion-withdrawal forces(Model-II)of press-fit connector.In Model-I,a method for inverse designing structure parameters is established,of which an ANN model is coupled with single-objective optimization algorithm.The objective function is established,the inverse problem is solved,and effectiveness is verified.In Model-II,a multi-objective optimization method is proposed,of which an ANN model is coupled with genetic algorithm.The Pareto solution sets of insertion-withdrawal forces are obtained,and results are analyzed.The established ANN-coupled numerical optimization methods are beneficial for improving the design efficiency,and enhancing the connection reliability of the press-fit connector.
文摘抗拔不抗剪(uplift-restricted and slip-permitted,URSP)连接件技术,通过释放组合梁负弯矩区的部分组合作用,达到降低混凝土板拉应力的目的,是一种新型组合技术。该文研究发现:布置抗拔不抗剪连接件时,界面抗剪区域和界面不抗剪区域存在耦合受力现象,该耦合受力对抗拔不抗剪组合梁的抗裂机制有较大影响。以往关于抗拔不抗剪组合梁的研究很少提及类似耦合效应,不能正确揭示抗拔不抗剪组合梁的受力性能。为了正确考虑不同界面连接区域的耦合受力带来的影响,该研究采用连续组合梁开展试验研究。试验制作并测试了3个连续组合梁试件。该文从6个方面对试件的性能进行详细地对比和分析,具体包括:开裂荷载、裂缝分布和发展模式、界面滑移、变形和刚度、内力重分布情况和应变分布。研究发现:抗拔不抗剪连接件能实现部分组合作用的释放,对负弯矩区混凝土裂缝宽度的控制有显著作用;同时,采用抗拔不抗剪连接件,对组合梁的刚度、承载力、钢梁应变等几乎没有影响。
