To solve the identification and comprehension problem of crosscutting concerns in existing legacy software system, a framework of aspect-oriented software reveme engineering is proposed. An approach on re-modularizing...To solve the identification and comprehension problem of crosscutting concerns in existing legacy software system, a framework of aspect-oriented software reveme engineering is proposed. An approach on re-modularizing traversal features of legacy system is presented based on various unified modeling language （UML） diagrams. While modeling crosscutting concerns in UML use case diagrams, the non-functional requirements that affect several use case modules can be enveloped into aspect modules with a stereotype mechanism. The recurring message transmission patterns can be re-modularized as aspects in UML sequence diagrams with UML collaborations. Standard UML activity diagram notations are extended and modified by node fusion and addition, which support the graphical composition operation between crosscutting behaviors and primary business roles of concurrent systems. Case study indicates that travernal features of software system can be extracted and re-modularized from various perspectives in aspect-oriented reverse engineering, which improves comprehensibility and maintainability of legacy systems.展开更多
Dependable computer based systems employing fault tolerance and robust software development techniques demand additional error detection and recovery related tasks. This results in tangling of core functionality with ...Dependable computer based systems employing fault tolerance and robust software development techniques demand additional error detection and recovery related tasks. This results in tangling of core functionality with these cross cutting non-functional concerns. In this regard current work identifies these dependability related non-functional and cross-cutting concerns and proposes design and implementation solutions in an aspect oriented framework that modularizes and separates them from core functionality. The degree of separation has been quantified using software metrics. A Lego NXT Robot based case study has been completed to evaluate the proposed design framework.展开更多
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.展开更多
In the present work,transparent and anti-fogging AlPO_(4)-5 films were prepared on glass substrates using a novel developed process.The process entails a simple in-situ sol–gel followed by vapor phase transport.The i...In the present work,transparent and anti-fogging AlPO_(4)-5 films were prepared on glass substrates using a novel developed process.The process entails a simple in-situ sol–gel followed by vapor phase transport.The in-situ sol–gel process was implemented by coating the precursor sols for the synthesis of AlPO4-5 on the glass substrates successively using the spin-coating method.The films and powders scribed from the films were characterized by X-Ray diffraction(XRD),Fourier transform infrared spectroscopy(FT-IR),scanning electron microscope(SEM),atomic force microscope(AFM),X-ray photoelectron spectroscopy and transmission electron microscope(TEM).The unique films were composed of oblique oriented nanoflake AlPO_(4)-5 crystals with the thickness of about 20 nm.The formation of nano-flake crystals can be ascribed to the high concentration of the precursors,resulting in the formation of a supersaturation system.The obtained films showed high antifogging performance due to the superhydrophilicity with a water contact angle of lower than 1.0°.The silicone oil contact angle was also low about 8.2°.In addition,heteroatom-substituted AlPO_(4)-5 films showing different colors can be obtained easily by simply adding transition metal ions in the phosphate acid solution during the preparation that can extend the application of the method for different coating demand.展开更多
Aspect oriented software development is an emerging paradigm of software development. The notion of this technique is separation of concerns which means to implement each concern in a single object in object oriented ...Aspect oriented software development is an emerging paradigm of software development. The notion of this technique is separation of concerns which means to implement each concern in a single object in object oriented programming but still there are concerns which are distributed on different objects and are called crosscutting concerns while another form is Core concerns are the core functionality provided by the system but crosscutting concerns are the concerns like logging, performance etc. Modeling of aspect oriented software is different from the normal modeling of object-oriented or procedural language software, because aspects don’t have the independent identity or existence and they are tightly coupled to their woven context so it is difficult to model them. The one aim of our research paper is to explore the domain of Modeling of the aspect-oriented software. The goal of this research paper is to give a UML Behavioral modeling techniques in the domain of aspect oriented software development. This technique of generating UML Behavioral Model for aspects will give better understating of separations concerns.展开更多
A new approach to synthesize liquid crystalline polymer with narrow polydispersity index（PDI） was developed.Photopolymerization of 4-cyanophenyl-4＇-（6-acryloyloxyhexyloxy）benzoate（RM23） in nematic liquid crysta...A new approach to synthesize liquid crystalline polymer with narrow polydispersity index（PDI） was developed.Photopolymerization of 4-cyanophenyl-4＇-（6-acryloyloxyhexyloxy）benzoate（RM23） in nematic liquid crystals with macroscopic orientation was studied.The effects of the monomer concentration on the molecular weight and PDI of the resulting polymers were studied through gel permeation chromatography（GPC） and polarized optical microscopy.The low PDI of 1.19 and 1.22 was obtained in the reverse and normal modes,respectively.The PDI and molecular weight increased with monomer concentration.展开更多
This paper proposes an extended system dependence graph called AspectSDG to represent control and data dependences for AspeetC＋＋ programs, and presents an approach for the construction of AspectSDG. This approach de...This paper proposes an extended system dependence graph called AspectSDG to represent control and data dependences for AspeetC＋＋ programs, and presents an approach for the construction of AspectSDG. This approach decomposes aspect-oriented programs into three parts： component codes, aspect codes, and weaving codes. It constructs program dependence graphs （PDGs） for each part, and then connects the PDGs at call sites to form the complete AspectSDG. The AspectSDG can deal with advice precedence correctly, and represent the additional dependences caused by aspect codes. Based on this model, we introduce how to compute a static slice of an AspectC＋ ＋ program.展开更多
‘Oriental Show’ is a generation of new cucumber variety, with the superi-or inbred line ‘101’ as the female parent and inbred line ‘102’ as the male par-ent. The growth vigor tends to be strong and the first fem...‘Oriental Show’ is a generation of new cucumber variety, with the superi-or inbred line ‘101’ as the female parent and inbred line ‘102’ as the male par-ent. The growth vigor tends to be strong and the first female blossom produces on the 4th or the 5th internode. Fruit is 34 cm long and 32 cm in transverse diameter. Per fruit weighs about 230 g. lt is dark green, densely covered with thorns. lt tastes crisp, containing 167.7 mg/kg Vc, and it is resistant to downy mildew, pow-dery mildew and bacterial angular leaf spot disease. lt is yielding and tolerant to low temperature and weak luminance. The yield can be as high as over 112 443.778 kg/hm^2, and ‘Oriental Show’ is suitable to be cultivated in greenhouses in early spring or solar greenhouses in north China or Henan province.展开更多
面向方面软件体系结构描述语言AspectualACME虽引入了切点指示器PCD(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述。针对这一问题,基于AspectualACME语言抽象语法树,设计了一阶逻辑语言LIAPCD(Logic Language forPCD)...面向方面软件体系结构描述语言AspectualACME虽引入了切点指示器PCD(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述。针对这一问题,基于AspectualACME语言抽象语法树,设计了一阶逻辑语言LIAPCD(Logic Language forPCD)。在此基础上提出了AspectualACME语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。展开更多
基金Project supported by National Natural Science Foundation of China (Grant No .60473063)
文摘To solve the identification and comprehension problem of crosscutting concerns in existing legacy software system, a framework of aspect-oriented software reveme engineering is proposed. An approach on re-modularizing traversal features of legacy system is presented based on various unified modeling language （UML） diagrams. While modeling crosscutting concerns in UML use case diagrams, the non-functional requirements that affect several use case modules can be enveloped into aspect modules with a stereotype mechanism. The recurring message transmission patterns can be re-modularized as aspects in UML sequence diagrams with UML collaborations. Standard UML activity diagram notations are extended and modified by node fusion and addition, which support the graphical composition operation between crosscutting behaviors and primary business roles of concurrent systems. Case study indicates that travernal features of software system can be extracted and re-modularized from various perspectives in aspect-oriented reverse engineering, which improves comprehensibility and maintainability of legacy systems.
文摘Dependable computer based systems employing fault tolerance and robust software development techniques demand additional error detection and recovery related tasks. This results in tangling of core functionality with these cross cutting non-functional concerns. In this regard current work identifies these dependability related non-functional and cross-cutting concerns and proposes design and implementation solutions in an aspect oriented framework that modularizes and separates them from core functionality. The degree of separation has been quantified using software metrics. A Lego NXT Robot based case study has been completed to evaluate the proposed design framework.
基金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.
基金financial support from the Key University Science Research Project of Jiangsu Province(16KJA430007)Opening Topic of Key Laboratory of Attapulgite Resources Utilization in Jiangsu Province(HPK201804)Opening Topic of National Local Joint Engineering Research Center for Deep Utilization of Mineral and Salt Resources(SF201804)。
文摘In the present work,transparent and anti-fogging AlPO_(4)-5 films were prepared on glass substrates using a novel developed process.The process entails a simple in-situ sol–gel followed by vapor phase transport.The in-situ sol–gel process was implemented by coating the precursor sols for the synthesis of AlPO4-5 on the glass substrates successively using the spin-coating method.The films and powders scribed from the films were characterized by X-Ray diffraction(XRD),Fourier transform infrared spectroscopy(FT-IR),scanning electron microscope(SEM),atomic force microscope(AFM),X-ray photoelectron spectroscopy and transmission electron microscope(TEM).The unique films were composed of oblique oriented nanoflake AlPO_(4)-5 crystals with the thickness of about 20 nm.The formation of nano-flake crystals can be ascribed to the high concentration of the precursors,resulting in the formation of a supersaturation system.The obtained films showed high antifogging performance due to the superhydrophilicity with a water contact angle of lower than 1.0°.The silicone oil contact angle was also low about 8.2°.In addition,heteroatom-substituted AlPO_(4)-5 films showing different colors can be obtained easily by simply adding transition metal ions in the phosphate acid solution during the preparation that can extend the application of the method for different coating demand.
文摘Aspect oriented software development is an emerging paradigm of software development. The notion of this technique is separation of concerns which means to implement each concern in a single object in object oriented programming but still there are concerns which are distributed on different objects and are called crosscutting concerns while another form is Core concerns are the core functionality provided by the system but crosscutting concerns are the concerns like logging, performance etc. Modeling of aspect oriented software is different from the normal modeling of object-oriented or procedural language software, because aspects don’t have the independent identity or existence and they are tightly coupled to their woven context so it is difficult to model them. The one aim of our research paper is to explore the domain of Modeling of the aspect-oriented software. The goal of this research paper is to give a UML Behavioral modeling techniques in the domain of aspect oriented software development. This technique of generating UML Behavioral Model for aspects will give better understating of separations concerns.
基金The authors are grateful to NSF of China(No.50703013)Independent Innovative Position of Hubei Province for financial support of this work
文摘A new approach to synthesize liquid crystalline polymer with narrow polydispersity index（PDI） was developed.Photopolymerization of 4-cyanophenyl-4＇-（6-acryloyloxyhexyloxy）benzoate（RM23） in nematic liquid crystals with macroscopic orientation was studied.The effects of the monomer concentration on the molecular weight and PDI of the resulting polymers were studied through gel permeation chromatography（GPC） and polarized optical microscopy.The low PDI of 1.19 and 1.22 was obtained in the reverse and normal modes,respectively.The PDI and molecular weight increased with monomer concentration.
基金Supported by the National Science Foundation forDistinguished Young Scholars (60425206) the National Natural Sci-ence Foundation of China ( 90412003 , 60373066 , 60403016 ,60503033) the National Basic Research Programof China (973 Pro-gram2002CB312000)
文摘This paper proposes an extended system dependence graph called AspectSDG to represent control and data dependences for AspeetC＋＋ programs, and presents an approach for the construction of AspectSDG. This approach decomposes aspect-oriented programs into three parts： component codes, aspect codes, and weaving codes. It constructs program dependence graphs （PDGs） for each part, and then connects the PDGs at call sites to form the complete AspectSDG. The AspectSDG can deal with advice precedence correctly, and represent the additional dependences caused by aspect codes. Based on this model, we introduce how to compute a static slice of an AspectC＋ ＋ program.
基金Supported by National Modern Agricultural Technology Industry System(CARS-25-G-28)Zhengzhou Science and Technology Major Project(162PDZX188)~~
文摘‘Oriental Show’ is a generation of new cucumber variety, with the superi-or inbred line ‘101’ as the female parent and inbred line ‘102’ as the male par-ent. The growth vigor tends to be strong and the first female blossom produces on the 4th or the 5th internode. Fruit is 34 cm long and 32 cm in transverse diameter. Per fruit weighs about 230 g. lt is dark green, densely covered with thorns. lt tastes crisp, containing 167.7 mg/kg Vc, and it is resistant to downy mildew, pow-dery mildew and bacterial angular leaf spot disease. lt is yielding and tolerant to low temperature and weak luminance. The yield can be as high as over 112 443.778 kg/hm^2, and ‘Oriental Show’ is suitable to be cultivated in greenhouses in early spring or solar greenhouses in north China or Henan province.
文摘面向方面软件体系结构描述语言AspectualACME虽引入了切点指示器PCD(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述。针对这一问题,基于AspectualACME语言抽象语法树,设计了一阶逻辑语言LIAPCD(Logic Language forPCD)。在此基础上提出了AspectualACME语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。
