Show simple item record  

dc.contributor.authorHinze, Annikaen_US
dc.contributor.authorMalik, Petraen_US
dc.contributor.authorMalik, Robien_US
dc.date.accessioned2008-03-19T04:58:05Z
dc.date.available2007-07-22en_US
dc.date.available2008-03-19T04:58:05Z
dc.date.issued2005-01-01en_US
dc.identifier.citationHinze, 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.en_US
dc.identifier.urihttps://hdl.handle.net/10289/63
dc.description.abstractThis 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.en_US
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherUniversity of Waikatoen_NZ
dc.subjectcomputer science
dc.titleTowards a TIP 3.0 service-oriented architecture: Interaction design.en_US
dc.typeWorking Paperen_US
dc.relation.isPartOfWorking Paper Seriesen_NZ
pubs.elements-id53009
pubs.place-of-publicationHamiltonen_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record