About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
BCS HCI 2014
Conference paper
Formalizing user interaction requirements of mobile applications
Abstract
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.