Interface Theories for Component-based Design

We classify component-based models of computationinto component models and interface models. A component model specifies for eachcomponenthow the componentbehaves in an arbitrary environment# an interface model specifies for each component what the component expects from the environment