SlideShare a Scribd company logo

HCI 3e - Ch 17: Models of the system

•Download as PPT, PDF•
•
Alan Dix
Alan Dix

Chapter 17: Models of the system from Dix, Finlay, Abowd and Beale (2004). Human-Computer Interaction, third edition. Prentice Hall. ISBN 0-13-239864-8. http://www.hcibook.com/e3/

EducationTechnology
1 of 54
chapter 17 models of the system
Models of the System ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
types of system model ,[object Object],[object Object],[object Object],specific system generic issues
Relationship with dialogue ,[object Object],[object Object],[object Object],[object Object]
Irony ,[object Object],[object Object],[object Object],[object Object]
standard formalisms general computing notations to specify a particular system
standard formalisms ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Uses of SE formal notations ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
model-based methods ,[object Object],[object Object],[object Object],[object Object],[object Object]
model-based methods ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Mathematics and programs ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
running example … ,[object Object],[object Object]
define your own types ,[object Object],[object Object],Point == Nat  Nat shape: {line, ellipse, rectangle} x, y: Point – position of centre wid: Nat ht: Nat – size of shape Shape ==
… yet another type definition ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
use them to define state shapes: Shape_Dict selection: set Id – selected objects
invariants and initial state selection  dom shapes – selection must consist of valid objects invariants – conditions that are always be true – must be preserved by every operation dom shapes = {} – no objects selection = {} – selection is empty initial state – how the system starts!
Defining operations ,[object Object],[object Object],[object Object],[object Object],selection' = {} – new selection is empty shapes' = shapes – but nothing else changes unselect:
… another operation dom shapes' = dom shapes – selection – remove selected objects  id  dom shapes' shapes' (id) = shapes(id) – remaining objects unchanged selection' = {} – new selection is empty delete:  note again use of primed variables for ‘new’ state
display/presentation ,[object Object],Shape_Type highlight: Bool Visible_Shape_Type = display: vis_objects: set Visible_Shape_Type vis_objects = { ( objects(id), sel(id) ) | id  dom objects } where sel(id ) = id  selection
Interface issues ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Algebraic notations ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Return to graphics example ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Issues for algebraic notations ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Extended logics ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Temporal logics ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object], 
Explicit time ,[object Object],[object Object],[object Object],[object Object]
Deontic logics ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Issues for extended logics ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
interaction models PIE model defining properties undo
Interaction models ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
the PIE model ,[object Object],[object Object]
PIE model – user input ,[object Object],[object Object],[object Object],[object Object],[object Object]
PIE model – system response ,[object Object],[object Object],[object Object],[object Object]
PIE model – the connection ,[object Object],[object Object],[object Object]
More formally ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Expressing properties ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Observability & predictability ,[object Object],[object Object],[object Object],[object Object],[object Object]
what you get at the printer ,[object Object],[object Object],result display
stronger – what is in the state ,[object Object],[object Object],P I E R D predict result display E identity on E
Relaxing the property ,[object Object],[object Object],[object Object],[object Object],[object Object],P E R O D I result observe g f
Reachability and undo ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
proving things – undo ,[object Object],[object Object]
lesson ,[object Object],[object Object],[object Object],[object Object]
Issues for PIE properties ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
continuous behaviour mouse movement status–event & hybrid models granularity and gestalt
dealing with the mouse ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
formal aspects of status–event ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
interstitial behaviour ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
formalised … ,[object Object],[object Object],[object Object],[object Object],[object Object],current / history of
status–change events ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],meaningful events more on status-event analysis in chapter 18
making everything continuous ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],x = vt – 1 / 2 gt 2 = v dx dt = –g dv dt
hybrid models ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],status–status mappings continuous input discrete input threshold continuous output discrete output object state enable/disable discrete computation status–change events depend on discrete state
common features ,[object Object],[object Object],[object Object],[object Object]
granularity and Gestalt ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Recommended

HCI Models of System
HCI Models of SystemHCI Models of System
HCI Models of SystemTania Sahito
 
HCI 3e - Ch 16: Dialogue notations and design
HCI 3e - Ch 16: Dialogue notations and designHCI 3e - Ch 16: Dialogue notations and design
HCI 3e - Ch 16: Dialogue notations and designAlan Dix
 
HCI 3e - Ch 12: Cognitive models
HCI 3e - Ch 12: Cognitive modelsHCI 3e - Ch 12: Cognitive models
HCI 3e - Ch 12: Cognitive modelsAlan Dix
 
HCI 3e - Ch 15: Task analysis
HCI 3e - Ch 15: Task analysisHCI 3e - Ch 15: Task analysis
HCI 3e - Ch 15: Task analysisAlan Dix
 
HCI 3e - Ch 18: Modelling rich interaction
HCI 3e - Ch 18: Modelling rich interactionHCI 3e - Ch 18: Modelling rich interaction
HCI 3e - Ch 18: Modelling rich interactionAlan Dix
 
HCI 3e - Ch 19: Groupware
HCI 3e - Ch 19: GroupwareHCI 3e - Ch 19: Groupware
HCI 3e - Ch 19: GroupwareAlan Dix
 
HCI 3e - Ch 14: Communication and collaboration models
HCI 3e - Ch 14: Communication and collaboration modelsHCI 3e - Ch 14: Communication and collaboration models
HCI 3e - Ch 14: Communication and collaboration modelsAlan Dix
 
HCI 3e - Ch 7: Design rules
HCI 3e - Ch 7: Design rulesHCI 3e - Ch 7: Design rules
HCI 3e - Ch 7: Design rulesAlan Dix
 

