Formal Evaluation of Persona Trustworthiness with EUSTACE [chapter]

Shamal Faily, David Power, Philip Armstrong, Ivan Fléchais
2013 Lecture Notes in Computer Science  
Personas are useful for considering how users of a system might behave, but problematic when accounting for hidden behaviours not obvious from their descriptions alone. Formal methods can potentially identify such subtleties in interactive systems, but we lack methods for eliciting models from qualitative persona descriptions. We present a framework for eliciting and specifying formal models of persona behaviour that a persona might, in certain circumstances, engage in. We also summarise our preliminary work to date evaluating this framework.
doi:10.1007/978-3-642-38908-5_20 fatcat:2u3k6anrwrczhadyvf7ylxehfq