Abstrakt. Den diskreta EVent-systemet Specifikation (DEVS) formalism möjliggör hög modulär, hierarkisk modellering av tidsinställda, reaktiva system. DEVS kan användas för att beskriva komplexa styrstrukturer för programmerad grafomvandling. En bieffekt av detta tillvägagångssätt är införandet av ett uttryckligt tidsbegrepp. I detta dokument visar vi hur den explicita tidsbegreppet möjliggör simuleringsbaserad design av reaktiva system som moderna datorspel. Vi använder det välkända spelet PacMan som exempel och modellerar dess dynamik med programmerad grafomvandling baserad på DEVS. Detta gör det också möjligt att modellera spelarnas beteende genom att införliva data om mänskliga spelares beteende och reaktionstider. Således, en modell av både spelare och spel erhålls som kan användas för att utvärdera, genom simulering, spelbarheten av ett speldesign. Vi föreslår en prestandamått för spelbarhet och varierar parametrar för PacMan-spelet. För varje variant av spelet som erhålls ger simuleringen ett värde för spelets kvalitet. Detta gör att vi kan välja en "optimal" (från spelbarhetssynpunkt) spelkonfiguration. Användarens modell ersätts därefter av ett visuellt gränssnitt till en riktig spelare och spelmodellen utförs med hjälp av en DEVS-simulator i realtid.
I REF modellerar syriani och Vangheluwe PacMan som graftransformationer förlängde med tiden.