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

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.