Modelling status and event behaviour of interactive systems
- 1 January 1996
- journal article
- Published by Institution of Engineering and Technology (IET) in Software Engineering Journal
- Vol. 11 (6), 334-346
- https://doi.org/10.1049/sej.1996.0044
Abstract
Interactive systems involve both events which occur at specific moments (e.g. keystrokes, mouse clicks and beeps) and more persistent status phenomena which can be observed at any time (e.g. the position of the mouse, the image on the screen). Most formalisms used for interactive systems concentrate on one aspect or another, and may be asymmetric in their treatment of input and output. Notationsand models for interface specification are classified in the paper by the way they treat status and event phenomena in their input and output. This is used to construct a model and associated notation which incorporates both. By specifying examples using this model important design issues are highlighted which would be missed if either status or event phenomena were not properly treated.Keywords
This publication has 11 references indexed in Scilit:
- Design Principles for Interactive SoftwarePublished by Springer Nature ,1996
- The Sonic Enhancement of Graphical ButtonsPublished by Springer Nature ,1995
- A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal SpecificationsPublished by Springer Nature ,1995
- Integrating status and event phenomena in formal specifications of interactive systemsACM SIGSOFT Software Engineering Notes, 1994
- The Rendezvous constraint maintenance systemPublished by Association for Computing Machinery (ACM) ,1993
- An extended duration calculus for hybrid real-time systemsLecture Notes in Computer Science, 1993
- Why CSCW applications fail: problems in the design and evaluationof organizational interfacesPublished by Association for Computing Machinery (ACM) ,1988
- EXECUTABLE SPECIFICATIONS AS AN AID TO DIALOGUE DESIGNPublished by Elsevier ,1987
- ActorsPublished by MIT Press ,1986
- User Interface Management SystemsPublished by Springer Nature ,1985