Timetrees: a branching-time structure for modeling activity and state in the human-computer interface

Simple item page
dc.contributor.authorBrandenburg, Jeffrey Lynnen
dc.contributor.committeechairHartson, H. Rexen
dc.contributor.committeememberHix, Deborah S.en
dc.contributor.committeememberArthur, James D.en
dc.contributor.committeememberBloss, Adrienne G.en
dc.contributor.committeememberHagedorn, George A.en
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2014-03-14T21:13:35Zen
dc.date.adate2008-06-06en
dc.date.available2014-03-14T21:13:35Zen
dc.date.issued1995-04-17en
dc.date.rdate2008-06-06en
dc.date.sdate2008-06-06en
dc.description.abstractThe design and construction of interactive systems with high usability requires a user-centered approach to system development. In order to support such an approach, it is necessary to provide tools and representations reflecting a behavioral view of the interface—a view centered on user activities and the system activities and states perceived by the user. While behavioral representations exist, there is no behavioral model of interaction between a user and a system. Such a model is necessary for formalization and extension of existing behavioral representations. This dissertation presents a model of interactive behavior based on the timetree, a novel tree-based structure representing tasks, user actions, system activity, and system and interface state, all within a framework of branching sequential timelines. The model supports formal definitions, operations and abstraction techniques. Three application areas—a formal definition of an existing behavioral notation, connection between a behavioral representation and a formal model of input devices, and techniques for analysis of behavioral specifications—provide examples of the model's utility.en
dc.description.degreePh. D.en
dc.format.extentxii, 213 leavesen
dc.format.mediumBTDen
dc.format.mimetypeapplication/pdfen
dc.identifier.otheretd-06062008-164012en
dc.identifier.sourceurlhttp://scholar.lib.vt.edu/theses/available/etd-06062008-164012/en
dc.identifier.urihttp://hdl.handle.net/10919/38255en
dc.language.isoenen
dc.publisherVirginia Techen
dc.relation.haspartLD5655.V856_1995.B736.pdfen
dc.relation.isformatofOCLC# 33433166en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subjectuser action notationen
dc.subjecttask analysisen
dc.subjectformal modelsen
dc.subjecthuman-computer interactionen
dc.subjecttemporal logicen
dc.subjectdesign representationsen
dc.subject.lccLD5655.V856 1995.B736en
dc.titleTimetrees: a branching-time structure for modeling activity and state in the human-computer interfaceen
dc.typeDissertationen
dc.type.dcmitypeTexten
thesis.degree.disciplineComputer Scienceen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.leveldoctoralen
thesis.degree.namePh. D.en

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
LD5655.V856_1995.B736.pdf
Size:
12.82 MB
Format:
Adobe Portable Document Format
Description:
Download

Collections

Doctoral Dissertations