Optimum Allocation of Distributed Service Workflows with Probabilistic Real-Time Guarantees