Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2005 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2005 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Towards a TIP 3.0 service-oriented architecture: Interaction design.

      Hinze, Annika; Malik, Petra; Malik, Robi
      Thumbnail
      Files
      content.pdf
      302.7Kb
      Citation
      Export citation
      Hinze, A., Malik, P. & Malik, R. (2005). Towards a TIP 3.0 service-oriented architecture:Interaction design. (Working paper series. University of Waikato, Department of Computer Science. No. 08/2005). Hamilton, New Zealand: University of Waikato.
      Permanent Research Commons link: https://hdl.handle.net/10289/63
      Abstract
      This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users with small screen devices. The dynamics of this system are very complex and pose several challenges, firstly because of the sophisticated interaction of several applications on a small screen device and the user, and secondly because of the need for communication with highly asynchronous event-based information systems. UML sequence diagrams have been used to capture the requirements and possible interactions of the system. In a second step, a formal model has been created using discrete event systems, in order to thoroughly understand and analyse the dynamics of the system. By verifying general properties of the formal model, several conceptual difficulties have been revealed in very early stages of the design process, considerably speeding up the development. This work shows the limitations of typical methods for interaction design when applied to mobile systems using small screen devices and proposes an alternative approach using discrete event systems.
      Date
      2005-01-01
      Type
      Working Paper
      Publisher
      University of Waikato
      Collections
      • 2005 Working Papers [9]
      Show full item record  

      Usage

      Downloads, last 12 months
      33
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement