Software components have certified properties and the behavior of systems assembled from components is predictable. We predict the behavior of a component-based system prior to implementation, based on known properties of components.