An Object Based Algebra for Specifying a Fault Tolerant Software Architecture