Declarative Graphics And Dynamic Interaction

dc.contributor.authorJohnson, C.W.en_US
dc.contributor.authorHarrison, M.D.en_US
dc.date.accessioned2015-10-05T07:56:47Z
dc.date.available2015-10-05T07:56:47Z
dc.date.issued1991en_US
dc.description.abstractFirst 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.seriesinformationEG 1991-Technical Papersen_US
dc.identifier.doi10.2312/egtp.19911014en_US
dc.identifier.issn1017-4656en_US
dc.identifier.urihttps://doi.org/10.2312/egtp.19911014en_US
dc.publisherEurographics Associationen_US
dc.titleDeclarative Graphics And Dynamic Interactionen_US
Files