Recommended

HCI Models of System
HCI Models of SystemHCI Models of System
HCI Models of SystemTania Sahito
 
HCI 3e - Ch 16: Dialogue notations and design
HCI 3e - Ch 16: Dialogue notations and designHCI 3e - Ch 16: Dialogue notations and design
HCI 3e - Ch 16: Dialogue notations and designAlan Dix
 
HCI 3e - Ch 12: Cognitive models
HCI 3e - Ch 12: Cognitive modelsHCI 3e - Ch 12: Cognitive models
HCI 3e - Ch 12: Cognitive modelsAlan Dix
 
HCI 3e - Ch 15: Task analysis
HCI 3e - Ch 15: Task analysisHCI 3e - Ch 15: Task analysis
HCI 3e - Ch 15: Task analysisAlan Dix
 
HCI 3e - Ch 18: Modelling rich interaction
HCI 3e - Ch 18: Modelling rich interactionHCI 3e - Ch 18: Modelling rich interaction
HCI 3e - Ch 18: Modelling rich interactionAlan Dix
 
HCI 3e - Ch 19: Groupware
HCI 3e - Ch 19: GroupwareHCI 3e - Ch 19: Groupware
HCI 3e - Ch 19: GroupwareAlan Dix
 
HCI 3e - Ch 14: Communication and collaboration models
HCI 3e - Ch 14: Communication and collaboration modelsHCI 3e - Ch 14: Communication and collaboration models
HCI 3e - Ch 14: Communication and collaboration modelsAlan Dix
 
HCI 3e - Ch 7: Design rules
HCI 3e - Ch 7: Design rulesHCI 3e - Ch 7: Design rules
HCI 3e - Ch 7: Design rulesAlan Dix
 
Hci
HciHci
HciGe-nerale Kwame Jnr
 
HCI 3e - Ch 10: Universal design
HCI 3e - Ch 10: Universal designHCI 3e - Ch 10: Universal design
HCI 3e - Ch 10: Universal designAlan Dix
 
HCI 3e - Ch 13: Socio-organizational issues and stakeholder requirements
HCI 3e - Ch 13: Socio-organizational issues and stakeholder requirementsHCI 3e - Ch 13: Socio-organizational issues and stakeholder requirements
HCI 3e - Ch 13: Socio-organizational issues and stakeholder requirementsAlan Dix
 
HCI 3e - Ch 20: Ubiquitous computing and augmented realities
HCI 3e - Ch 20: Ubiquitous computing and augmented realitiesHCI 3e - Ch 20: Ubiquitous computing and augmented realities
HCI 3e - Ch 20: Ubiquitous computing and augmented realitiesAlan Dix
 
HCI 3e - Ch 8: Implementation support
HCI 3e - Ch 8: Implementation supportHCI 3e - Ch 8: Implementation support
HCI 3e - Ch 8: Implementation supportAlan Dix
 
HCI 3e - Ch 6: HCI in the software process
HCI 3e - Ch 6: HCI in the software processHCI 3e - Ch 6: HCI in the software process
HCI 3e - Ch 6: HCI in the software processAlan Dix
 
Hypertext, multimedia and www
Hypertext, multimedia and wwwHypertext, multimedia and www
Hypertext, multimedia and wwwPhD Research Scholar
 
HCI 3e - Ch 5: Interaction design basics
HCI 3e - Ch 5: Interaction design basicsHCI 3e - Ch 5: Interaction design basics
HCI 3e - Ch 5: Interaction design basicsAlan Dix
 
HCI - Chapter 3
HCI - Chapter 3HCI - Chapter 3
HCI - Chapter 3Alan Dix
 
Cognitive models unit 3
Cognitive models unit 3Cognitive models unit 3
Cognitive models unit 3PhD Research Scholar
 
HCI 3e - Ch 11: User support
HCI 3e - Ch 11: User supportHCI 3e - Ch 11: User support
HCI 3e - Ch 11: User supportAlan Dix
 
HCI - Chapter 1
HCI - Chapter 1HCI - Chapter 1
HCI - Chapter 1Alan Dix
 
Socio organizational issues ppt
Socio organizational issues pptSocio organizational issues ppt
Socio organizational issues ppttamizh arthanari
 
HCI 3e - Ch 9: Evaluation techniques
HCI 3e - Ch 9: Evaluation techniquesHCI 3e - Ch 9: Evaluation techniques
HCI 3e - Ch 9: Evaluation techniquesAlan Dix
 
HCI 3e - Ch 4: Paradigms
HCI 3e - Ch 4: ParadigmsHCI 3e - Ch 4: Paradigms
HCI 3e - Ch 4: ParadigmsAlan Dix
 
Human Computer Interaction Chapter 4 Implementation Support and Evaluation Te...
Human Computer Interaction Chapter 4 Implementation Support and Evaluation Te...Human Computer Interaction Chapter 4 Implementation Support and Evaluation Te...
Human Computer Interaction Chapter 4 Implementation Support and Evaluation Te...VijiPriya Jeyamani
 
interaction norman model in Human Computer Interaction(HCI)
interaction norman model in Human Computer Interaction(HCI)interaction norman model in Human Computer Interaction(HCI)
interaction norman model in Human Computer Interaction(HCI)Daroko blog(www.professionalbloggertricks.com)
 
HCI 3e - Ch 3: The interaction
HCI 3e - Ch 3: The interactionHCI 3e - Ch 3: The interaction
HCI 3e - Ch 3: The interactionAlan Dix
 
