Business process runtime models: towards bridging the gap between design, enactment, and evaluation of business processes · Study