PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Paterṇ F., Faconti G. On the use of LOTOS to describe graphical interaction. In: HCI '92 - Human-Computer Interaction 1992 (York, UK, 15-18 August 1992). Proceedings, pp. 155 - 173. (People and Computers VII). Cambridge University Press, 1992.
 
 
Abstract
(English)
This paper discusses a formal specification of a model of a graphical interaction object by using the LOTOS notation and the possible results that we can obtain from this approach. With this model the relationship between the input and output functionality can be addressed. A User Interface System, which manages dialogues between the user and the application, may be described as a composition of instances of graphical interacting objects.
Subject User Interface System
Formal Methods
Interactive Systems
Graphic Input Models
H.5 Information interfaces and presentation (e.g., HCI)


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional