Fault-tolerant attribute evaluation in distributed software environments

A formal description of distributed software environments can be specified naturally by applying attribute grammars. In this approach, how to update efficiently attribute values of subproducts is a key problem. Although many algorithms have been proposed to solve this problem, most of them are no longer applicable when some workstations become inaccessible from others by certain faults. The paper proposes a new algorithm that realizes fault-tolerant attribute evaluation in the sense that it is applicable even when some workstations become inaccessible. The algorithm introduces a new data structure, interface graph, which is placed on workstations redundantly