A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model

Duce, D. A.Paterno, F.2014-10-212014-10-2119931467-8659https://doi.org/10.1111/1467-8659.1210003This paper is motivated by the emerging ISO/IEC Reference Model for Computer Graphics (CGRM) and the revision of the ISO/IEC computer graphics standard, the Graphical Kernel System (GKS). The paper explores the use of the CGRM as a framework for structuring a specification of apart of the current draft of the revised GKS and the use of the LOTOS formal description technique for specifying graphics systems.A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model10.1111/1467-8659.12100033-20