Abstract:
We are investigating a component-based approach for formal design of
distributed systems. In this paper, we introduce the
framework we use for specification, composition and communication
and we apply it to an example that highlights the different aspects
of a compositional design, including top-down and bottom-up phases,
proofs of composition, refinement proofs, proofs of program texts,
and component reuse.
Michel Charpentier <
>
Last modified: Thu Feb 10 13:36:56 EST 2000