Location of Repository

Development of a distributed min/max component

By Max Fuchs, Ketil St Len and Fakultat Fur Informatik

Abstract

We introduce a speci cation technique and a re nement calculus for networks of components communicating asynchronously via unbounded FIFO channels. Speci cations are formulated in a relational style. The given re nement rules allow modular system development in a step-wise, top-down manner. We employthe proposed formalism to specify and develop a so-called Min/Max Component. First an overview of the whole design process is given. Then certain steps of the development are described in detail.

Publisher: Verlag Shaker
Year: 1993
OAI identifier: oai:CiteSeerX.psu:10.1.1.190.8722
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www4.in.tum.de/publ/pap... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.