Specification and refinement of a message router

Authors:
H. Conrad Cunningham;Yinxiu Cai
Affiliations:
University of Mississippi, Mississippi;University of Mississippi, Mississippi
Venue:
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Year:
1993

Citing 6
Cited 1

Parallel program design: a foundation

Parallel program design: a foundation
An introduction to functional programming

An introduction to functional programming
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
A Discipline of Programming

A Discipline of Programming
The Derivation of Compositional Programs

The Derivation of Compositional Programs
Using Triples to Reason About Concurrent Programs

Using Triples to Reason About Concurrent Programs

Modeling deflection networks: design and specification

Proceedings of the 1999 ACM symposium on Applied computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper considers a variant of the message router problem discussed during the Concurrency and Distribution sessions of IWSSD-6. 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 this study and proposes future research.