Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Formalizing User Interaction Requirements of Mobile Applications

    HCI 2014 - Sand, Sea & Sky - Holiday HCI

    Proceedings of the 28th International BCS Human Computer Interaction Conference (HCI 2014)

    Southport, UK, 9 - 12 September 2014


    Shah Rukh Humayoun, Ragaad AITarawneh & Yael Dubinsky


    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.


    PDF filePDF Version of this Paper (603kb)