Journal ArticleDOI
Abstract Interaction Objects
David J. Duke,Harrison +1 more
Reads0
Chats0
TLDR
This paper describes two formal models for interaction objects and sketches how they can be used to build a small vocabulary of operators to support the rigorous specification of a graphics system.Abstract:
The concept of an ‘interactor’ has been introduced by Faconti and Paterno' [6] as an abstraction of an entity in interactive graphics capable of both input and output. However the notion of interaction object need not be confined to graphics systems; it represents a useful structure for thinking and reasoning about the behaviour of interactive systems in general. As part of Esprit Basic Research Action 7040 (Amodeus-2) we are using the concept of interactor, and existing work on state-based processes and agents, to develop a model and theory of interactive systems. In this paper we describe two formal models for interaction objects and sketch how they can be used to build a small vocabulary of operators to support the rigorous specification of a graphics system. Our model differs from the approach of Faconti and Paterno' in that it abstracts away from any specific graphics framework and is thus suited to the level of abstraction demanded by formal approaches to system development.read more
Citations
More filters
Journal ArticleDOI
A Survey of 3D Interaction Techniques
TL;DR: This paper examines some of the interaction techniques which have been developed for object manipulation, navigation and application control in 3D virtual environments, along with the role of feedback and some aspects of tools and widgets.
Journal ArticleDOI
Systems, interactions, and macrotheory
TL;DR: A case is presented for developing new forms of theory, based around generic “systems of interactors,” which could serve an explanatory role, and could also bind together contributions from the different disciplines.
Journal ArticleDOI
Model Checking Interactor Specifications
TL;DR: This paper considers the role that an interactor based specification has as a partial model of an interactive system so that mode consequences can be checked early in the design process and shows how interactor specifications can be translated into the SMV model checker input language.
Book ChapterDOI
Formally verifying interactive systems : a review
TL;DR: Progress in the area of formal verification of interactive systems is reviewed and a short agenda for further work is proposed.
Book ChapterDOI
Systematic Analysis of Control Panel Interfaces Using Formal Tools
TL;DR: A notation is used for describing the interface that is convenient to use by software engineers, and a set of tools are described designed to make the process systematic and exhaustive.
References
More filters
Journal ArticleDOI
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
Book
The Z notation: a reference manual
TL;DR: Tutorial introduction background the Z language the mathematical tool-kit sequential systems syntax summary and how to use it to solve sequential systems problems.
Book
Systematic software development using VDM
TL;DR: Logic of propositions reasoning about predicates functions and operations set notation composite objects and invariants map notation sequence notation data rectification more on data types operation decomposition.
Book
SmallTalk 80: The Language
Adele E. Goldberg,David Robson +1 more
TL;DR: This book introduces the Smalltalk-80 approach to information representation and manipulation and provides an overview of the syntax of the language, and describes the addition of an application to model discrete, event-driven simuations.
Book ChapterDOI
PAC, an Object Oriented Model for Dialog Design
TL;DR: In this paper, the authors propose an implementation model that attempts to bridge the gap between the abstract sphere of theoretical models and the practical affairs of building user interfaces, recursively structures an interactive application in three parts: the Presentation, the Abstraction and the Control.