An Operational Approach to the Design of Workflow Systems