modelling languages mostly concrete visual syntax
play

Modelling Languages: (mostly) Concrete (Visual) Syntax Hans - PowerPoint PPT Presentation

Modelling Languages: (mostly) Concrete (Visual) Syntax Hans Vangheluwe http://msdl.cs.mcgill.ca/ Modelling Languages/Formalisms Syntax and Semantics Modelling Languages/Formalisms Syntax and Semantics Model of Graph 3 Textual Languages


  1. Modelling Languages: (mostly) Concrete (Visual) Syntax Hans Vangheluwe http://msdl.cs.mcgill.ca/

  2. Modelling Languages/Formalisms Syntax and Semantics

  3. Modelling Languages/Formalisms Syntax and Semantics Model of Graph 3

  4. Textual Languages Textual Languages “this sentence is very short” ● Individual letters in an alphabet ● Combined into words ● Combined into sentences in a language ● Valid letters in words specified by reg egular exp xpressions ● Valid words in a language specified by a grammar ● letters/words are combined by “is to the right of”

  5. Textual Languages syntax-directed editor (textual concrete syntax)

  6. Visual Languages syntax-directed editor (visual concrete syntax)

  7. Visual Languages

  8. Visual Languages Plex

  9. Visual Languages Grap aph

  10. Visual Languages Co Connecti tion T Type pes

  11. Visual Languages Iconic

  12. Visual Languages Box

  13. Visual Languages Visu sual L Langu guage age Cl Class sses

  14. Visual Languages Hy Hybrid id L Langu guages

  15. Visual Languages Syntax-dir irected V d Visu sual E al Editors: s: model l be behaviour

  16. Visual Languages Syntax-dir irected V d Visu sual E al Editors: s: model l be behaviour

  17. Visual Languages Generate te S Syntax tax-di directe ted V Vis isual l Edi dito tors

  18. Visual Languages Syntax-dir irected V d Visu sual E al Editors: s: freehand d (early stages of multi-domain project)

  19. Visual Languages Different M t Medi dia: : Gest stural I l Inte terac acti tion, S Sound, ... 20

  20. ``Physics'' of Notations Introducti tion ● Visual notations pre-date textual ones ● Visual notations are important for Modelling and Software Engineering ● Humans are excellent pattern recognizers ● Need cognitively efficient and effective notations. Cognitive effectiveness = speed, ease and accuracy with which a representation can be processed by the human mind a DSVL @ Lascaux

  21. ``Physics'' of Notations Introducti tion/R /Rati ationale le Visual notations are often introduced without underlying theory or rationale Many visual notations for same concepts. No rigorous way to co comp mpare re effectiveness and hence no clear design goal.

  22. Maryam M. Maleki, Robert F. Woodbury, Rhys Goldstein, Simon Breslav, Azam Khan. Designing DEVS visual interfaces for end-user programmers. Simulation 91(8): 715-734 (2015)

  23. ``Physics'' of Notations Co Communicati tion T Theory

  24. ``Physics'' of Notations Encodi ding: 8 g: 8 v vis isual v variabl bles t s to (gr (graph phically) ) encode in information

  25. ``Physics'' of Notations Decodin ing automatic, fast, parallel slow, large effort, sequential Appropriate notations » offload some of the burden from cognitive to perceptual Note: “dual channel theory”: auditory/verbal channel and visual/pictorial channel are processed in parallel Richard E. Mayer, Roxana Moreno. Nine Ways to Reduce Cognitive Load in Multimedia Learning. Educational Psychologist, 38(1), 43–5. 2003.

  26. ``Physics'' of Notations Princip iple les f for D Desi sign gning g Effic fficient an t and E d Effecti tive V Visu sual N Nota tations

  27. ``Physics'' of Notations Clarity (semiotics = study of signs and sign processes) Semioti tic Cla 1- 1-to-1

  28. ``Physics'' of Notations Percept ptual D Disc scrimin inabi bili lity

  29. ``Physics'' of Notations Junaed Sattar, Gregory Dudek. Reducing Uncertainty in Human-Robot Interaction: A Cost Analysis Approach. ISER 2010: 81-95.

  30. ``Physics'' of Notations Percept ptual D Disc scrimin inabi bili lity should be easy to distinguish visual symbols ability to distinguish is determined by visual distance larger visual distance » faster, more accurate recognition ● number of visual variables on which they differ and the magnitude of the differences ● shape is the main visual variable 13

  31. ``Physics'' of Notations Percept ptual D Disc scrimin inabi bili lity Software Engineering notations mostly use rectangle variants Use re redundant visual encoding to in incr crease dis istance ce (e.g., textual + visual)

  32. ``Physics'' of Notations Semantic T Tran anspa parency The me meanin ing of a symbol can be in inferre rred from its appearance (intuitive) Symbols can be:

  33. Semantic T Tran anspa parency: : semantically immediate symbols ``Physics'' of Notations

  34. ``Physics'' of Notations Semantic T Tran anspa parency

  35. ``Physics'' of Notations Semantic T Tran anspa parency The me meanin ing of a symbol can be in inferre rred from its appearance (intuitive) Symbols can be: • Semantically Immediate • Semantically Opaque Software Engineering notations are usually abstract (non-intuitive)

  36. Seman anti tic T Tran anspar sparency: : semantically perverse symbols ``Physics'' of Notations

  37. ``Physics'' of Notations Semantic T Tran anspa parency The me meanin ing of a symbol can be in inferre rred from its appearance (intuitive) Symbols can be: • Semantically Immediate • Semantically Opaque • Semantically Perverse Domain-specific icons and visual arrangement should be intuitive

  38. ``Physics'' of Notations Compl Co plexity m management (# (# ele lements ts in in di diagr gram » c cognit itiv ive o overlo load) d)

  39. ``Physics'' of Notations Mo Modu dulariz izati tion/Hie /Hierarchy

  40. ``Physics'' of Notations Cognit Co itiv ive I Inte tegrati tion (d (different t notatio ions) s) ● Conceptual integration (cohere rent mental model) ● Enable navig igatio ion and transit itio ion between notations

  41. ``Physics'' of Notations Visu sual E Expr pressi siveness Number of visual variables used (UML, mostly shape, no colour) 8 degrees of visual freedom (0 = non-visual – 8 = visually saturated)

  42. ``Physics'' of Notations Visu sual E Expr pressi siveness Different visual variables have dif iffere rent ca capaci city to encode information

  43. ``Physics'' of Notations Dual l Encodin ing Combine Textual and Vis isual Supple lement rather than duplicate (e.g., multiplicity values) Rein inforce rce meaning

  44. ``Physics'' of Notations Grap aphic ic E Economy ● Not too many symbols. If many, provide le legend ● Limit on human discrimination capability (6 levels per variable) ● Upper limit on graphic complexity How?

  45. ``Physics'' of Notations Co Cognit itiv ive F Fit Adapt choice of visual notation to ● Task ● Audience (novices vs. experts) Adaptation may be dynamic (“learn” about Task/User proficiency) Representation medium matters

  46. ``Physics'' of Notations Interac actio ions a among g pr prin incipl ples

Recommend


More recommend