Hci in-the-software-process-1
Hci in-the-software-process-1Hci in-the-software-process-1
Hci in-the-software-process-1Ali javed
 
HCI - Chapter 2
HCI - Chapter 2HCI - Chapter 2
HCI - Chapter 2Alan Dix
 
Design Principles
Design PrinciplesDesign Principles
Design PrinciplesDavid Gelb
 
human computer interface
human computer interfacehuman computer interface
human computer interfaceSantosh Kumar
 

More Related Content

What's hot

HCI 3e - Ch 10: Universal design
HCI 3e - Ch 10: Universal designHCI 3e - Ch 10: Universal design
HCI 3e - Ch 10: Universal designAlan Dix
 
HCI 3e - Ch 13: Socio-organizational issues and stakeholder requirements
HCI 3e - Ch 13: Socio-organizational issues and stakeholder requirementsHCI 3e - Ch 13: Socio-organizational issues and stakeholder requirements
HCI 3e - Ch 13: Socio-organizational issues and stakeholder requirementsAlan Dix
 
HCI 3e - Ch 20: Ubiquitous computing and augmented realities
HCI 3e - Ch 20: Ubiquitous computing and augmented realitiesHCI 3e - Ch 20: Ubiquitous computing and augmented realities
HCI 3e - Ch 20: Ubiquitous computing and augmented realitiesAlan Dix
 
HCI 3e - Ch 8: Implementation support
HCI 3e - Ch 8: Implementation supportHCI 3e - Ch 8: Implementation support
HCI 3e - Ch 8: Implementation supportAlan Dix
 
HCI 3e - Ch 6: HCI in the software process
HCI 3e - Ch 6: HCI in the software processHCI 3e - Ch 6: HCI in the software process
HCI 3e - Ch 6: HCI in the software processAlan Dix
 
HCI 3e - Ch 5: Interaction design basics
HCI 3e - Ch 5: Interaction design basicsHCI 3e - Ch 5: Interaction design basics
HCI 3e - Ch 5: Interaction design basicsAlan Dix
 
HCI - Chapter 3
HCI - Chapter 3HCI - Chapter 3
HCI - Chapter 3Alan Dix
 
HCI 3e - Ch 11: User support
HCI 3e - Ch 11: User supportHCI 3e - Ch 11: User support
HCI 3e - Ch 11: User supportAlan Dix
 
HCI - Chapter 1
HCI - Chapter 1HCI - Chapter 1
HCI - Chapter 1Alan Dix
 
Socio organizational issues ppt
Socio organizational issues pptSocio organizational issues ppt
Socio organizational issues ppttamizh arthanari
 
HCI 3e - Ch 9: Evaluation techniques
HCI 3e - Ch 9: Evaluation techniquesHCI 3e - Ch 9: Evaluation techniques
HCI 3e - Ch 9: Evaluation techniquesAlan Dix
 
HCI 3e - Ch 4: Paradigms
HCI 3e - Ch 4: ParadigmsHCI 3e - Ch 4: Paradigms
HCI 3e - Ch 4: ParadigmsAlan Dix
 
Human Computer Interaction Chapter 4 Implementation Support and Evaluation Te...
Human Computer Interaction Chapter 4 Implementation Support and Evaluation Te...Human Computer Interaction Chapter 4 Implementation Support and Evaluation Te...
Human Computer Interaction Chapter 4 Implementation Support and Evaluation Te...VijiPriya Jeyamani
 
HCI 3e - Ch 3: The interaction
HCI 3e - Ch 3: The interactionHCI 3e - Ch 3: The interaction
HCI 3e - Ch 3: The interactionAlan Dix
 
Hci in-the-software-process-1
Hci in-the-software-process-1Hci in-the-software-process-1
Hci in-the-software-process-1Ali javed
 
HCI - Chapter 2
HCI - Chapter 2HCI - Chapter 2
HCI - Chapter 2Alan Dix
 

What's hot (20)

Hci
HciHci
Hci
 
HCI 3e - Ch 10: Universal design
HCI 3e - Ch 10: Universal designHCI 3e - Ch 10: Universal design
HCI 3e - Ch 10: Universal design
 
HCI 3e - Ch 13: Socio-organizational issues and stakeholder requirements
HCI 3e - Ch 13: Socio-organizational issues and stakeholder requirementsHCI 3e - Ch 13: Socio-organizational issues and stakeholder requirements
HCI 3e - Ch 13: Socio-organizational issues and stakeholder requirements
 
HCI 3e - Ch 20: Ubiquitous computing and augmented realities
HCI 3e - Ch 20: Ubiquitous computing and augmented realitiesHCI 3e - Ch 20: Ubiquitous computing and augmented realities
HCI 3e - Ch 20: Ubiquitous computing and augmented realities
 
HCI 3e - Ch 8: Implementation support
HCI 3e - Ch 8: Implementation supportHCI 3e - Ch 8: Implementation support
HCI 3e - Ch 8: Implementation support
 
HCI 3e - Ch 6: HCI in the software process
HCI 3e - Ch 6: HCI in the software processHCI 3e - Ch 6: HCI in the software process
HCI 3e - Ch 6: HCI in the software process
 
Hypertext, multimedia and www
Hypertext, multimedia and wwwHypertext, multimedia and www
Hypertext, multimedia and www
 
HCI 3e - Ch 5: Interaction design basics
HCI 3e - Ch 5: Interaction design basicsHCI 3e - Ch 5: Interaction design basics
HCI 3e - Ch 5: Interaction design basics
 
