Formal 1 – Introduction
Download as PPTX, PDF0 likes166 views
The document discusses the role of formal methods in Human-Computer Interaction (HCI), contrasting the need for formal precision with the complexity of real-world contexts. It emphasizes the importance of selecting appropriate abstractions and models, including cognitive and task models, to represent users and systems effectively. Various system model types and notations, including graphical and textual representations, are explored to aid in this modeling process.
Related topics:1 of 6
Download to read offline
More Related Content
What's hot (20)
Ad
Similar to Formal 1 – Introduction (20)
Ad
More from Alan Dix (20)
Recently uploaded (20)
Formal 1 – Introduction
- 1. formal methods in HCI Alan Dix http://alandix.com/academic/topics/formal/
- 2. the myth of informality spiritus mundi – formality, precision = reductionism, positivism = BAD focus (rightly) on – context, situatedness, contingency BOTH needed – the world is rich and complex – but computers are formal (as is language) – key is choosing the right abstractions – and knowing what is left out
- 3. what to model users – cognitive models – task models system – behaviour – architectural structure world – domain models
- 4. what to model users – cognitive models – task models system – behaviour – architectural structure world – domain models
- 5. types of system model • dialogue – main modes • full state definition • abstract interaction model specific system generic issues
- 6. notations • graphical – digital watch STNs, Petri Nets, CTT, UML • textual – production rules (used in UIMS and cog. models) – mathematical formulae, process algebras • plain old sums – back of the envelope/placemat calculations