Formalizing user interaction requirements of mobile applications

Provision of mobile user interaction, which consists of multi-touch gestures interaction and other direct interaction operations with the mobile device, makes the current mobile paradigm quite different from the conventional desktop paradigm. Writing the required mobile user interaction in an accurate and unambiguous form is one the main challenges in mobile application development. In this work, we propose to use MobiGolog language for writing formally the user interaction requirements of mobile applications (mobile apps). Moreover, we propose the idea of using layered graph representation for creating graph models of these formal written requirements in order to provide visual means to analyse the specified requirements.