HCI - Chapter 3
HCI - Chapter 3HCI - Chapter 3
HCI - Chapter 3
 
Cognitive models unit 3
Cognitive models unit 3Cognitive models unit 3
Cognitive models unit 3
 
HCI 3e - Ch 11: User support
HCI 3e - Ch 11: User supportHCI 3e - Ch 11: User support
HCI 3e - Ch 11: User support
 
HCI - Chapter 1
HCI - Chapter 1HCI - Chapter 1
HCI - Chapter 1
 
Socio organizational issues ppt
Socio organizational issues pptSocio organizational issues ppt
Socio organizational issues ppt
 
HCI 3e - Ch 9: Evaluation techniques
HCI 3e - Ch 9: Evaluation techniquesHCI 3e - Ch 9: Evaluation techniques
HCI 3e - Ch 9: Evaluation techniques
 
HCI 3e - Ch 4: Paradigms
HCI 3e - Ch 4: ParadigmsHCI 3e - Ch 4: Paradigms
HCI 3e - Ch 4: Paradigms
 
Human Computer Interaction Chapter 4 Implementation Support and Evaluation Te...
Human Computer Interaction Chapter 4 Implementation Support and Evaluation Te...Human Computer Interaction Chapter 4 Implementation Support and Evaluation Te...
Human Computer Interaction Chapter 4 Implementation Support and Evaluation Te...
 
interaction norman model in Human Computer Interaction(HCI)
interaction norman model in Human Computer Interaction(HCI)interaction norman model in Human Computer Interaction(HCI)
interaction norman model in Human Computer Interaction(HCI)
 
HCI 3e - Ch 3: The interaction
HCI 3e - Ch 3: The interactionHCI 3e - Ch 3: The interaction
HCI 3e - Ch 3: The interaction
 
Hci in-the-software-process-1
Hci in-the-software-process-1Hci in-the-software-process-1
Hci in-the-software-process-1
 
HCI - Chapter 2
HCI - Chapter 2HCI - Chapter 2
HCI - Chapter 2
 

Viewers also liked

Design Principles
Design PrinciplesDesign Principles
Design PrinciplesDavid Gelb
 
human computer interface
human computer interfacehuman computer interface
human computer interfaceSantosh Kumar
 
bad ideas: for creativity and design
bad ideas: for creativity and designbad ideas: for creativity and design
bad ideas: for creativity and designAlan Dix
 
SICSA : Open Data Islands and Communities
SICSA : Open Data Islands and CommunitiesSICSA : Open Data Islands and Communities
SICSA : Open Data Islands and CommunitiesAlan Dix
 
Human-Like Computing and Human-Computer Interaction
Human-Like Computing and Human-Computer InteractionHuman-Like Computing and Human-Computer Interaction
Human-Like Computing and Human-Computer InteractionAlan Dix
 
Windows vs. mac
Windows vs. macWindows vs. mac
Windows vs. macmattso88
 
HCI 3e - Ch 4 (extra):
HCI 3e - Ch 4 (extra):HCI 3e - Ch 4 (extra):
HCI 3e - Ch 4 (extra):Alan Dix
 

Viewers also liked (9)

Design Principles
Design PrinciplesDesign Principles
Design Principles
 
human computer interface
human computer interfacehuman computer interface
human computer interface
 
bad ideas: for creativity and design
bad ideas: for creativity and designbad ideas: for creativity and design
bad ideas: for creativity and design
 
SICSA : Open Data Islands and Communities
SICSA : Open Data Islands and CommunitiesSICSA : Open Data Islands and Communities
SICSA : Open Data Islands and Communities
 
Windows vs mac os
Windows vs mac osWindows vs mac os
Windows vs mac os
 
Human-Like Computing and Human-Computer Interaction
Human-Like Computing and Human-Computer InteractionHuman-Like Computing and Human-Computer Interaction
Human-Like Computing and Human-Computer Interaction
 
Windows vs. mac
Windows vs. macWindows vs. mac
Windows vs. mac
 
HCI
HCIHCI
HCI
 
HCI 3e - Ch 4 (extra):
HCI 3e - Ch 4 (extra):HCI 3e - Ch 4 (extra):
HCI 3e - Ch 4 (extra):
 

Similar to HCI 3e - Ch 17: Models of the system

System Modelling.ppt
System Modelling.pptSystem Modelling.ppt
System Modelling.pptAnishNarayan4
 
Analysis modeling in software engineering
Analysis modeling in software engineeringAnalysis modeling in software engineering
Analysis modeling in software engineeringMuhammadTalha436
 
Modeling System Requirements
Modeling System RequirementsModeling System Requirements
Modeling System RequirementsAsjad Raza
 
Introducing Uml And Development Process
Introducing Uml And Development ProcessIntroducing Uml And Development Process
Introducing Uml And Development ProcessTerry Cho
 
Software engg. pressman_ch-8
Software engg. pressman_ch-8Software engg. pressman_ch-8
Software engg. pressman_ch-8Dhairya Joshi
 
Software engineering rogers pressman chapter 7
Software engineering rogers pressman chapter 7Software engineering rogers pressman chapter 7
Software engineering rogers pressman chapter 7mohammad hossein Jalili
 
Modeling- Object, Dynamic and Functional
Modeling- Object, Dynamic and FunctionalModeling- Object, Dynamic and Functional
Modeling- Object, Dynamic and FunctionalRajani Bhandari
 
UML and Software Modeling Tools.pptx
UML and Software Modeling Tools.pptxUML and Software Modeling Tools.pptx
UML and Software Modeling Tools.pptxNwabueze Obioma
 
