AOP-based Detection Of Runtime Business Constraints

With the rapid development of computer, computer software has infiltrated into allaspects of daily life. With the improvement of people’s life quality, in order to meet the needsof society and people’s needs, the size of application software greaten ceaselessly, leading tocomplexity is kept improving. In many areas, computer plays a decisive role. Thus, thereliability of computer software becomes one of the most popular problems on computerscience and industry. Now，the method of improving software reliability can be consideredfrom the formal methods and software test, and the most representative method includes staticanalysis, model checking techniques, software testing, but these techniques are not practical,and it is unable to guarantee the system procedure is not error. That is to say it is notfundamentally guaranteeing system reliability, thus requiring combine a formal methods andsoftware test method. The runtime verification is a kind of new light-weight formal method. Itcombines the formal methods and software testing, to monitor system operation, therebyallowing the system runs in accordance with the user’s nature expectations. In the runtimeverification, monitoring produces from the system needs, and monitor the running of program,thus making the software system’s of operation state and the behavior in line withrequirements in the process. The operation of the system meets user’s expectations, andfundamentally improves the system software reliability.In view of the above problems, this paper puts forward AOP-based detection of runtimebusiness constraints. So make use of runtime verification, combining a lightweightauthentication technology and AOP framework, to detect existing redundancy and conflict inbusiness constraint. First of all, define and describe business constraint, and make use ofreality tree (RT) in the Theory of Constraint thinking process to gain constraint, and usesreality tree (RT) method in the thinking process (TP) of theory of constraints (TOC) to obtainbusiness constraint information, through the point cut of AOP, mapped to the runtimeverification. Then use the propositional logic represents constraint control properties, and bythe method of combining the truth table to detect existing redundancy and conflict in theconstraint, and ultimately improve the reliability of software. This organization as follows: First of all, analyses theory and technology on theory ofconstraints thinking process, and summarizes the definition and discovery method of businessconstraint and its description language made up of propositional logic, and describes thepropositional logic representation on the redundancy and conflict. Then, researches the theoryand technology on AOP and runtime verification, and excavates its advantage and method inthe constraint detection, and puts forward the runtime verification and integration frameworkof AOP. Finally, in the framework of combining the runtime verification and AOP, use themethod of proposition logic truth table, and research business constraint detection, and usecase to carry on the analysis, thus verifying the effectiveness of the proposed method.