Visualisatietools brengen toestandsdiagram tot leven

Systeemanalisten besteden menig uur aan het bestuderen van toestandstransitiediagrammen. Die omschrijven de toestanden waarin een systeem zich kan bevinden, de overgangen ertussen en de attributen, de waarden geassocieerd met elke toestand. Deze diagrammen, vaak gegenereerd vanuit een wiskundig systeemmodel, geven het fundamentele gedrag van een systeem weer zonder de implementatiedetails.

Maar deze diagrammen kunnen al snel een brij spaghetti worden bij complexe systemen. Hannes Pretorius, promovendus bij de TU Eindhoven, dacht dat visualisatietechnieken konden helpen na een masterproject aan de Vrije Universiteit Brussel. ’Het bestuderen van eindige automaten is al heel oud in de informatica. Dat wilde ik combineren met visualisatie, een betrekkelijk nieuw veld‘, zegt de Zuid-Afrikaan.