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

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Cyfraniad mewn cynhadledd › adolygiad gan gymheiriaid

13 Dyfyniadau (Scopus)

Crynodeb

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.

Iaith wreiddiol	Saesneg
Teitl	Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994
Cyhoeddwr	Association for Computing Machinery
Tudalennau	44-52
Nifer y tudalennau	9
ISBN (Electronig)	0897916913
Dynodwyr Gwrthrych Digidol (DOIs)	https://doi.org/10.1145/193173.195293
Statws	Cyhoeddwyd - 1 Rhag 1994
Cyhoeddwyd yn allanol	Ie
Digwyddiad	2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994 - New Orleans, Yr Unol Daleithiau Hyd: 6 Rhag 1994 → 9 Rhag 1994

Cyfres gyhoeddiadau

Enw	Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Cyfrol	Part F129497

Cynhadledd

Cynhadledd	2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994
Gwlad/Tiriogaeth	Yr Unol Daleithiau
Dinas	New Orleans
Cyfnod	6/12/94 → 9/12/94

Mynediad at Ddogfen

10.1145/193173.195293Trwydded: Free Access

Ffeiliau eraill a chysylltiadau

Dolen i’r cyhoeddiad yn Scopus

Dyfynnu hyn

Abowd, G. D., & Dix, A. J. (1994). Integrating status and event phenomena in formal specifications of interactive systems. Yn Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994 (tt. 44-52). (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; Cyfrol 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. yn 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, cyfrol. Part F129497, Association for Computing Machinery, tt. 44-52, 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994, New Orleans, Yr Unol Daleithiau, 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. t. 44-52 (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; Cyfrol Part F129497).

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Cyfraniad mewn cynhadledd › adolygiad gan gymheiriaid

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. Yn Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994. Association for Computing Machinery. 1994. t. 44-52. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering). doi: 10.1145/193173.195293