Requirements vs design vs runtime
Requirements vs design vs runtimeRequirements vs design vs runtime
Requirements vs design vs runtimebdemchak
 
6. ch 5-understanding requirements
6. ch 5-understanding requirements6. ch 5-understanding requirements
6. ch 5-understanding requirementsDelowar hossain
 
ASP.NET System design 2
ASP.NET System design 2ASP.NET System design 2
ASP.NET System design 2Sisir Ghosh
 

Similar to HCI 3e - Ch 17: Models of the system (20)

E3 chap-17
E3 chap-17E3 chap-17
E3 chap-17
 
System Modelling.ppt
System Modelling.pptSystem Modelling.ppt
System Modelling.ppt
 
Bridge
BridgeBridge
Bridge
 
Ch08
Ch08Ch08
Ch08
 
Ch08
Ch08Ch08
Ch08
 
Analysis modeling
Analysis modelingAnalysis modeling
Analysis modeling
 
Analysis modeling in software engineering
Analysis modeling in software engineeringAnalysis modeling in software engineering
Analysis modeling in software engineering
 
Modeling System Requirements
Modeling System RequirementsModeling System Requirements
Modeling System Requirements
 
Introducing Uml And Development Process
Introducing Uml And Development ProcessIntroducing Uml And Development Process
Introducing Uml And Development Process
 
Software engg. pressman_ch-8
Software engg. pressman_ch-8Software engg. pressman_ch-8
Software engg. pressman_ch-8
 
Unit-1 Mod-Sim.ppt
Unit-1 Mod-Sim.pptUnit-1 Mod-Sim.ppt
Unit-1 Mod-Sim.ppt
 
Software engineering rogers pressman chapter 7
Software engineering rogers pressman chapter 7Software engineering rogers pressman chapter 7
Software engineering rogers pressman chapter 7
 
Modeling- Object, Dynamic and Functional
Modeling- Object, Dynamic and FunctionalModeling- Object, Dynamic and Functional
Modeling- Object, Dynamic and Functional
 
UML and Software Modeling Tools.pptx
UML and Software Modeling Tools.pptxUML and Software Modeling Tools.pptx
UML and Software Modeling Tools.pptx
 
Lecture 1.pptx
Lecture 1.pptxLecture 1.pptx
Lecture 1.pptx
 
Requirements vs design vs runtime
Requirements vs design vs runtimeRequirements vs design vs runtime
Requirements vs design vs runtime
 
Designmethodology1
Designmethodology1Designmethodology1
Designmethodology1
 
6. ch 5-understanding requirements
6. ch 5-understanding requirements6. ch 5-understanding requirements
6. ch 5-understanding requirements
 
uml.pptx
uml.pptxuml.pptx
uml.pptx
 
ASP.NET System design 2
ASP.NET System design 2ASP.NET System design 2
ASP.NET System design 2
 

More from Alan Dix

CDT Away Day Talk: Qualitative–Quantitative reasoning and lightweight numbers
CDT Away Day Talk: Qualitative–Quantitative reasoning and lightweight numbersCDT Away Day Talk: Qualitative–Quantitative reasoning and lightweight numbers
CDT Away Day Talk: Qualitative–Quantitative reasoning and lightweight numbersAlan Dix
 
Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...Alan Dix
 
From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .Alan Dix
 
Human-Centred Artificial Intelligence – Malta 2024
Human-Centred Artificial Intelligence – Malta 2024Human-Centred Artificial Intelligence – Malta 2024
Human-Centred Artificial Intelligence – Malta 2024Alan Dix
 
The future of UX design support tools - talk Paris March 2024
The future of UX design support tools - talk Paris March 2024The future of UX design support tools - talk Paris March 2024
The future of UX design support tools - talk Paris March 2024Alan Dix
 
Qualitative–Quantitative reasoning and lightweight numbers
Qualitative–Quantitative reasoning and lightweight numbersQualitative–Quantitative reasoning and lightweight numbers
Qualitative–Quantitative reasoning and lightweight numbersAlan Dix
 
Invited talk at Diversifying Knowledge Production in HCI
Invited talk at Diversifying Knowledge Production in HCIInvited talk at Diversifying Knowledge Production in HCI
Invited talk at Diversifying Knowledge Production in HCIAlan Dix
 
Exceptional Experiences for Everyone
Exceptional Experiences for EveryoneExceptional Experiences for Everyone
Exceptional Experiences for EveryoneAlan Dix
 
Inclusivity and AI: opportunity or threat
Inclusivity and AI: opportunity or threatInclusivity and AI: opportunity or threat
Inclusivity and AI: opportunity or threatAlan Dix
 
Hidden Figures architectural challenges to expose parameters lost in code
Hidden Figures architectural challenges to expose parameters lost in codeHidden Figures architectural challenges to expose parameters lost in code
Hidden Figures architectural challenges to expose parameters lost in codeAlan Dix
 
ChatGPT, Culture and Creativity simulacrum and alterity
ChatGPT, Culture and Creativity simulacrum and alterityChatGPT, Culture and Creativity simulacrum and alterity
ChatGPT, Culture and Creativity simulacrum and alterityAlan Dix
 
Why pandemics and climate change are hard to understand and make decision mak...
Why pandemics and climate change are hard to understand and make decision mak...Why pandemics and climate change are hard to understand and make decision mak...
Why pandemics and climate change are hard to understand and make decision mak...Alan Dix
 
