The Input Model of Standard Graphics Systems Revisited by Formal Specification

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.

[1]  Paul J. W. ten Hagen,et al.  Logical Input Devices and Interaction , 1987, Comput. Graph. Forum.

[2]  David A. Duce,et al.  Components, Frameworks and GKS Input , 1989, Eurographics.

[3]  William M. Newman,et al.  A system for interactive graphical programming , 1968, AFIPS Spring Joint Computing Conference.

[4]  J. D. Foley,et al.  The art of natural graphic man-machine conversation , 1974, SIGGRAPH 1974.

[5]  Robin Milner,et al.  Algebraic laws for nondeterminism and concurrency , 1985, JACM.

[6]  M. A. Griffin,et al.  Information Processing Systems , 1976 .

[7]  Farhad Arbab,et al.  The GKS Input Model in Manifold , 1991, Comput. Graph. Forum.

[8]  ten Hagen,et al.  Dialogue Cells: A Method for Defining Interactions , 1982, IEEE Computer Graphics and Applications.

[9]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[10]  Farhad Arbab,et al.  MANIFOLD: a language for specification of inter-process communication , 1990 .

[11]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[12]  David A. Duce,et al.  An Approach to Hierarchical Input Devices , 1990, Comput. Graph. Forum.

[13]  C. A. R. Hoare,et al.  A Model for Communicating Sequential Processes , 1980, On the Construction of Programs.

[14]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.