Joint work with F. Arbab and F. de Boer

We present a formal model for component-based system, a logic based interface description language that conveys the observable semantics of a component, and a formal system for deriving properties of the system out of the interface of each of its constituent components. We give necessary and sufficent conditions under which this derivation system is sound and complete.