Integrating status and event phenomena in formal specifications of interactive systems

Gregory D. Abowd; Alan J. Dix

doi:10.1145/193173.195293

Integrating status and event phenomena in formal specifications of interactive systems

Gregory D. Abowd, Alan J. Dix

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

13 Citations (Scopus)

Abstract

In this paper we investigate the appropriateness of formal specification languages for the description of user interface phenomena. Specifically, we are concerned with the distinction between continuously available information, which we call status, and atomic, non-persistent information, which we call events. We propose a hybrid model and notation to address status and event phenomena symmetrically. We demonstrate the effectiveness of this model for designing and understanding mixed control interaction, an especially important topic in the design of multi-user systems.

Original language	English
Title of host publication	Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994
Publisher	Association for Computing Machinery
Pages	44-52
Number of pages	9
ISBN (Electronic)	0897916913
DOIs	https://doi.org/10.1145/193173.195293
Publication status	Published - 1 Dec 1994
Externally published	Yes
Event	2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994 - New Orleans, United States Duration: 6 Dec 1994 → 9 Dec 1994

Publication series

Name	Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Volume	Part F129497

Conference

Conference	2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994
Country/Territory	United States
City	New Orleans
Period	6/12/94 → 9/12/94

Keywords

Formal specification
Interactive system design
Mixed control interaction
Multi-user systems

Access to Document

10.1145/193173.195293Licence: Free Access/Under Copyright

Cite this

Abowd, G. D., & Dix, A. J. (1994). Integrating status and event phenomena in formal specifications of interactive systems. In Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994 (pp. 44-52). (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; Vol. Part F129497). Association for Computing Machinery. https://doi.org/10.1145/193173.195293

@inproceedings{c41f0deca2804c95a79676cbfefd13cb,

title = "Integrating status and event phenomena in formal specifications of interactive systems",

abstract = "In this paper we investigate the appropriateness of formal specification languages for the description of user interface phenomena. Specifically, we are concerned with the distinction between continuously available information, which we call status, and atomic, non-persistent information, which we call events. We propose a hybrid model and notation to address status and event phenomena symmetrically. We demonstrate the effectiveness of this model for designing and understanding mixed control interaction, an especially important topic in the design of multi-user systems.",

keywords = "Formal specification, Interactive system design, Mixed control interaction, Multi-user systems",

author = "Abowd, {Gregory D.} and Dix, {Alan J.}",

note = "Publisher Copyright: {\textcopyright} 1994 ACM.; 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994 ; Conference date: 06-12-1994 Through 09-12-1994",

year = "1994",

month = dec,

day = "1",

doi = "10.1145/193173.195293",

language = "English",

series = "Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering",

publisher = "Association for Computing Machinery",

pages = "44--52",

booktitle = "Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994",

}

Abowd, GD & Dix, AJ 1994, Integrating status and event phenomena in formal specifications of interactive systems. in Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994. Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, vol. Part F129497, Association for Computing Machinery, pp. 44-52, 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994, New Orleans, United States, 6/12/94. https://doi.org/10.1145/193173.195293

Integrating status and event phenomena in formal specifications of interactive systems. / Abowd, Gregory D.; Dix, Alan J.
Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994. Association for Computing Machinery, 1994. p. 44-52 (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; Vol. Part F129497).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Integrating status and event phenomena in formal specifications of interactive systems

AU - Abowd, Gregory D.

AU - Dix, Alan J.

PY - 1994/12/1

Y1 - 1994/12/1

N2 - In this paper we investigate the appropriateness of formal specification languages for the description of user interface phenomena. Specifically, we are concerned with the distinction between continuously available information, which we call status, and atomic, non-persistent information, which we call events. We propose a hybrid model and notation to address status and event phenomena symmetrically. We demonstrate the effectiveness of this model for designing and understanding mixed control interaction, an especially important topic in the design of multi-user systems.

AB - In this paper we investigate the appropriateness of formal specification languages for the description of user interface phenomena. Specifically, we are concerned with the distinction between continuously available information, which we call status, and atomic, non-persistent information, which we call events. We propose a hybrid model and notation to address status and event phenomena symmetrically. We demonstrate the effectiveness of this model for designing and understanding mixed control interaction, an especially important topic in the design of multi-user systems.

KW - Formal specification

KW - Interactive system design

KW - Mixed control interaction

KW - Multi-user systems

UR - http://www.scopus.com/inward/record.url?scp=85025407746&partnerID=8YFLogxK

U2 - 10.1145/193173.195293

DO - 10.1145/193173.195293

M3 - Conference contribution

AN - SCOPUS:85025407746

T3 - Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

SP - 44

EP - 52

BT - Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994

PB - Association for Computing Machinery

T2 - 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994

Y2 - 6 December 1994 through 9 December 1994

ER -

Abowd GD, Dix AJ. Integrating status and event phenomena in formal specifications of interactive systems. In Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994. Association for Computing Machinery. 1994. p. 44-52. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering). doi: 10.1145/193173.195293

Integrating status and event phenomena in formal specifications of interactive systems

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this