The Input Model of Standard Graphics Systems Revisited by Formal Specification

Abstract

This paper describes the specification of an input model for graphics systems. The initial aim of the work reported in this paper was to revise the input model adopted by graphics standards by means of formal specification techniques in order to acquire a deep knowledge of its capabilities, to eventually discover errors and to develop improvements. Taking into account similar works done in this area by others and considering a number of major issues related to input recently discussed within the graphics community, a new model is being proposed that addresses the very key concepts of parallelism, extensibility and reconfigurability. The model is based upon composition operations defined over basic components specified as a set of concurrent processes. Composition operations and process definitions have been formally specified by using the LOTOS notation and investigated by means of the LOTOS Interactive Tools Environment. In the first part of the paper, the input model of graphics standards is shortly examined in the light of the results so far achieved by related works on formal specification of computer graphics systems. Subsequently, an improved model is presented. Finally, its capability of simulating the traditional operating modes of logical input devices and a methodology for defining new operating modes is demonstrated.