From Declarative Processes to Imperative Models