Beyond the Wireframe: tools to design, analyse and prototype physical devices
Beyond the Wireframe: tools to design, analyse and prototype physical devicesBeyond the Wireframe: tools to design, analyse and prototype physical devices
Beyond the Wireframe: tools to design, analyse and prototype physical devicesAlan Dix
 
Forever Cyborgs – a long view on physical-digital interaction
Forever Cyborgs – a long view on physical-digital interactionForever Cyborgs – a long view on physical-digital interaction
Forever Cyborgs – a long view on physical-digital interactionAlan Dix
 
Truth in an Age of Information
Truth in an Age of InformationTruth in an Age of Information
Truth in an Age of InformationAlan Dix
 
Rome Seminar: Designing User Interactions with AI
Rome Seminar: Designing User Interactions with AIRome Seminar: Designing User Interactions with AI
Rome Seminar: Designing User Interactions with AIAlan Dix
 
Tools and technology to support rich community heritage
Tools and technology to support rich community heritageTools and technology to support rich community heritage
Tools and technology to support rich community heritageAlan Dix
 
Maps with Meaning
Maps with MeaningMaps with Meaning
Maps with MeaningAlan Dix
 
Democratising Digitisation Tools to Support Small Community Archives
Democratising Digitisation Tools to Support Small Community ArchivesDemocratising Digitisation Tools to Support Small Community Archives
Democratising Digitisation Tools to Support Small Community ArchivesAlan Dix
 
Follow your nose: history frames the future
Follow your nose: history frames the futureFollow your nose: history frames the future
Follow your nose: history frames the futureAlan Dix
 

More from Alan Dix (20)

CDT Away Day Talk: Qualitative–Quantitative reasoning and lightweight numbers
CDT Away Day Talk: Qualitative–Quantitative reasoning and lightweight numbersCDT Away Day Talk: Qualitative–Quantitative reasoning and lightweight numbers
CDT Away Day Talk: Qualitative–Quantitative reasoning and lightweight numbers
 
Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...Swan(sea) Song – personal research during my six years at Swansea ... and bey...
Swan(sea) Song – personal research during my six years at Swansea ... and bey...
 
From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .
 
Human-Centred Artificial Intelligence – Malta 2024
Human-Centred Artificial Intelligence – Malta 2024Human-Centred Artificial Intelligence – Malta 2024
Human-Centred Artificial Intelligence – Malta 2024
 
The future of UX design support tools - talk Paris March 2024
The future of UX design support tools - talk Paris March 2024The future of UX design support tools - talk Paris March 2024
The future of UX design support tools - talk Paris March 2024
 
Qualitative–Quantitative reasoning and lightweight numbers
Qualitative–Quantitative reasoning and lightweight numbersQualitative–Quantitative reasoning and lightweight numbers
Qualitative–Quantitative reasoning and lightweight numbers
 
Invited talk at Diversifying Knowledge Production in HCI
Invited talk at Diversifying Knowledge Production in HCIInvited talk at Diversifying Knowledge Production in HCI
Invited talk at Diversifying Knowledge Production in HCI
 
Exceptional Experiences for Everyone
Exceptional Experiences for EveryoneExceptional Experiences for Everyone
Exceptional Experiences for Everyone
 
Inclusivity and AI: opportunity or threat
Inclusivity and AI: opportunity or threatInclusivity and AI: opportunity or threat
Inclusivity and AI: opportunity or threat
 
Hidden Figures architectural challenges to expose parameters lost in code
Hidden Figures architectural challenges to expose parameters lost in codeHidden Figures architectural challenges to expose parameters lost in code
Hidden Figures architectural challenges to expose parameters lost in code
 
ChatGPT, Culture and Creativity simulacrum and alterity
ChatGPT, Culture and Creativity simulacrum and alterityChatGPT, Culture and Creativity simulacrum and alterity
ChatGPT, Culture and Creativity simulacrum and alterity
 
Why pandemics and climate change are hard to understand and make decision mak...
Why pandemics and climate change are hard to understand and make decision mak...Why pandemics and climate change are hard to understand and make decision mak...
Why pandemics and climate change are hard to understand and make decision mak...
 
Beyond the Wireframe: tools to design, analyse and prototype physical devices
Beyond the Wireframe: tools to design, analyse and prototype physical devicesBeyond the Wireframe: tools to design, analyse and prototype physical devices
Beyond the Wireframe: tools to design, analyse and prototype physical devices
 
Forever Cyborgs – a long view on physical-digital interaction
Forever Cyborgs – a long view on physical-digital interactionForever Cyborgs – a long view on physical-digital interaction
Forever Cyborgs – a long view on physical-digital interaction
 
Truth in an Age of Information
Truth in an Age of InformationTruth in an Age of Information
Truth in an Age of Information
 
Rome Seminar: Designing User Interactions with AI
Rome Seminar: Designing User Interactions with AIRome Seminar: Designing User Interactions with AI
Rome Seminar: Designing User Interactions with AI
 
Tools and technology to support rich community heritage
Tools and technology to support rich community heritageTools and technology to support rich community heritage
Tools and technology to support rich community heritage
 
Maps with Meaning
Maps with MeaningMaps with Meaning
Maps with Meaning
 
Democratising Digitisation Tools to Support Small Community Archives
Democratising Digitisation Tools to Support Small Community ArchivesDemocratising Digitisation Tools to Support Small Community Archives
Democratising Digitisation Tools to Support Small Community Archives
 
Follow your nose: history frames the future
Follow your nose: history frames the futureFollow your nose: history frames the future
Follow your nose: history frames the future
 

Recently uploaded

