Integrating Modeling Languages and Web Logs for Enhanced User Behavior Analytics