1 / 20

Structural Usability

Structural Usability. Jeremy, Harold & Paul. Formal Methods in HCI. A Negative View… Ad hoc Untested Incomplete Intractable Irrelevant. Formal Methods in HCI. A Positive View… Build general theories … & test them Forget completeness Abstract, tractable & automated Engage with design

niran
Download Presentation

Structural Usability

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Structural Usability Jeremy, Harold & Paul

  2. Formal Methods in HCI A Negative View… • Ad hoc • Untested • Incomplete • Intractable • Irrelevant

  3. Formal Methods in HCI A Positive View… • Build general theories • … & test them • Forget completeness • Abstract, tractable & automated • Engage with design ‘Structural usability’

  4. Hash key: Short, Pause or Long

  5. Hash key: Short, Pause or Long

  6. Sentence Mode Char Mode Hash key: Short, Pause or Long

  7. Sentence Mode Char Mode Hash key: Short, Pause or Long Word Mode

  8. A Structural Analysis • Construct matrix algebra • LHash.LHash = NoChange (91%) • Automatic • ‘Long Hash’: letters <-> numbers • Except in T9 mode • middle of word (ABC to abc) • start of sentence (abc to Abc)

  9. Our Plan Characterise structural usability: • Simple algebraic descriptions • Properties of state graphs • Qualify & test hypotheses • Practical techniques

  10. UCLIC Paul + Jeremy Mode analysis Graph analysis Automation Swansea Harold + PDRF UI Library User studies Design support PhD student The Grant What We Wrote

  11. Ongoing Work • What mode am I in? • Mode indicators • Formal models • Informal analysis • Can we formalise?

  12. Ongoing Work • Editing in MAUI • Visualisation

  13. Summary A research programme: • Structural usability • Everyone welcome! • Contribute to UI Library A grant application: • Develop & test our theories • Relevance for designers • Automation and support (MAUI++)

  14. Example: CD player • 22 state, 4 action model • 7 play modes • via PMode button • Result: PMode7 = NoChange (95%) • Identifies problem state

  15. Results: Stop^3 = Stop^2 Wait = Wait^2 Stop.Wait = Stop Play = Play.Wait Mode.Wait = Wait.Mode Mode^7 = Id (95%) Further work: Stop < to(s) to(s).Mode^n = to(s) to(s).Wait = to(standby) Play < to(p) to(p).Mode^n = to(p) to(p).Wait = to(p) CD Player

  16. Example • MAUI generates XML • Add SVG fragments for background + signs • Transform to SVG simulation:

More Related