FT-Java: A Java-Based Framework for Fault-Tolerant Distributed Software

FT-Java is a Java language based framework for building fault-tolerant distributed software. It is designed to bring to the system programmer much of the flexibility provided by reflective languages and systems without the attendant difficulties of reasoning about correct system structure. FT-Java achieves this by providing the programmer an extremely flexible programming model with sufficient structure to enable reasoning about the system. The FT-Java framework in turn uses the power of reflection to implement the programming model.