005 - Definitive principles for interactive graphics
Abstract
A definitive (ie definition-based) programming paradigm for interactive graphics is investigated. Two contrasting examples of graphics notations for line-drawing applications based upon definitive principles are described. The advantages of using a definitive notation for interactive design, and as a medium for representing several kinds of abstraction are considered. Some relationships between definitive programming and other paradigms for graphical applications are identified, with a view to developing abstract models and formal methods for computer aided design.