Declarative Graphics And Dynamic Interaction
Loading...
Date
1991
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Eurographics Association
Abstract
First order logic provides a means of integrating the specification and prototyping of interactive systems. It can describe graphical images in a declarative and order independent manner. It supports the definition of abstract devices which avoid the complexity of representing ‘raw’ input from a variety of physical devices. The following pages show how such techniques must be extended in order to prototype and reason about dynamic interaction with graphical interfaces. The incorporation of a temporal ordering into logical specifications provides a means of describing changes in the structure of graphical images. It can also identify the sequencing which may be implicit within specifications of interactive dialogues. This paper describes how PRELOG, a tool for Presenting and REndering LOGic specifications of interactive systems, has been extended to include a temporal logic interpreter.
Description
@inproceedings{10.2312:egtp.19911014,
booktitle = {EG 1991-Technical Papers},
editor = {},
title = {{Declarative Graphics And Dynamic Interaction}},
author = {Johnson, C.W. and Harrison, M.D.},
year = {1991},
publisher = {Eurographics Association},
ISSN = {1017-4656},
ISBN = {},
DOI = {10.2312/egtp.19911014}
}