Basic phrases for greeting and assisting costumers
Basic phrases for greeting and assisting costumersBasic phrases for greeting and assisting costumers
Basic phrases for greeting and assisting costumersPedroFerreira53928
 
Sectors of the Indian Economy - Class 10 Study Notes pdf
Sectors of the Indian Economy - Class 10 Study Notes pdfSectors of the Indian Economy - Class 10 Study Notes pdf
Sectors of the Indian Economy - Class 10 Study Notes pdfVivekanand Anglo Vedic Academy
 
INU_CAPSTONEDESIGN_비밀번호486_업로드용 발표자료.pdf
INU_CAPSTONEDESIGN_비밀번호486_업로드용 발표자료.pdfINU_CAPSTONEDESIGN_비밀번호486_업로드용 발표자료.pdf
INU_CAPSTONEDESIGN_비밀번호486_업로드용 발표자료.pdfbu07226
 
Telling Your Story_ Simple Steps to Build Your Nonprofit's Brand Webinar.pdf
Telling Your Story_ Simple Steps to Build Your Nonprofit's Brand Webinar.pdfTelling Your Story_ Simple Steps to Build Your Nonprofit's Brand Webinar.pdf
Telling Your Story_ Simple Steps to Build Your Nonprofit's Brand Webinar.pdfTechSoup
 
MARUTI SUZUKI- A Successful Joint Venture in India.pptx
MARUTI SUZUKI- A Successful Joint Venture in India.pptxMARUTI SUZUKI- A Successful Joint Venture in India.pptx
MARUTI SUZUKI- A Successful Joint Venture in India.pptxbennyroshan06
 
The Benefits and Challenges of Open Educational Resources
The Benefits and Challenges of Open Educational ResourcesThe Benefits and Challenges of Open Educational Resources
The Benefits and Challenges of Open Educational Resourcesaileywriter
 
Morse OER Some Benefits and Challenges.pptx
Morse OER Some Benefits and Challenges.pptxMorse OER Some Benefits and Challenges.pptx
Morse OER Some Benefits and Challenges.pptxjmorse8
 
Open Educational Resources Primer PowerPoint
Open Educational Resources Primer PowerPointOpen Educational Resources Primer PowerPoint
Open Educational Resources Primer PowerPointELaRue0
 
Salient features of Environment protection Act 1986.pptx
Salient features of Environment protection Act 1986.pptxSalient features of Environment protection Act 1986.pptx
Salient features of Environment protection Act 1986.pptxakshayaramakrishnan21
 
Application of Matrices in real life. Presentation on application of matrices
Application of Matrices in real life. Presentation on application of matricesApplication of Matrices in real life. Presentation on application of matrices
Application of Matrices in real life. Presentation on application of matricesRased Khan
 
Basic Civil Engineering Notes of Chapter-6, Topic- Ecosystem, Biodiversity G...
Basic Civil Engineering Notes of Chapter-6, Topic- Ecosystem, Biodiversity G...Basic Civil Engineering Notes of Chapter-6, Topic- Ecosystem, Biodiversity G...
Basic Civil Engineering Notes of Chapter-6, Topic- Ecosystem, Biodiversity G...Denish Jangid
 
Instructions for Submissions thorugh G- Classroom.pptx
Instructions for Submissions thorugh G- Classroom.pptxInstructions for Submissions thorugh G- Classroom.pptx
Instructions for Submissions thorugh G- Classroom.pptxJheel Barad
 
How to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS ModuleHow to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS ModuleCeline George
 
Research Methods in Psychology | Cambridge AS Level | Cambridge Assessment In...
Research Methods in Psychology | Cambridge AS Level | Cambridge Assessment In...Research Methods in Psychology | Cambridge AS Level | Cambridge Assessment In...
Research Methods in Psychology | Cambridge AS Level | Cambridge Assessment In...Abhinav Gaur Kaptaan
 
Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345beazzy04
 
Basic Civil Engg Notes_Chapter-6_Environment Pollution & Engineering
Basic Civil Engg Notes_Chapter-6_Environment Pollution & EngineeringBasic Civil Engg Notes_Chapter-6_Environment Pollution & Engineering
Basic Civil Engg Notes_Chapter-6_Environment Pollution & EngineeringDenish Jangid
 
Keeping Your Information Safe with Centralized Security Services
Keeping Your Information Safe with Centralized Security ServicesKeeping Your Information Safe with Centralized Security Services
Keeping Your Information Safe with Centralized Security ServicesTechSoup
 
Danh sách HSG Bộ môn cấp trường - Cấp THPT.pdf
Danh sách HSG Bộ môn cấp trường - Cấp THPT.pdfDanh sách HSG Bộ môn cấp trường - Cấp THPT.pdf
Danh sách HSG Bộ môn cấp trường - Cấp THPT.pdfQucHHunhnh
 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaasiemaillard
 

Recently uploaded (20)

Basic phrases for greeting and assisting costumers
Basic phrases for greeting and assisting costumersBasic phrases for greeting and assisting costumers
Basic phrases for greeting and assisting costumers
 
Sectors of the Indian Economy - Class 10 Study Notes pdf
Sectors of the Indian Economy - Class 10 Study Notes pdfSectors of the Indian Economy - Class 10 Study Notes pdf
Sectors of the Indian Economy - Class 10 Study Notes pdf
 
INU_CAPSTONEDESIGN_비밀번호486_업로드용 발표자료.pdf
INU_CAPSTONEDESIGN_비밀번호486_업로드용 발표자료.pdfINU_CAPSTONEDESIGN_비밀번호486_업로드용 발표자료.pdf
INU_CAPSTONEDESIGN_비밀번호486_업로드용 발표자료.pdf
 
