Systematic high level design of a switching system for stream oriented traffic

Describes the design of a switching system for stream oriented traffic. The design is obtained through application of a methodology that emphasizes the use of a formal description technique (LOTOS). For this reason, both the implementation independent, highest level description as well as all intermediate designs are expressed in LOTOS. In this way precision is attained where many other methodologies remain vague and ambiguous. Since the design of switching systems presents one of the most challenging tasks in current information technology, the potential benefit for use of a formal and systematic design method is high. The method assists one to fully exploit the parallelism inherently present in the functionality of the system, in the realization of the system