The communication delays between the different components of a distributedsystem often create problems for the logical consistency of the overall system behaviour. The ideas presented in this paper suggest to elimina...
详细信息
The communication delays between the different components of a distributedsystem often create problems for the logical consistency of the overall system behaviour. The ideas presented in this paper suggest to eliminate these problems by observing certain regularity constraints during the system design, which guarantee that the logical behaviour of the system is independent of the communication delays. The paper presents a descriptive model for the specification of distributedsystems, and defined system properties which imply regular system behaviour. A sufficient condition for checking the regularity of a given system is given. The application of the concepts presented is illustrated by several examples.
暂无评论