- Large systems built from small parts.
- Component
`pi`$$_{i} - Formula S$$
_{i}

- Component
- Deduce system properties from components
**cobegin**`pi`$$_{1}|| ...||`pi`$$_{n}- S$$
_{1}*and*...*and*S$$_{n}

- Composition is conjunction.
- Best way for proving properties of composite systems.

- Use TLA as the logical basis
- Specification of components.
- Specification of environment.

- Composite specifications arise from:
*Decompose*system into smaller parts.*Compose*parts to form larger system.

Wolfgang.Schreiner@risc.uni-linz.ac.at

$$Id: spec1.tex,v 1.1 1996/05/13 09:04:04 schreine Exp schreine $$