design and test of distributed applications
It is well known that programming and testing distributed systems can be extremely difficult. Reasons for this include non-deterministic behavior, non-reproducibility of events, complex timing of events, and complex states. This paper presents a paradigm and system that will support a programmer when designing, programming, and testing a distributed application. Our main point is that the structure introduced by the paradigm must be kept and exploited during design, programming, and testing. One is not helped by a programming method which introduces a structure just to break it down again. We have developed a structural model based on common structures in distributed systems. This structural model is used to describe the logical relationships between components in a system. It is also integrated into the programming environment.
design test distributed application program distributed systems systems reasoning behavior event complexity timing paper support programmer point structure method model relationships component integrability programming environment