Detta dokument beskriver en visuell formalism och ett verktyg för att stödja design och utvärdering av människa-datorinteraktion i kontextanpassade system. Formalismen kallas XDM (för ""kontextkänslig dialog modellering") och kombinerar utökade Petri nät med Card, Moran och Newells KLM operatörer teori att beskriva statiska och dynamiska aspekter av interaktion i varje sammanhang där systemet ska fungera, och att göra utvärderingar av gränssnittet korrekthet och användbarhet enklare eller automatisk. Metoden utvecklades inom ramen för ett europeiskt gemenskapsprojekt för att iterativt prototypera ett kunskapsbaserat medicinskt system. Den har därefter anställts i flera forskningsprojekt och i undervisningsverksamhet.
Senare arbeten om kunskapsmodellering har fokuserat på en visuell formalism och ett utvärderingsverktyg, XDM, kontextkänslig dialogmodellering, för att modellera användaranpassat gränssnitt baserat på utökade Petrinät REF.
Formal description and evaluation of user-adapted interfaces
{'venue': 'Int. J. Hum. Comput. Stud.', 'journal': 'Int. J. Hum. Comput. Stud.', 'mag_field_of_study': ['Computer Science']}