期刊名称：Journal of Theoretical and Applied Information Technology
印刷版ISSN：1992-8645
电子版ISSN：1817-3195
出版年度：2019
卷号：97
期号：8
页码：2429-2439
出版社：Journal of Theoretical and Applied
摘要：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.
关键词：E-Business; Linear Temporal Logic; Web Server Log; And User Behavior
