Interpreting Computational Models of Interactive Software Usage

Andrei, O. , Calder, M. , Chalmers, M. and Morrison, A. (2019) Interpreting Computational Models of Interactive Software Usage. Computational Modeling in Human-Computer Interaction Workshop at the ACM CHI Conference on Human Factors in Computing Systems 2019, Glasgow, UK, 05 May 2019.

Full text not currently available from Enlighten.

Publisher's URL:


Evaluation of how users actually interact with interactive software is challenging because users’ behaviours can be highly heterogeneous and even unexpected. Probabilistic, computational models inferred from low-level logged events offer a higher-level representation from which we can gain insight. Automatic inference of such models is key when dealing with large sets of log data, however interpreting these models requires significant human effort. We propose 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. Our purpose is to discover, interpret, and communicate meaningful patterns of usage in the context of redesign. We illustrate by application to logged data from a deployed personal productivity iOS application.

Item Type:Conference or Workshop Item
Glasgow Author(s) Enlighten ID:Chalmers, Professor Matthew and Calder, Professor Muffy and Morrison, Dr Alistair and Andrei, Dr Oana
Authors: Andrei, O., Calder, M., Chalmers, M., and Morrison, A.
College/School:College of Science and Engineering > School of Computing Science

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
190432A population approach to ubicomp system designMatthew ChalmersEngineering and Physical Sciences Research Council (EPSRC)EP/J007617/1Computing Science
172422Science of Sensor System Software (SSSS)Muffy CalderEngineering and Physical Sciences Research Council (EPSRC)EP/N007565/1Computing Science