PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Faconti G., Paterṇ F. An approach to the formal specification of the components of an interaction. In: EG90 - Eurographics Conference 1990 (*, 1990). Proceedings, pp. 481 - 494. Elsevier Science Publishers B.V. (North-Holland), 1990.
 
 
Abstract
(English)
In this paper we present the preliminary results from a work aiming to the formal specification af a model suitable for the description of interactive graphics program within the framework defined by the Reference Model for Computer Graphics Systems, actually under development within the International Organization for Standardization. The architecture defined by the Computer Graphics Reference Model, at its actual state of development, is shortly presented with particular attention paid to the concepts used in the paper. Following, the components of a basic interaction are identified and described as a set of independent communicating processes, referred to as an interactor. The relationships between interactors are described in terms of the communication between their component processes by using ECSP-like constructs.
Subject User Interaction
Formal Specification
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