Klimek, R. From Workflow Design Patterns to Logical Specifications. A 2015, 17, 59.