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.
[1]
Daniel Retkowitz,et al.
Graph Transformations for Dynamic Knowledge Processing
,
2006,
Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06).
[2]
Yael Dubinsky,et al.
MobiGolog: formal task modelling for testing user gestures interaction in mobile applications
,
2014,
MOBILESoft 2014.
[3]
Gabriele Taentzer,et al.
AGG: A Graph Transformation Environment for Modeling and Validation of Software
,
2003,
AGTIVE.
[4]
Tiziana Catarci,et al.
A dynamic framework for multi-view task modeling
,
2011,
CHItaly.