Temporal Analytics for Software Usage Models

  title={Temporal Analytics for Software Usage Models},
  author={Oana Andrei and Muffy Calder},
  booktitle={SEFM Workshops},
We address the problem of analysing how users actually interact with software. Users are heterogeneous: they adopt different usage patterns and each individual user may move between different patterns, from one interaction session to another, or even during an interaction session. For analysis, we require new techniques to model and analyse temporal data sets of logged interactions with the purpose of discovering, interpreting, and communicating meaningful patterns of usage. We define new… 
2 Citations
Interpreting Computational Models of Interactive Software Usage
This work proposes new temporal analytics to model and analyse logged interactions, based on learning admixture Markov models and interpreting them using probabilistic temporal logic properties and model checking.


Mining behavior models from user-intensive web applications
This work presents a novel approach that automates the acquisition of user-interaction requirements in an incremental and reflective way by inferring a set of probabilistic Markov models of the users' navigational behaviors, dynamically extracted from the interaction history given in the form of a log file.
Probabilistic Formal Analysis of App Usage to Inform Redesign
This work sets out a process of integrating statistical, longitudinal analysis of actual logged behaviours, formal, probabilistic discrete state models of activity patterns, and hypotheses over those models expressed as Probabilistic temporal logic properties to inform redesign of user-intensive mobile applications.
Probabilistic Model Checking of DTMC Models of User Activity Patterns
New probabilistic models that characterise user behaviour, based on activity patterns inferred from actual logged user traces are defined, encoded in a probabilism model checker and used to gain insight into software usage.
Data Mining of User Navigation Patterns
A data mining model that captures the user navigation behaviour patterns as a hypertext probabilistic grammar whose higher probability strings correspond to the user's preferred trails and the use of entropy as an estimator of the grammar's statistical properties is proposed.
Modelling smartphone usage: a markov state transition model
A Markov state transition model of smartphone screen use is developed which can be used to probabilistically model or predict, at runtime, how a user interacts with their mobile phone, and for how long.
Detecting Memory and Structure in Human Navigation Patterns Using Markov Chain Models of Varying Order
This work thoroughly presents a diverse array of advanced inference methods for determining the appropriate Markov chain order and reveals that the complexity of higher order models grows faster than their utility, and thus confirms that the memoryless model represents a quite practical model for human navigation on a page level.
Generalized Queries and Bayesian Statistical Model Checking in Dynamic Bayesian Networks: Application to Personalized Medicine
This work shows that the concept of generalized probabilistic queries in Dynamic Bayesian Networks can be used to make treatment decisions for a cohort of 1,000 simulated sepsis patients, and that it outperforms Support Vector Machines, Neural Networks, and Random Forests on the same task.
Are web users really Markovian?
This work invokes statistical order estimation tests for Markov chains to establish that Web users are not Markovian, and derives a number of avenues for further research.
HypTrails: A Bayesian Approach for Comparing Hypotheses About Human Trails on the Web
This work presents a general approach called HypTrails for comparing a set of hypotheses about human trails on the Web, where hypotheses represent beliefs about transitions between states and utilizes Markov chain models with Bayesian inference.
Principles of model checking
Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.