AN APPROACH TO THE FORMAL SPECIFICATION OF THE COMPONENTS OF AN INTERACTION
Loading...
Date
1990
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Eurographics Association
Abstract
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.
Description
@inproceedings{10.2312:egtp.19901039,
booktitle = {EG 1990-Technical Papers},
editor = {},
title = {{AN APPROACH TO THE FORMAL SPECIFICATION OF THE COMPONENTS OF AN INTERACTION}},
author = {Faconti, Giorgio P. and Paterno, Fabio},
year = {1990},
publisher = {Eurographics Association},
ISSN = {1017-4656},
ISBN = {},
DOI = {10.2312/egtp.19901039}
}