Telling Your Story_ Simple Steps to Build Your Nonprofit's Brand Webinar.pdf
Telling Your Story_ Simple Steps to Build Your Nonprofit's Brand Webinar.pdfTelling Your Story_ Simple Steps to Build Your Nonprofit's Brand Webinar.pdf
Telling Your Story_ Simple Steps to Build Your Nonprofit's Brand Webinar.pdf
 
MARUTI SUZUKI- A Successful Joint Venture in India.pptx
MARUTI SUZUKI- A Successful Joint Venture in India.pptxMARUTI SUZUKI- A Successful Joint Venture in India.pptx
MARUTI SUZUKI- A Successful Joint Venture in India.pptx
 
The Benefits and Challenges of Open Educational Resources
The Benefits and Challenges of Open Educational ResourcesThe Benefits and Challenges of Open Educational Resources
The Benefits and Challenges of Open Educational Resources
 
Morse OER Some Benefits and Challenges.pptx
Morse OER Some Benefits and Challenges.pptxMorse OER Some Benefits and Challenges.pptx
Morse OER Some Benefits and Challenges.pptx
 
Open Educational Resources Primer PowerPoint
Open Educational Resources Primer PowerPointOpen Educational Resources Primer PowerPoint
Open Educational Resources Primer PowerPoint
 
Salient features of Environment protection Act 1986.pptx
Salient features of Environment protection Act 1986.pptxSalient features of Environment protection Act 1986.pptx
Salient features of Environment protection Act 1986.pptx
 
Application of Matrices in real life. Presentation on application of matrices
Application of Matrices in real life. Presentation on application of matricesApplication of Matrices in real life. Presentation on application of matrices
Application of Matrices in real life. Presentation on application of matrices
 
Basic Civil Engineering Notes of Chapter-6, Topic- Ecosystem, Biodiversity G...
Basic Civil Engineering Notes of Chapter-6, Topic- Ecosystem, Biodiversity G...Basic Civil Engineering Notes of Chapter-6, Topic- Ecosystem, Biodiversity G...
Basic Civil Engineering Notes of Chapter-6, Topic- Ecosystem, Biodiversity G...
 
Instructions for Submissions thorugh G- Classroom.pptx
Instructions for Submissions thorugh G- Classroom.pptxInstructions for Submissions thorugh G- Classroom.pptx
Instructions for Submissions thorugh G- Classroom.pptx
 
How to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS ModuleHow to Split Bills in the Odoo 17 POS Module
How to Split Bills in the Odoo 17 POS Module
 
Research Methods in Psychology | Cambridge AS Level | Cambridge Assessment In...
Research Methods in Psychology | Cambridge AS Level | Cambridge Assessment In...Research Methods in Psychology | Cambridge AS Level | Cambridge Assessment In...
Research Methods in Psychology | Cambridge AS Level | Cambridge Assessment In...
 
B.ed spl. HI pdusu exam paper-2023-24.pdf
B.ed spl. HI pdusu exam paper-2023-24.pdfB.ed spl. HI pdusu exam paper-2023-24.pdf
B.ed spl. HI pdusu exam paper-2023-24.pdf
 
Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345
 
Basic Civil Engg Notes_Chapter-6_Environment Pollution & Engineering
Basic Civil Engg Notes_Chapter-6_Environment Pollution & EngineeringBasic Civil Engg Notes_Chapter-6_Environment Pollution & Engineering
Basic Civil Engg Notes_Chapter-6_Environment Pollution & Engineering
 
Keeping Your Information Safe with Centralized Security Services
Keeping Your Information Safe with Centralized Security ServicesKeeping Your Information Safe with Centralized Security Services
Keeping Your Information Safe with Centralized Security Services
 
Danh sách HSG Bộ môn cấp trường - Cấp THPT.pdf
Danh sách HSG Bộ môn cấp trường - Cấp THPT.pdfDanh sách HSG Bộ môn cấp trường - Cấp THPT.pdf
Danh sách HSG Bộ môn cấp trường - Cấp THPT.pdf
 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
 

HCI 3e - Ch 17: Models of the system

  • 1. chapter 17 models of the system
  • 2.
  • 3.
  • 4.
  • 5.
  • 6. standard formalisms general computing notations to specify a particular system
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15. use them to define state shapes: Shape_Dict selection: set Id – selected objects
  • 16. invariants and initial state selection  dom shapes – selection must consist of valid objects invariants – conditions that are always be true – must be preserved by every operation dom shapes = {} – no objects selection = {} – selection is empty initial state – how the system starts!
  • 17.
  • 18. … another operation dom shapes' = dom shapes – selection – remove selected objects  id  dom shapes' shapes' (id) = shapes(id) – remaining objects unchanged selection' = {} – new selection is empty delete:  note again use of primed variables for ‘new’ state
  • 19.
  • 20.
  • 21.
  • 22.
  • 23.
  • 24.
  • 25.
  • 26.
  • 27.
  • 28.
  • 29. interaction models PIE model defining properties undo
  • 30.
  • 31.
  • 32.
  • 33.
  • 34.
  • 35.
  • 36.
  • 37.
  • 38.
  • 39.
  • 40.
  • 41.
  • 42.
  • 43.
  • 44.
  • 45. continuous behaviour mouse movement status–event & hybrid models granularity and gestalt
  • 46.
  • 47.
  • 48.
  • 49.
  • 50.
  • 51.
  • 52.
  • 53.
  • 54.