Analysis and evaluation on proactive fault-tolerance model of Java services: Analysis and evaluation on proactive fault-tolerance model of Java services