Declarative Graphics And Dynamic Interaction
| dc.contributor.author | Johnson, C.W. | en_US |
| dc.contributor.author | Harrison, M.D. | en_US |
| dc.date.accessioned | 2015-10-05T07:56:47Z | |
| dc.date.available | 2015-10-05T07:56:47Z | |
| dc.date.issued | 1991 | en_US |
| dc.description.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. | en_US |
| dc.description.seriesinformation | EG 1991-Technical Papers | en_US |
| dc.identifier.doi | 10.2312/egtp.19911014 | en_US |
| dc.identifier.issn | 1017-4656 | en_US |
| dc.identifier.uri | https://doi.org/10.2312/egtp.19911014 | en_US |
| dc.publisher | Eurographics Association | en_US |
| dc.title | Declarative Graphics And Dynamic Interaction | en_US |