Integrating Status and Event Phenomena in Formal Specifications of Interactive Systems

Abowd, Gregory D.; Dix, Alan

Title:

Integrating Status and Event Phenomena in Formal Specifications of Interactive Systems

dc.contributor.author	Abowd, Gregory D.
dc.contributor.author	Dix, Alan
dc.date.accessioned	2004-11-11T17:51:38Z
dc.date.available	2004-11-11T17:51:38Z
dc.date.issued	1994
dc.description.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.	en
dc.format.extent	168874 bytes
dc.format.mimetype	application/pdf
dc.identifier.uri	http://hdl.handle.net/1853/3602
dc.language.iso	en_US
dc.publisher	Georgia Institute of Technology	en
dc.relation.ispartofseries	GVU Technical Report;GIT-GVU-94-36
dc.subject	Formal specification	en
dc.subject	Interactive system design	en
dc.subject	Multi-user systems	en
dc.subject	Mixed control interaction	en
dc.title	Integrating Status and Event Phenomena in Formal Specifications of Interactive Systems	en
dc.type	Text
dc.type.genre	Technical Report
dspace.entity.type	Publication
local.contributor.author	Abowd, Gregory D.
local.contributor.corporatename	GVU Center
local.relation.ispartofseries	GVU Technical Report Series
relation.isAuthorOfPublication	a9e4f620-85d6-4fb9-8851-8b0c3a0e66b4
relation.isOrgUnitOfPublication	d5666874-cf8d-45f6-8017-3781c955500f
relation.isSeriesOfPublication	a13d1649-8f8b-4a59-9dec-d602fa26bc32