Premium
A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model
Author(s) -
Duce D. A.,
Paterno F.
Publication year - 1993
Publication title -
computer graphics forum
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.578
H-Index - 120
eISSN - 1467-8659
pISSN - 0167-7055
DOI - 10.1111/1467-8659.1210003
Subject(s) - computer science , graphics , structuring , computer graphics , kernel (algebra) , graphics software , programming language , software rendering , computer graphics (images) , 3d computer graphics , engineering drawing , software engineering , engineering , mathematics , finance , combinatorics , economics
This 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.