Performance and Availability Assessment for the Configuration of Distributed Workflow Management Systems