Component Adaptation for Correctness in Composite Systems

When creating systems by composing individual components, even if those ones behave as promised by its developer, unexpected situation may arise due to the composition operation itself. These situations, that may cause system failures or unsatisfied requirements occur because component providers have not foreseen the whole environments in which their own components may be deployed. They also do not know which third-party components their own components will be combined with. Here we present a framework for component development which promotes a system constructor (integrator) to adapt components at runtime, i.e., to adjust their behaviors to the needs of a component assembly. Components are equipped with appropriate mechanisms to adjust its behavior to assembly requirements and constraints without accessing to its source code. Only the component's behavioral model is reconsidered and thus, adapted so that it operates in conformance with the rest of the designed assembly.