Modeling and enactment of workflow systems · Study