A framework for the normative analysis of workflow loops · Study