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

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

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

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

3 080226Formella 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 080226Formella metoder i MDI4 Vad är formalismer bra på? går att köra hanterar oändligheter abstraherar tvingar till eftertanke

5 080226Formella 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 080226Formella metoder i MDI6 Verktyg Matematik Diagram Mängdteori Beräkningsteori Komplexitetsteori Logik Grammatiker

7 080226Formella 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 080226Formella metoder i MDI8 Exempel 1

9 080226Formella metoder i MDI9

10 080226Formella metoder i MDI10 Exempel 2 + – + –– + Alarm Control (a) control panel(b) state transition network

11 080226Formella metoder i MDI11 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

12 080226Formella metoder i MDI12 Generella lärdomar Formell analys Tidig analys Tydliggör onormalt beteende Ger alternativa perspektiv Tvingar fram designval

13 080226Formella metoder i MDI13 Formella bidrag Beräkningsteori Komplexitetslära –”Tillräckligt bra” Notation –Diagram –Formell grammatik –Mängdteori –mm

14 080226Formella metoder i MDI14 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

15 080226Formella metoder i MDI15 Modellen (PIE)

16 080226Formella metoder i MDI16 Modellera dialoger

17 080226Formella metoder i MDI17 Varför modellera? Nyttig – rätt problem fokuseras Lagom detaljnivå Hjälpmedel för kommunikation Komplement till kodstruktur Enkel att förändra Lätt att se om alla vägar testas Tillförlitligt, använd standardkod Underhåll, lätt att spåra fel

18 080226Formella metoder i MDI18 Forskare Alan Dix Gregory Abowd Harold Thimbleby Fabio Paternó

19 080226Formella metoder i MDI19 Konferenser CADUI - Computer-Aided Design of User Interfaces EHCI - Engineering for HCI TAMODIA - TAsk MOdels and DIAgrams for User Interface Design

20 080226Formella metoder i MDI20 Sammanfattning Rätt använda kan formella metoder vara ett effektivt redskap i design av interaktiva system Se gärna adressen nedan för kompletterande information http://www.comp.lancs.ac.uk/~dixa/ topics/formal/ Från Perspectives on HCI