Simulations on workflow management systems: A framework based on event choice datalog