Towards a Coalgebraic Semantics of Behavioral Adaptation in Component-Based Software Systems

In this paper, we present a co algebraic model for behavioral adaptation in component-based systems. Bisimulation equivalence and refinement relationship are used to ensure that a component can replace another one. When the behavior of two components can not be matched perfectly, behavioral adaptation might be needed to allow substitution of components. In this case, bisimulation is not enough to fit our purposes and a natural transformation between the behavioral functors for components is necessary for behavioral adaptation.