Formal analysis of persuasive mHealth apps

Healthy living and wellness promoted by mobile devices have been steadily increasing. Persuasive technologies have provided a way to change behavior of the user for health living. In this work, we create a model that can be used for formal analysis of persuasive technologies delivered by mobile and wearable devices. The model formalizes a possible set of persuasive actions that lead to the intended goal of well being. As a proof-of-concept, the formalization evaluated on case study of smoking cessation.