AN APPROACH TO THE FORMAL SPECIFICATION OF THE COMPONENTS OF AN INTERACTION

Simple item page
dc.contributor.authorFaconti, Giorgio P.en_US
dc.contributor.authorPaterno, Fabioen_US
dc.date.accessioned2015-10-05T07:56:32Z
dc.date.available2015-10-05T07:56:32Z
dc.date.issued1990en_US
dc.description.abstractIn 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.en_US
dc.description.seriesinformationEG 1990-Technical Papersen_US
dc.identifier.doi10.2312/egtp.19901039en_US
dc.identifier.issn1017-4656en_US
dc.identifier.urihttps://doi.org/10.2312/egtp.19901039en_US
dc.publisherEurographics Associationen_US
dc.titleAN APPROACH TO THE FORMAL SPECIFICATION OF THE COMPONENTS OF AN INTERACTIONen_US
Files
Collections
EG1990 Proceedings (Technical Papers)
EG1990 Proceedings (Technical Papers)