Soede, DirkArbab, FarhadHerman, IvanTen Hagen, Paul J. W.2014-10-212014-10-2119911467-8659https://doi.org/10.1111/1467-8659.1030209This paper describes the specification of the GKS input model in Manifold. The aim of the work reported in this paper was two-fold: first, to review the communication patterns implied by the GKS input model, and second, to evaluate the suitability of the Manifold language as a tool for defining complex dynamic interaction patterns that are common in non-trivial user interfaces.The GKS input model is also adopted by all more recent ISO graphics standard documents. A more formal scrutiny of the inter-communication of the components of this model, excluding the implementation details of their functionality, is instructive in itself. It can reveal directions for improvement of its shortcomings and for generalization of its strengths for the ongoing effort to define the functionality of future graphics packages.Manifold is a language for describing inter-process communications. Processes in Manifold communicate by means of buffered communication links called streams and by reacting to events raised asynchronously by other processes. Our experience shows that Manifold is a promising tool for describing systems of cooperating parallel processes. Our Manifold specification of the GKS input model offers a very flexible way to structure user defined logical input devices. Furthermore, it is simple and modular enough to allow easy extensions to include more functionality by local modifications. As such, it can serve as a basis for possible extensions and enhancements envisioned for future graphics packages.1987 CR Categories: C.1.2, C.1.3, C.2.m, D.1.3, F.1.2, I.1.3, I.3.6, I.3.4.1885 Mathematical Subject Classification: 68N99, 68Q10,68U05.10.1111/1467-8659.1030209209-224