Specification and refinement of a message router
H. Conrad Cunningham, Yinxiu Cai · International Workshop on Software Specification and Design · 1993
The paper considers a variant of the message router problem discussed during the Concurrency and Distribution sessions of IWSSD-6 by H.C. Cunningham and J.T. Udding (1992). First, it presents a high-level specification of the router as a reactive system expressed in the UNITY logic. Second, it refines the interface of the router using a new approach called the reactive envelope heuristic. Third, it decomposes the router into a grid of switches. In closing, the paper analyzes the specification and refinement techniques used in the study and proposes future research. >