Partial bindings of components - any harm?

Reuse is one of the key benefits of components. It inherently means that the functionality of a component may be employed only partially. This triggers the issue whether all of the component's interfaces have to be really bound to the other components in its current environment (missing binding problem). Assuming each of the components is equipped by its behavior protocol (F. Plasil et al., 2002), we show that missing bindings can be statically identified via verification tools, in particular by employing the concept of bad activity error introduced in (J. Adamek et al., 2004).