Generating fault-tolerant information distribution rules from high-level requirements specifications

A Rule-Based Information Distribution System (RBIDS) is a system that uses distributed rules to control message passing (communications) between distributed nodes within a real-time, concurrent distributed environment. The problem addressed in this paper is that there do not exist adaptation (debugging, error removal) algorithms that can be used to maintain existing information-distribution rules (IDRs) to achieve effective and efficient message-communication responses in a distributed system of fact and rule bases. A partial solution to this problem is presented in the paper. This paper presents an algorithm that is used to overcome dynamic erors that have occurred in a RBIDS environment.