Providing high availability in very large workflow management systems · Study