Paper Contents
Abstract
This study explores user behavior within structured e-commerce platforms by analyzing interaction patterns using behavioral analytics and formal model checking techniques. Traditional web analytics often fail to capture the causal and temporal dimensions of user behavior, limiting actionable insights. To address these limitations, this paper introduces a novel methodology integrating Linear Temporal Logic (LTL) and web log analysis to detect and interpret complex user behavior patterns. A prototype system was implemented using NetBeans, MySQL, and Apache Tomcat, demonstrating the feasibility of real-time, scalable behavior analysis. The proposed approach enhances user experience through improved personalization and supports strategic business decisions via actionable analytics.
Copyright
Copyright © 2025 Syed Sohail. This is an open access article distributed under the Creative Commons Attribution License.
