Formella metoder i MDI Behovet Vad menas med formell? Verktyg Exempel Att läsa: Kapitel 14 i Carroll.

En presentation över ämnet: "Formella metoder i MDI Behovet Vad menas med formell? Verktyg Exempel Att läsa: Kapitel 14 i Carroll."— Presentationens avskrift:

1 Formella metoder i MDI Behovet Vad menas med formell? Verktyg Exempel Att läsa: Kapitel 14 i Carroll

2 060207 Formella metoder i MDI2 Behovet Vi vill kunna se detaljer tydligt analysera och förstå kommunicera med inblandade generera gränssnitt automatiskt

3 060207 Formella metoder i MDI3 Definition av formell Att representera något på ett sådant sätt att representationen kan analyseras och manipuleras oavsett innehåll eller betydelse

4 060207 Formella metoder i MDI4 Vad är formalismer bra på? går att köra hanterar oändligheter abstraherar tvingar till eftertanke

5 060207 Formella metoder i MDI5 Formellt kontra informellt Mot: kräver speciell kompetens, anses svårt allt kan inte fångas formellt För: Resultatet är mycket formellt!

6 060207 Formella metoder i MDI6 Verktyg Matematik Diagram Mängdteori Beräkningsteori Komplexitetsteori Logik Grammatiker

7 060207 Formella metoder i MDI7 Tillståndsdiagram Består av möjliga tillstånd och övergångar mellan tillstånd Lämpar sig för att modellera en interaktionssituation Innehåller ofta förklarande namn och beteckningar, men dessa styr inte den formella hanteringen

8 060207 Formella metoder i MDI8 Exempel

9 060207 Formella metoder i MDI9 Lärdom designval lyfts fram speciella tillstånd gjordes svåråtkomliga tidsaspekter viktiga att trycka ned och släppa knappen bör separeras som handlingar en enkel situation genererar ett relativt komplext tillståndsdiagram

10 060207 Formella metoder i MDI10 Generella lärdomar Formell analys Tidig analys Tydliggör onormalt beteende Ger alternativa perspektiv Tvingar fram designval

11 060207 Formella metoder i MDI11 PIE model ser interaktion som en övergång från användarens tidigare handlingar till ny presentation och eventuella resultat tar ej hänsyn till intern representation dra slutsatser om liknande system P står för användarens tidigare sekvens av handlingar I står för tillståndsfunktion baserad på P E står för en mängd möjliga tillstånd

12 060207 Formella metoder i MDI12 Modellen (PIE)

13 060207 Formella metoder i MDI13 Modellera dialoger

14 060207 Formella metoder i MDI14 Forskare Alan Dix Gregory Abowd Harold Thimbleby Fabio Paternó

15 060207 Formella metoder i MDI15 Konferenser CADUI - Computer-Aided Design of User Interfaces EHCI - Engineering for HCI TAMODIA - TAsk MOdels and DIAgrams for User Interface Design

16 060207 Formella metoder i MDI16 Sammanfattning Rätt använda kan formella metoder vara ett effektivt redskap i design av interaktiva system Se gärna artikeln nedan för kompletterande information http://www.comp.lancs.ac.uk/computing/ users/dixa/topics/formal/