{Hybrid Specifications: Looking at Workflows From a Run-Time Perspective}