Declarative Graphics And Dynamic Interaction

Loading...
Thumbnail Image
Date
1991
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
} }
Citation