LTL FORMULA PATTERNS FOR ENHANCING THE PERFORMANCE ANALYSIS OF E-BUSINESS STRUCTURE

摘要

One of the major significant trends in Internet technology is the use of E-business applications for conducting organizational resources. The structure of E-business applications can enhance the analysis performance based on customer preferences. Model checking analysis and linear temporal logic (LTL) provide formula patterns for obtaining better query of user requirements. These patterns are suitable for infinite traces of customer preferences. In this paper, an enhanced framework of E-business application based on B2C and G2C is presented. A web server log is generated and optimized to record infinite traces of event actions and applying them to a set of finite E-business processes. An enhanced set of mathematical LTL formula patterns are applied to the finite traces on the web server log for enhancing the performance analysis and predicting users? behavior. To this end, we added new features of linear temporal logic (LTL) for classifying and enhancing the analysis processes and achieving better prediction of real-life event logs. A pattern analysis process is applied to evaluate the presented LTL formula patterns for enhancing the prediction of user behavior in web server event logs.