Diese Präsentation wurde erfolgreich gemeldet.
Wir verwenden Ihre LinkedIn Profilangaben und Informationen zu Ihren Aktivitäten, um Anzeigen zu personalisieren und Ihnen relevantere Inhalte anzuzeigen. Sie können Ihre Anzeigeneinstellungen jederzeit ändern.
 interaction models
talking generally


interaction models
generic models of classes of system
mainly to aid understanding of general issues
e.g. undo and ‘back’ ...
the PIE model
‘minimal’ model of interactive system
focused on external observable aspects of
interaction
PIE model – user input
sequence of commands
commands include:
– keyboard, mouse movement, mouse click
call the set of comm...
PIE model – system response
the ‘effect’
effect composed of:
ephemeral display
the final result
(e..g printout, changed fi...
PIE model – the connection
given any history of commands (P)
there is some current effect
call the mapping the interpretat...
properties – WYSIWYG
 predict  ( D  R ) s.t. predict o display = result
but really not quite the full meaning
result
di...
proving things – undo
 c : c undo ~ null ?
but cannot work for c = undo
lesson
undo is no ordinary command!
other meta-commands:
back/forward in browsers
history window
later analysis of ‘back’ ...
… another domain …
… artistic performance
yes formal methods meets art!!
work with Jenn Sheridan Stuart Reeves,
Steve Benf...
Performer
ObserverParticipant
tripartite interaction
who knows what?
witting or unwitting
spheres of influence and perception
phenomena directly
influenced by A
phenomena indirectly
influenced by A
A
phenomena di...
spheres of influence and perception
A B
phenomena directly perceived by B
phenomena indirectly influenced by A phenomena i...
oridinary interaction
A B
the frame
performance?
A B
… but not sufficient
in the frame
the frame
the performer
A B
unwitting observer
… still not quite there ….
A B
the frame
audience belief
A B
A B
unwitting performer
the frame
performance
A B
B
A B
A B
Deus Oculi
A looks in mirror and
sees reflection
A B
B looks at screen
inside small doors
both are aware that mirror
and s...
Deus Oculi – tableaux of beliefs
Nächste SlideShare
Wird geladen in …5
×

Formal 8 – Interaction Models – describing general properties of systems including undo

49 Aufrufe

Veröffentlicht am

Slides for the Formal Methods in HCI unit of my 2013 online course on HCI
https://hcibook.com/hcicourse/2013/unit/09-formal

* the PIE model
* properties – WYSIWYG
* proving things – undo
* modelling artistic performance

Veröffentlicht in: Technologie
  • Als Erste(r) kommentieren

  • Gehören Sie zu den Ersten, denen das gefällt!

Formal 8 – Interaction Models – describing general properties of systems including undo

  1. 1.  interaction models talking generally  
  2. 2. interaction models generic models of classes of system mainly to aid understanding of general issues e.g. undo and ‘back’ button
  3. 3. the PIE model ‘minimal’ model of interactive system focused on external observable aspects of interaction
  4. 4. PIE model – user input sequence of commands commands include: – keyboard, mouse movement, mouse click call the set of commands C call the sequence P P = seq C
  5. 5. PIE model – system response the ‘effect’ effect composed of: ephemeral display the final result (e..g printout, changed file) call the set of effects E
  6. 6. PIE model – the connection given any history of commands (P) there is some current effect call the mapping the interpretation (I) I: P  E
  7. 7. properties – WYSIWYG  predict  ( D  R ) s.t. predict o display = result but really not quite the full meaning result display
  8. 8. proving things – undo  c : c undo ~ null ? but cannot work for c = undo
  9. 9. lesson undo is no ordinary command! other meta-commands: back/forward in browsers history window later analysis of ‘back’ button and history in hypertext and web browsers … ‘back’ was different in them all!
  10. 10. … another domain … … artistic performance yes formal methods meets art!! work with Jenn Sheridan Stuart Reeves, Steve Benford, and Claire O’Malley
  11. 11. Performer ObserverParticipant tripartite interaction who knows what? witting or unwitting
  12. 12. spheres of influence and perception phenomena directly influenced by A phenomena indirectly influenced by A A phenomena directly perceived by B B phenomena indirectly perceived by B
  13. 13. spheres of influence and perception A B phenomena directly perceived by B phenomena indirectly influenced by A phenomena indirectly perceived by B phenomena directly influenced by A
  14. 14. oridinary interaction A B
  15. 15. the frame performance? A B … but not sufficient in the frame
  16. 16. the frame the performer A B unwitting observer … still not quite there …. A B
  17. 17. the frame audience belief A B A B unwitting performer
  18. 18. the frame performance A B B A B A B
  19. 19. Deus Oculi A looks in mirror and sees reflection A B B looks at screen inside small doors both are aware that mirror and screen are within the frame but unaware of the causal link between mirror and screen frame
  20. 20. Deus Oculi – tableaux of beliefs

×