From Formal Workflow Models to Intelligent Agents · Study