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.展开更多
Business Process Exeention Language （BPEL） is being used in various applications as the standard of workflow. As the requirerments increase to describe application processes in BPEL, BPEL documentt is getting more C...Business Process Exeention Language （BPEL） is being used in various applications as the standard of workflow. As the requirerments increase to describe application processes in BPEL, BPEL documentt is getting more Complplicated. Therefore it is difficult to describe applications in BPEL with high reliability. In order to write highly reliable BPEL document, it is necessary to check if the document is working correctly in accordance with user＇s intention. But it is difficult to carry out the test since BPEL engine doesn＇t provide a profiling function. In this paper, we suggest a BPEL system with a real-time profiling function. The suggested system consists of an integrated development environment and a BPEL nunning environment. BPEL integrated development environment has a BPEL to Java（B2J） engine, which generates and executes a Java workflow program from a BPEL document, and a converter, which converts Java Weaving XML （JWX） documents to Aspect-oriented programs. The new functions are described in JWX, which is Extensive Markup Lan-guage （XML）-based document. Since aspect-oriented programming technique provides the way to modularize main and supplemental requirements, it guarantees the low degree of coupling between BPEL workflow program and new functions by weaving them. Our approach can be extended to add other functions to provide context-aware services.展开更多
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.展开更多
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.展开更多
基金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.
基金supported by MKE(The Ministry of Knowledge Economy),Koreathe ITRC support program supervised by the NIPA(NIPA-2009-(C1090-0902-0007))
文摘Business Process Exeention Language （BPEL） is being used in various applications as the standard of workflow. As the requirerments increase to describe application processes in BPEL, BPEL documentt is getting more Complplicated. Therefore it is difficult to describe applications in BPEL with high reliability. In order to write highly reliable BPEL document, it is necessary to check if the document is working correctly in accordance with user＇s intention. But it is difficult to carry out the test since BPEL engine doesn＇t provide a profiling function. In this paper, we suggest a BPEL system with a real-time profiling function. The suggested system consists of an integrated development environment and a BPEL nunning environment. BPEL integrated development environment has a BPEL to Java（B2J） engine, which generates and executes a Java workflow program from a BPEL document, and a converter, which converts Java Weaving XML （JWX） documents to Aspect-oriented programs. The new functions are described in JWX, which is Extensive Markup Lan-guage （XML）-based document. Since aspect-oriented programming technique provides the way to modularize main and supplemental requirements, it guarantees the low degree of coupling between BPEL workflow program and new functions by weaving them. Our approach can be extended to add other functions to provide context-aware services.
文摘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.
基金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.
