Sinds begin jaren '90 richt de TU Eindhoven het zoeklicht op procesmodellering en workflowautomatisering. Dat resulteerde onder meer in de bouw van het eigen open-source workflowsysteem YAWL. Onlangs werd een geslaagde proef gedaan met het batchgewijs verifiëren van honderden SAP referentiemodellen. Daarnaast werk men aan nieuwe technieken voor het automatisch in kaart brengen van processen en een methodiek om te voorspellen of een model fouten zal bevatten, zonder het model zelf in te zien. Een gesprek met professor Wil van der Aalst.